Systematic Co-Evolution of OCL Expressions
Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Manuel Wimmer · Asia-Pacific Conference on Conceptual Modelling · 2015
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 proofof-concept prototype based on ATL is provided.