Extending OCL to Ensure Model Transformations

摘要

Effective use of model transformations in a MDA development relies on complex model generation scenarios. Their correct realizations require dedicated methods and constructs for specifying model transformations and assessing the resulting models. The aim of the work described here is to combine OCL language for expressing model constraints with a set of a dedicated high-level constructs that assess UML models involved in the transformation process. The proposed constructs are formalized in a UML profile that allows modelers to use intuitive constraint specification support. Our approach is illustrated by a model refinement operation within the context of real-time system design. The dedicated tool supporting our approach is also described.