Sound Merging and Differencing for Class Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Sound Merging and Differencing for Class Diagrams

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.
Fichier principal
Vignette du fichier
fase-final.pdf (484.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01087323 , version 1 (25-11-2014)

Identifiers

Cite

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⟩
318 View
212 Download

Altmetric

Share

Gmail Facebook X LinkedIn More