A rule-based approach to the semantic lifting of model differences in the context of model versioning

• Published in: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) pp. 163 - 172
• Main Authors: Kehrer, Timo, Kelter, Udo, Taentzer, Gabriele
• Format: Conference Proceeding
• Language: English
• Published: Washington, DC, USA IEEE Computer Society 06-11-2011; IEEE
• Series: ACM Conferences
• Subjects: Computational modeling; Context; Context modeling; Pattern recognition; Runtime; Semantics; Unified modeling language
• ISBN: 1457716380; 9781457716386
• ISSN: 1938-4300; 2643-1572
• DOI: 10.1109/ASE.2011.6100050

In model-based software engineering, models are primary artifacts which iteratively evolve and which are often developed in teams. Therefore, comparison and merge tools for models are indispensable. These tools must compare models in a technology-dependent runtime representation and will initially derive low-level changes, which can differ considerably from user-level editing commands. Low-level differences are often incomprehensible and should be semantically lifted to the level of editing operations. This transformation of differences depends on the model type, supported editing operations, and user preferences; thus specific transformers are needed, and building them is a challenge. We present a rule-based approach to this problem: low-level differences are represented based on the Eclipse Modeling Framework. They are transformed into representations of editing operations using a rule-based model transformation engine. The necessary transformation rules are automatically derived from basic transformation rules for the editing operations.