Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Hermann, Frank; Ehrig, Hartmut; Ermel, Claudia
2012In J. de Lara, A. Zisman (Ed.) Fundamental Approaches to Software Engineering
Peer reviewed


Full Text
Publisher postprint (523.95 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Keywords :
model synchronization; conflict resolution; model versioning
Abstract :
[en] Triple graph grammars (TGGs) have been used successfully to analyse correctness of bidirectional model transformations. Recently, also a corresponding formal approach to model synchronization has been presented, where updates on a given domain (either source or target) can be correctly (forward or backward) propagated to the other model. However, a corresponding formal approach ofconcurrentmodel synchronization, where a source and a target modification have to be synchronized simultaneously, has not yet been presented and analysed. This paper closes this gap taking into account that the given and propagated source or target model modifications are in conflict with each other. Our conflict resolution strategy is semi-automatic, where a formal resolution strategy – known from previous work – can be combined with a user-specific strategy. As first result, we showcorrectnessof concurrent model synchronization, that is, each result of our nondeterministic concurrent update leads to a consistent correspondence between source and target models, where consistency is defined by the TGG. As second result, we showcompatibilityof concurrent with basic model synchronization: concurrent model synchronization can realize both forward and backward propagation. The results are illustrated by a running example on updating organizational models.
Disciplines :
Computer science
Identifiers :
Author, co-author :
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ehrig, Hartmut;  TU Berlin, Germany
Ermel, Claudia;  TU Berlin, Germany
Language :
Title :
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Publication date :
Event name :
15th International Conference on Fundamental Approaches to Software Engineering (FASE)
Event place :
Tallinn, Estonia
Event date :
March, 2012
Audience :
Main work title :
Fundamental Approaches to Software Engineering
Editor :
J. de Lara, A. Zisman
Publisher :
Collection name :
LNCS 7212
Pages :
Peer reviewed :
Peer reviewed
Commentary :
7212 Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science (LNCS)
Available on ORBilu :
since 17 July 2013


Number of views
63 (7 by Unilu)
Number of downloads
0 (0 by Unilu)



Similar publications

Contact ORBilu