Towards Semantics-Aware Merge Support in Optimistic Model Versioning

  • Petra Brosch
  • Uwe Egly
  • Sebastian Gabmeyer
  • Gerti Kappel
  • Martina Seidl
  • Hans Tompits
  • Magdalena Widl
  • Manuel Wimmer
Conference paper

DOI: 10.1007/978-3-642-29645-1_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)
Cite this paper as:
Brosch P. et al. (2012) Towards Semantics-Aware Merge Support in Optimistic Model Versioning. In: Kienzle J. (eds) Models in Software Engineering. MODELS 2011. Lecture Notes in Computer Science, vol 7167. Springer, Berlin, Heidelberg

Abstract

Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models’ semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker Spin.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Petra Brosch
    • 2
  • Uwe Egly
    • 1
  • Sebastian Gabmeyer
    • 2
  • Gerti Kappel
    • 2
  • Martina Seidl
    • 3
  • Hans Tompits
    • 1
  • Magdalena Widl
    • 1
  • Manuel Wimmer
    • 2
  1. 1.Institute for Information SystemsVienna University of TechnologyAustria
  2. 2.Business Informatics GroupVienna University of TechnologyAustria
  3. 3.Institute of Formal Models and VerificationJohannes Kepler UniversityAustria

Personalised recommendations