Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: The Past, Present, and Future of Model Versioning. In: Emerging Technologies for the Evolution and Maintenance of Software Models. IGI Global (2011)Google Scholar
  2. 2.
    Brosch, P., Kappel, G., Seidl, M., Wieland, K., Wimmer, M., Kargl, H., Langer, P.: Adaptable Model Versioning in Action. In: Modellierung. LNI, pp. 221–236. GI (2010)Google Scholar
  3. 3.
    Brosch, P., Kargl, H., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G.: Conflicts as First-Class Entities: A UML Profile for Model Versioning. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 184–193. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Colex: A Web-based Collaborative Conflict Lexicon. In: IWMCP @ TOOLS 2010, pp. 42–49 (2010)Google Scholar
  5. 5.
    Cabot, J., Clarisó, R., Riera, D.: Verifying UML/OCL Operation Contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 40–55. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 311–325. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Egyed, A.: UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. In: 29th Int. Conf. on Software Engineering, pp. 793–796. IEEE (2007)Google Scholar
  8. 8.
    Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)Google Scholar
  9. 9.
    Lima, V., Talhi, C., Mouheb, D., Debbabi, M., Wang, L., Pourzandi, M.: Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. ENTCS 254, 143–160 (2009)Google Scholar
  10. 10.
    Maoz, S., Ringert, J.O., Rumpe, B.: A Manifesto for Semantic Model Differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 194–203. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  11. 11.
    Mens, T., Van Der Straeten, R., D’Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol. 4199, pp. 200–214. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Pelliccione, P., Inverardi, P., Muccini, H.: CHARMY: A Framework for Designing and Verifying Architectural Specifications. TSE 35(3), 325–346 (2008)Google Scholar
  13. 13.
    Reiter, T., Altmanninger, K., Bergmayr, A., Schwinger, W., Kotsis, G.: Models in Conflict – Detection of Semantic Conflicts in Model-based Development. In: MDEIS @ ICEIS 2007, pp. 29–40 (2007)Google Scholar
  14. 14.
    Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS 55(3), 357–369 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  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