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

Abstract

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.

@Inbook{Trollmann2017,
author="Trollmann, Frank
and Albayrak, Sahin",
editor="Guerra, Esther
and van den Brand, Mark",
title="Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars",
bookTitle="Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="35--50",
abstract="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.",
isbn="978-3-319-61473-1",
doi="10.1007/978-3-319-61473-1_3",
url="https://doi.org/10.1007/978-3-319-61473-1_3"
}
Autoren:
Frank Trollmann, Sahin Albayrak
Kategorie:
Tagungsbeitrag
Jahr:
2017