Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

Rodion MOISEEV  Shinpei HAYASHI  Motoshi SAEKI  

IEICE TRANSACTIONS on Information and Systems   Vol.E94-D   No.3   pp.612-621
Publication Date: 2011/03/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.E94.D.612
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Software System
OCL,  constraints,  assertion code,  programming languages,  

Full Text: PDF(769.6KB)
>>Buy this Article

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.