Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars

• Published in: Theory and Practice of Model Transformation Vol. 10374; pp. 35 - 50
• Main Authors: Trollmann, Frank, Albayrak, Sahin
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2017; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Model driven engineering; Model synchronization; Triple graphs
• ISBN: 9783319614724; 331961472X
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-61473-1_3

Model synchronization is one of the core activities in model driven engineering. One of the challenges is non-determinism when multiple valid solutions exist. This is exasperated in triple graph based approaches, where additional non-determinism may arise from the alignment of the synchronized changes and the grammar. Non-determinism is often the result of multiple decision points during the synchronization process. Handling these decisions where they occur can reduce the overall complexity of dealing with non-determinism. In this paper we analyse a triple graph based synchronization approach to identify these decisions, extend the approach to clearly separate them and discuss the relation to formal properties of model synchronization.