TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars
Zitatschlüssel GHN+13
Autor Gottmann, S. and Hermann, F. and Nachtigall, N. and Braatz, B. and Ermel, C. and Ehrig, H. and Engel, T.
Buchtitel Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)
Seiten 67-76
Jahr 2013
ISSN 1613-0073
Ort Miami, USA, September 2013
Adresse Aachen
Nummer 1112
Herausgeber Baudry, B. and Dingel, J. and Lucio, L. and Vangheluwe, H.
Serie CEUR Workshop Proceedings
Zusammenfassung Triple graph grammars (TGGs) have been applied successfully for specifying and analysing bidirectional model transformations. Recently, a formal approach to concurrent model synchronisation has been presented, where source and target modifications are synchronised simultaneously. In addition to methods for update propagation, the approach includes a semi-automatic strategy for conflict resolution. Up to now, this approach has been limited to deterministic propagation operations. In this paper, we generalise the approach to arbitrary TGGs and consider non-deterministic operations which might yield di erent results and require back tracking. We show correctness and completeness of the extended approach and provide a technique for reducing and possibly eliminating backtracking to improve efficiency.
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe