The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Bahasa Kekangan Objek (OCL) sering digunakan dalam pembangunan perisian untuk menetapkan kekangan formal pada model perisian. Ciri bebas platformnya membolehkan penggunaan meluas semasa fasa reka bentuk. Walau bagaimanapun, aplikasi dalam proses khusus platform, seperti pengekodan, adalah kurang jelas kerana ia memerlukan penggunaan alat yang dipesan lebih dahulu untuk platform tersebut. Dalam makalah ini kami mencadangkan pendekatan untuk menjana kod penegasan untuk kekangan OCL untuk pelbagai bahasa khusus platform, menggunakan rangka kerja bersatu berdasarkan persamaan struktur bahasa pengaturcaraan. Kami telah berjaya mengautomasikan proses penjanaan kod penegasan untuk empat bahasa berbeza menggunakan alat kami. Untuk menunjukkan keberkesanan pendekatan kami dari segi usaha pembangunan, satu eksperimen telah dijalankan dan diringkaskan.
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.
Salinan
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
Salinan
@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},}
Salinan
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 -