Systematic Co-Evolution of OCL Expressions

Kusel, A., Etzlstorfer, J., Kapsammer, E., Retschitzegger, W., Schoenboeck, J., Schwinger, W. and Wimmer, M.

Metamodels are the central artifacts in Model-Driven Engineering and like any other software artifact, subject to constant change. This fact necessitates the co-evolution of dependent artifacts such as models and transformations to resolve induced inconsistencies. While the co-evolution of models has been extensively studied, the co-evolution of transformations and especially OCL expressions being a substantial part thereof have been less examined so far. To fill this gap, this paper proposes resolution actions for all atomic metamodel changes violating the syntactic correctness of OCL expressions, thus, being able to resolve induced inconsistencies. Thereby, the resolution actions establish an emulated view on the evolved metamodel such that syntactic correctness is re-established. To verify the semantic correctness of the resolution actions, we use our PaMoMo language, allowing us to specify semantic correctness requirements for model transformations. Finally, to demonstrate the applicability of our approach, a proof-of-concept prototype based on ATL is provided.

Cite as: Kusel, A., Etzlstorfer, J., Kapsammer, E., Retschitzegger, W., Schoenboeck, J., Schwinger, W. and Wimmer, M. (2015). Systematic Co-Evolution of OCL Expressions. In Proc. 11th Asia-Pacific Conference on Conceptual Modelling (APCCM 2015) Sydney, Australia. CRPIT, 165. Saeki, M. and Kohler, H. Eds., ACS. 33-42

(from crpit.com) (local if available)