Vision Paper: Make a Difference! (Semantically)

Uli Fahrenberg 1 Axel Legay 1 Andrzej Wasowski 2
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Syntactic difference between models is a wide research area with applications in tools for model evolution, model synchronization and version control. On the other hand, semantic difference between models is rarely discussed. We point out to main use cases of semantic difference between models, and then propose a framework for defining well-formed difference operators on model semantics as adjoints of model combinators such as conjunction, disjunction and structural composition. The framework is defined by properties rather than constructively. We instantiate the framework for two rather different modeling languages: feature models and automata specifications. We believe that the algebraic theory of semantic difference will allow to define practical model differencing tools in the future.
Type de document :
Communication dans un congrès
MoDELS, Oct 2011, Wellington, New Zealand. pp.490 - 500, 2011, 〈10.1007/978-3-642-24485-8_36〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:41:47
Dernière modification le : vendredi 16 novembre 2018 - 01:39:30
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:22:34


Fichiers produits par l'(les) auteur(s)



Uli Fahrenberg, Axel Legay, Andrzej Wasowski. Vision Paper: Make a Difference! (Semantically). MoDELS, Oct 2011, Wellington, New Zealand. pp.490 - 500, 2011, 〈10.1007/978-3-642-24485-8_36〉. 〈hal-01088049〉



Consultations de la notice


Téléchargements de fichiers