Sound Merging and Differencing for Class Diagrams

Uli Fahrenberg 1 Mathieu Acher 2 Axel Legay 1 Andrzej Wąsowski 3
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Class diagrams are among the most popular modeling lan-guages in industrial use. In a model-driven development process, class diagrams evolve, so it is important to be able to assess differences between revisions, as well as to propagate differences using suitable merge operations. Existing differencing and merging methods are mainly syntactic, concentrating on edit operations applied to model elements, or they are based on sampling: enumerating some examples of instances which characterize the difference between two diagrams. This paper presents the first known (to the best of our knowledge) automatic model merging and differencing operators supported by a formal semantic theory guaranteeing that they are semantically sound. All instances of the merge of a model and its difference with another model are automatically instances of the second model. The differences we synthesize are represented using class diagram notation (not edits, or instances), which allows creation of a simple yet flexible algebra for diffing and merging. It also allows presenting changes comprehensively, in a notation already known to users.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Uli Fahrenberg <>
Submitted on : Tuesday, November 25, 2014 - 5:42:48 PM
Last modification on : Friday, March 22, 2019 - 4:46:03 PM
Long-term archiving on : Thursday, February 26, 2015 - 12:26:04 PM


Files produced by the author(s)



Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski. Sound Merging and Differencing for Class Diagrams. FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, ⟨10.1007/978-3-642-54804-8_5⟩. ⟨hal-01087323⟩



Record views


Files downloads