CVSM Bibliography, Entry [ ReAB+2007MDEIS ]


Reiter, Thomas; Altmanninger, Kerstin; Bergmayr, Alexander; Schwinger, Wieland; Kotsis, Gabriele: Models in Conflict Detection of Semantic Conflicts in Model-based Development; p.29-40 in: Proc. 3rd Intl. Workshop on Model-Driven Enterprise Information Systems (MDEIS-2007), Funchal, Madeira - Portugal, June 2007; 2007
Download: Volltext
Deskriptoren: CVSM

Abstract: Abstract. To make the model-driven paradigm a widespread success, appropriate tools such as version control systems (VCS) are required to adequately support a model-based development process. However, first approaches specializing on model-based versioning, do not take into account the semantics of the artefacts they operate upon. Thus, conflict detection mechanisms are based on detecting conflicting concurrent modifications on a software artefact's syntactic representation, only, without explicitly considering the semantics the artefact stands for. As opposed to a heavyweight approach relying on formal mathematics, we follow a lightweight approach that is based on creating views of a model that explicate a certain aspect of a modeling language's semantics. Such a view is created through a model transformation from the original model which has been edited by the developers. Using both the original model and the generated view our approach relies on graph-based comparison strategies to detect conflicts due to concurrent editing to determine syntactic and semantic conflicts, respectively. Consequently, by means of various example scenarios, we demonstrate how our approach is able detect conflicts that otherwise would remain undetected.