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

https://hal.inria.fr/hal-01088049
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:41:47
Dernière modification le : mercredi 11 avril 2018 - 02:01:29
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:22:34

Fichier

models.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

77