A Formalism for Specifying Model Merging Conflicts - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

A Formalism for Specifying Model Merging Conflicts

Résumé

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.
Fichier principal
Vignette du fichier
Sharbaf2020CPL.pdf (2.98 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02930770 , version 1 (04-09-2020)

Identifiants

Citer

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⟩
97 Consultations
146 Téléchargements

Altmetric

Partager

More