Vision Paper: Make a Difference! (Semantically) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Vision Paper: Make a Difference! (Semantically)


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

Dates and versions

hal-01088049 , version 1 (27-11-2014)



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



Gmail Facebook X LinkedIn More