Conflict Detection for Model Versioning Based on Graph Modifications

  • Gabriele Taentzer
  • Claudia Ermel
  • Philip Langer
  • Manuel Wimmer
Conference paper

DOI: 10.1007/978-3-642-15928-2_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6372)
Cite this paper as:
Taentzer G., Ermel C., Langer P., Wimmer M. (2010) Conflict Detection for Model Versioning Based on Graph Modifications. In: Ehrig H., Rensink A., Rozenberg G., Schürr A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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