Guided Merging of Sequence Diagrams

  • Magdalena Widl
  • Armin Biere
  • Petra Brosch
  • Uwe Egly
  • Marijn Heule
  • Gerti Kappel
  • Martina Seidl
  • Hans Tompits
Conference paper

DOI: 10.1007/978-3-642-36089-3_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7745)
Cite this paper as:
Widl M. et al. (2013) Guided Merging of Sequence Diagrams. In: Czarnecki K., Hedin G. (eds) Software Language Engineering. SLE 2012. Lecture Notes in Computer Science, vol 7745. Springer, Berlin, Heidelberg

Abstract

The employment of optimistic model versioning systems allows multiple developers of a team to work independently on their local copies of a software model. The merging process towards one consolidated version can be error-prone and time-consuming when performed without any tool support. Recently, several sophisticated approaches for model merging have been presented. However, even for multi-view modeling languages like UML, which distribute the information on the modeled system over different views, these views are merged independently of each other. Hence, inconsistencies are likely to be introduced into the merged model. We suggest to solve this problem by exploiting information stored in one view as constraint for the computation of a consolidated version of another view. More specifically, we demonstrate how state machines can guide the integration of parallel changes performed on a sequence diagram. We give a concise formal description of this problem and suggest a translation to the satisfiability problem of propositional logic.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Magdalena Widl
    • 1
  • Armin Biere
    • 3
  • Petra Brosch
    • 2
  • Uwe Egly
    • 1
  • Marijn Heule
    • 4
  • Gerti Kappel
    • 2
  • Martina Seidl
    • 3
  • Hans Tompits
    • 1
  1. 1.Institute of Information SystemsVienna University of TechnologyAustria
  2. 2.Business Informatics GroupVienna University of TechnologyAustria
  3. 3.Institute for Formal Models and VerificationJohannes Kepler UniversityAustria
  4. 4.Department of Computer ScienceUniversity of TexasAustinUnited States

Personalised recommendations