Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models. Its platform-independent characteristic allows for wide usage during the design phase. However, application in platform-specific processes, such as coding, is less obvious because it requires usage of bespoke tools for that platform. In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages. We have succeeded in automating the process of assertion code generation for four different languages using our tool. To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI, "Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints" in IEICE TRANSACTIONS on Information,
vol. E94-D, no. 3, pp. 612-621, March 2011, doi: 10.1587/transinf.E94.D.612.
Abstract: Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models. Its platform-independent characteristic allows for wide usage during the design phase. However, application in platform-specific processes, such as coding, is less obvious because it requires usage of bespoke tools for that platform. In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages. We have succeeded in automating the process of assertion code generation for four different languages using our tool. To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E94.D.612/_p
Copy
@ARTICLE{e94-d_3_612,
author={Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI, },
journal={IEICE TRANSACTIONS on Information},
title={Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints},
year={2011},
volume={E94-D},
number={3},
pages={612-621},
abstract={Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models. Its platform-independent characteristic allows for wide usage during the design phase. However, application in platform-specific processes, such as coding, is less obvious because it requires usage of bespoke tools for that platform. In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages. We have succeeded in automating the process of assertion code generation for four different languages using our tool. To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.},
keywords={},
doi={10.1587/transinf.E94.D.612},
ISSN={1745-1361},
month={March},}
Copy
TY - JOUR
TI - Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
T2 - IEICE TRANSACTIONS on Information
SP - 612
EP - 621
AU - Rodion MOISEEV
AU - Shinpei HAYASHI
AU - Motoshi SAEKI
PY - 2011
DO - 10.1587/transinf.E94.D.612
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E94-D
IS - 3
JA - IEICE TRANSACTIONS on Information
Y1 - March 2011
AB - Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models. Its platform-independent characteristic allows for wide usage during the design phase. However, application in platform-specific processes, such as coding, is less obvious because it requires usage of bespoke tools for that platform. In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages. We have succeeded in automating the process of assertion code generation for four different languages using our tool. To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.
ER -