Conflict Detection for Model Versioning Based on Graph Modifications

  • Gabriele Taentzer
  • Claudia Ermel
  • Philip Langer
  • Manuel Wimmer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6372)


In model-driven engineering, models are primary artifacts and can evolve heavily during their life cycle. Therefore, versioning of models is a key technique which has to be offered by an integrated development environment for model-driven engineering. In contrast to text-based versioning systems we present an approach which takes abstract syntax structures in model states and operational features into account. Considering the abstract syntax of models as graphs, we define model revisions as graph modifications which are not necessarily rule-based. Building up on the DPO approach to graph transformations, we define two different kinds of conflict detection: (1) the check for operation-based conflicts, and (2) the check for state-based conflicts on results of merged graph modifications.


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., Kargl, H.: Adaptable Model Versioning in Action. In: Modellierung 2010. LNI, vol. 161. GI (2010)Google Scholar
  2. 2.
    Murta, L., Corrêa, C., Prudêncio, J.G., Werner, C.: Towards Odyssey-VCS 2: Improvements over a UML-based Version Control System. In: 2nd Int. Workshop on Comparison and Versioning of Software Models @ ICSE 2008 (2008)Google Scholar
  3. 3.
    Kögel, M.: Towards Software Configuration Management for Unified Models. In: Workshop on Comparison and Versioning of Software Models @ ICSE 2008 (2008)Google Scholar
  4. 4.
    Schneider, C., Zündorf, A., Niere, J.: CoObRA - A Small Step for Development Tools to Collaborative Environments. In: Workshop on Directions in Software Engineering Environments @ ICSE 2004 (2004)Google Scholar
  5. 5.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)Google Scholar
  6. 6.
    Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings: Rule extraction and tool support. ECEASST 16 (2008)Google Scholar
  7. 7.
    TFS-Group, TU Berlin: AGG (2009),
  8. 8.
    Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict detection for model versioning based on graph modfications: Long version. Technical Report 2010/09, Technische Universität Berlin (to appear 2010),
  9. 9.
    Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. in Comp. Sci. 19(2), 245–296 (2009)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Brun, C., Pierantonio, A.: Model Differences in the Eclipse Modeling Framework. UPGRADE, The European Journal for the Informatics Professional (2008)Google Scholar
  11. 11.
    Conradi, R., Westfechtel, B.: Version Models for Software Configuration Management. ACM Computing Surveys 30(2), 232–282 (1998)CrossRefGoogle Scholar
  12. 12.
    Mens, T.: A State-of-the-Art Survey on Software Merging. IEEE Transactions on Software Engineering 28(5), 449–462 (2002)CrossRefGoogle Scholar
  13. 13.
    Kelter, U., Wehren, J., Niere, J.: A Generic Difference Algorithm for UML Models. In: Software Engineering 2005. LNI, vol. 64, pp. 105–116. GI (2005)Google Scholar
  14. 14.
    Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 64–78. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2–17. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ICSE 2008–30th Int. Conference on Software Engineering (2008)Google Scholar
  17. 17.
    Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 32–46. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Gabriele Taentzer
    • 1
  • Claudia Ermel
    • 2
  • Philip Langer
    • 3
  • Manuel Wimmer
    • 4
  1. 1.Philipps-Universität MarburgGermany
  2. 2.Technische Universität BerlinGermany
  3. 3.Johannes-Kepler-Universität LinzAustria
  4. 4.Technische Universität WienAustria

Personalised recommendations