CVSM Bibliography, Entry [ GeKLE2010MoDELS ]

Gerth, Christian; Küster, Jochen M.; Luckey, Markus; Engels, Gregor: Precise Detection of Conflicting Change Operations Using Process Model Terms;
p.93-107 in: Proc. 13th Int.l Conf Model Driven Engineering Languages and Systems, MODELS 2010, Oslo, Norway, October 3-8, 2010, Part I; LNiCS 6394, Springer; 2010
Library Entries: ACM Digital Library, citeulike
Deskriptoren: CVSM

Abstract: Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolving conflicts.