A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, J. Schönböck, W. Schwinger, M. Wimmer: Systematic Co-Evolution of OCL Expressions, 11th Asia-Pacific Conference on Conceptual Modelling (APCCM 2015), Sydney, Australia; 27.01.2015 - 30.01.2015, Australian Computer Society, (2015), ISBN: 978-1-921770-47-0; S. 33 - 42. pdf


Metamodels are the central artifacts in Model-Driven En-gineering and like any other software artifact, subject toconstant change. This fact necessitates the co-evolution ofdependent artifacts such as models and transformations toresolve induced inconsistencies. While the co-evolution ofmodels has been extensively studied, the co-evolution oftransformations and especially OCL expressions being asubstantial part thereof have been less examined so far. Tofill this gap, this paper proposes resolution actions for allatomic metamodel changes violating the syntactic correct-ness of OCL expressions, thus, being able to resolve in-duced inconsistencies. Thereby, the resolution actions es-tablish an emulated view on the evolved metamodel suchthat syntactic correctness is re-established. To verify thesemantic correctness of the resolution actions, we use ourPaMoMo language, allowing us to specify semantic cor-rectness requirements for model transformations. Finally,to demonstrate the applicability of our approach, a proof-of-concept prototype based on ATL is provided.

Systematic Co-Evolution of OCL Expressions