Skip to main content

Towards Semantics-Aware Merge Support in Optimistic Model Versioning

  • Conference paper
Models in Software Engineering (MODELS 2011)

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.

This work was partially funded by the Austrian Federal Ministry of Transport, Innovation, and Technology and the Austrian Research Promotion Agency under grant FIT-IT-819584, by the Vienna Science and Technology Fund (WWTF) under grant ICT10-018, by the fFORTE WIT Program of the Vienna University of Technology and the Austrian Federal Ministry of Science and Research, and by the Austrian Science Fund (FWF) under grants P21698 and S11409-N23.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS 55(3), 357–369 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-642-29645-1_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29645-1_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29644-4

  • Online ISBN: 978-3-642-29645-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics