TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Zitatschlüssel HEEO12
Autor Frank Hermann and Hartmut Ehrig and Claudia Ermel and Fernando Orejas
Buchtitel Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12)
Seiten 178-193
Jahr 2012
Ort Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estland, March 23 - April 1, 2012
Jahrgang 7212
Herausgeber Juan de Lara and Andrea Zisman
Verlag Springer
Serie Lecture Notes in Computer Science
Zusammenfassung In model-driven engineering, models are primary artifacts and can evolve heavily during their life cycle. Hence, versioning of models is a key technique which has to be offered by an integrated development environment for model-driven engineering. In contrast to text-based versioning systems, our approach takes abstract syntax structures in model states and operational features into account. Considering the abstract syntax of models as graphs, we define a model revision by a span $G \from D \to H$, called graph modification, where $G$ and $H$ are the old and new versions, respectively, and $D$ the common subgraph that remains unchanged. Based on notions of behavioural equivalence and parallel independence of graph modifications, we are able to show a Local-Church-Rosser Theorem for graph modifications and to define a merge construction for conflict-free modifications which corresponds exactly to the parallel execution of parallel independent graph transformations using minimal rules. Moreover, we are able to handle conflicts of graph modifications which may occur in the case of parallel dependent graph modifications. The main result is a general merge construction for graph modifications that resolves all conflicts simultaneously in the sense that for delete-insert conflicts insertion has priority over deletion.
Download Bibtex Eintrag



Schnellnavigation zur Seite über Nummerneingabe