Reference : Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3927
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
English
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ehrig, Hartmut [TU Berlin, Germany]
Ermel, Claudia [TU Berlin, Germany]
2012
Fundamental Approaches to Software Engineering
J. de Lara, A. Zisman
Springer
LNCS 7212
178-193
Yes
International
978-3-642-28871-5
15th International Conference on Fundamental Approaches to Software Engineering (FASE)
March, 2012
Tallinn
Estonia
[en] model synchronization ; conflict resolution ; model versioning
[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.
http://hdl.handle.net/10993/3927
10.1007/978-3-642-28872-2
7212
Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science (LNCS)

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
10.1007_978-3-642-28872-2_13.pdfPublisher postprint511.67 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.