A framework for relating syntactic and semantic model differences

Shahar Maoz, Jan Oliver Ringert

Research output: Contribution to journalArticlepeer-review

Abstract

Model differencing is an important activity in model-based development processes. Differences need to be detected, analyzed, and understood to evolve systems and explore alternatives. Two distinct approaches have been studied in the literature: syntactic differencing, which compares the concrete or abstract syntax of models, and semantic differencing, which compares models in terms of their meaning. Syntactic differencing identifies change operations that transform the syntactical representation of one model to the syntactical representation of the other. However, it does not explain their impact on the meaning of the model. Semantic model differencing is independent of syntactic changes and presents differences as elements in the semantics of one model but not the other. However, it does not reveal the syntactic changes causing these semantic differences. We define Diffuse, a language-independent, abstract framework, which relates syntactic change operations and semantic difference witnesses. We formalize fundamental relations of necessary, exhibiting, and sufficient sets of change operations and analyze their properties. We further demonstrate concrete instances of the Diffuse framework for three different popular modeling languages, namely class diagrams, activity diagrams, and feature models. The Diffuse framework provides a novel foundation for combining syntactic and semantic differencing.

Original languageEnglish
Pages (from-to)753-777
Number of pages25
JournalSoftware and Systems Modeling
Volume17
Issue number3
DOIs
StatePublished - 1 Jul 2018

Keywords

  • Model differencing
  • Model evolution
  • Semantics

Fingerprint

Dive into the research topics of 'A framework for relating syntactic and semantic model differences'. Together they form a unique fingerprint.

Cite this