Specifying and Recognizing Model Changes Based on Edit Operations (MOCA)

Model-based software development has become a widely accepted approach for embedded systems and in application domains where software must be maintainable and long-living. Models are subject to continuous change and have many versions during their lifetime. The specification and recognition of changes in models is the key to understand and manage the evolution of a model-based system. However, currently available versioning tools operate on low-level, sometimes tool-specific model representations. The resulting differences are often not understandable. It is a largely open problem how to use high-level edit operations, e.g. as offered by modern refactoring tools, to present and handle model differences and to analyse the evolution of models. The tight integration of editing and versioning tools requires consistent specifications of edit operations; this integration is another open problem. This project adresses both problems by consistently lifting model versioning concepts, techniques, and tools from low-level to high-level model changes. All concepts shall be formalized by graph transformation concepts in order to reason about complex model modifications and their inter-relations. Our approach will be implemented and evaluated based on the widely used Eclipse Modeling Project.

Project Objectives

The main goal of the MOCA project is to lift model versioning concepts, techniques and tools to a higher level of abstraction. The key idea of the MOCA project is to bring together two important MDE technologies that have developed almost independently of each other; model transformation and model versioning.

Learn more about...


Recent Publications (Selection)

Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer:
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin;
Intl. Conference on Fundamental Approaches to Software Engineering, FASE 2015 (accepted)

Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Propagation of Software Model Changes in the Context of Industrial Plant Automation
In: Automatisierungstechnik 62(11), De Gruyter. 2014.

Timo Kehrer, Udo Kelter, Dennis Reuling:
Workspace Updates of Visual Models
In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering. Vasteras, Sweden. Sept 15-19, 2014.

Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Consistency-Preserving Edit Scripts in Model Versioning
In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering. Silicon Valley, CA, USA. Nov 11-15, 2013.