Semantic Model Differencing Utilizing Behavioral Semantics Specifications

  • Philip Langer
  • Tanja Mayerhofer
  • Gerti Kappel
Conference paper

DOI: 10.1007/978-3-319-11653-2_8

Volume 8767 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Langer P., Mayerhofer T., Kappel G. (2014) Semantic Model Differencing Utilizing Behavioral Semantics Specifications. In: Dingel J., Schulte W., Ramos I., Abrahão S., Insfran E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham

Abstract

Identifying differences among models is a crucial prerequisite for several development and change management tasks in model-driven engineering. The majority of existing model differencing approaches focus on revealing syntactic differences which can only approximate semantic differences among models. Significant advances in semantic model differencing have been recently made by Maoz et al [16] who propose semantic diff operators for UML class and activity diagrams. In this paper, we present a generic semantic differencing approach which can be instantiated to realize semantic diff operators for specific modeling languages. Our approach utilizes the behavioral semantics specification of the considered modeling language, which enables to execute models and capture execution traces representing the models’ semantic interpretation. Based on this semantic interpretation, semantic differences can be revealed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Philip Langer
    • 1
  • Tanja Mayerhofer
    • 1
  • Gerti Kappel
    • 1
  1. 1.Business Informatics GroupVienna University of TechnologyViennaAustria