International Conference on Fundamental Approaches to Software Engineering

FASE 2015: Fundamental Approaches to Software Engineering pp 165-168

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin

  • Kristopher Born
  • Thorsten Arendt
  • Florian Heß
  • Gabriele Taentzer
Conference paper

DOI: 10.1007/978-3-662-46675-9_11

Volume 9033 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Born K., Arendt T., Heß F., Taentzer G. (2015) Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin. In: Egyed A., Schaefer I. (eds) Fundamental Approaches to Software Engineering. FASE 2015. Lecture Notes in Computer Science, vol 9033. Springer, Berlin, Heidelberg

Abstract

Rule-based model transformation approaches show two kinds of non-determinism: (1) Several rules may be applicable to the same model and (2) a rule may be applicable at several different matches. If two rule applications to the same model exist, they may be in conflict, i.e., one application may disable the other one. Furthermore, rule applications may enable others leading to dependencies. The critical pair analysis (CPA) can report all potential conflicts and dependencies of rule applications that may occur during model transformation processes. This paper presents the CPA integrated in Henshin, a model transformation environment based on the Eclipse Modeling Framework (EMF).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Kristopher Born
    • 1
  • Thorsten Arendt
    • 1
  • Florian Heß
    • 1
  • Gabriele Taentzer
    • 1
  1. 1.Philipps-Universität MarburgMarburgGermany