Skip to Main content Skip to Navigation
Conference papers

A Formalism for Specifying Model Merging Conflicts

Abstract : Verifying the consistency of model merging is an important step towards the support for team collaboration in software modeling and evolution. Since merging conflicts are inevitable, this has triggered intensive research on conflict management in different domains. Despite these efforts, techniques for high-level conflict representation have hardly been investigated yet. In this paper, we propose an approach to specify model merging conflicts. This approach includes the Conflict Pattern Language (CPL), a formalism for specifying conflicts in different modeling languages. CPL is based on the OCL grammar and is tooled by an editor and a parser. CPL facilitates the slow and error-prone task of specifying model merging conflicts and can be used to specify conflicts in any EMF-based model. We evaluated our approach with a case study, including five different conflict cases. The results are promising about how CPL can be used for specifying syntactic and semantic conflicts.
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Mohammadreza Sharbaf Connect in order to contact the contributor
Submitted on : Friday, September 4, 2020 - 3:09:50 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Friday, December 4, 2020 - 8:06:34 PM


Files produced by the author(s)



Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé. A Formalism for Specifying Model Merging Conflicts. System Analysis and Modelling (SAM) conference, Oct 2020, Virtual Event, Canada. ⟨10.1145/3419804.3421447⟩. ⟨hal-02930770⟩



Record views


Files downloads