A manifesto for semantic model differencing

Shahar Maoz*, Jan Oliver Ringert, Bernhard Rumpe

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainability. Existing approaches to model differencing concentrate on heuristics matching between model elements and on finding and presenting differences at a concrete or abstract syntactic level. While showing some success, these approaches are inherently limited to comparing syntactic structures. This paper is a manifesto for research on semantic model differencing. We present our vision to develop semantic diff operators for model comparisons: operators whose input consists of two models and whose output is a set of diff witnesses, instances of one model that are not instances of the other. In particular, if the models are syntactically different but there are no diff witnesses, the models are semantically equivalent. We demonstrate our vision using two concrete diff operators, for class diagrams and for activity diagrams. We motivate the use of semantic diff operators, briefly discuss the algorithms to compute them, list related challenges, and show their application and potential use as new fundamental building blocks for change management in model-driven engineering.

Original languageEnglish
Title of host publicationModels in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers
Number of pages10
StatePublished - 2011
Externally publishedYes
EventWorkshops and Symposia on Models in Software Engineering, MODELS 2010 - Oslo, Norway
Duration: 3 Oct 20108 Oct 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6627 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceWorkshops and Symposia on Models in Software Engineering, MODELS 2010


Dive into the research topics of 'A manifesto for semantic model differencing'. Together they form a unique fingerprint.

Cite this