IEICE Transactions on Information and Systems
Online ISSN : 1745-1361
Print ISSN : 0916-8532
Regular Section
Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
Rodion MOISEEVShinpei HAYASHIMotoshi SAEKI
Author information
JOURNALS FREE ACCESS

2011 Volume E94.D Issue 3 Pages 612-621

Details
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.

Information related to the author
© 2011 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top