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.
Type de document :
Communication dans un congrès
Stefania Gnesi and Arend Rensink. FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. Springer, 8411, pp.63 - 78, 2014, LNCS : Fundamental Approaches to Software Engineering. <10.1007/978-3-642-54804-8_5>
Liste complète des métadonnées


https://hal.inria.fr/hal-01087323
Contributeur : Uli Fahrenberg <>
Soumis le : mardi 25 novembre 2014 - 17:42:48
Dernière modification le : mercredi 2 août 2017 - 10:08:28
Document(s) archivé(s) le : jeudi 26 février 2015 - 12:26:04

Fichier

fase-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de
la notice

351

Téléchargements du document

147