Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01088049
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 11:41:47 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:19 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:22:34 AM

File

models.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

554

Files downloads

287