Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (bibtex)
by Born, Kristopher, Arendt, Thorsten, Heß, Florian and Taentzer, Gabriele
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).
Reference:
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (Born, Kristopher, Arendt, Thorsten, Heß, Florian and Taentzer, Gabriele), In Fundamental Approaches to Software Engineering (Egyed, Alexander, Schaefer, Ina, eds.), Springer Berlin Heidelberg, 2015.
Bibtex Entry:
@InProceedings{Born2015,
  author    = {Born, Kristopher and Arendt, Thorsten and He{\ss}, Florian and Taentzer, Gabriele},
  title     = {{Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin}},
  booktitle = {Fundamental Approaches to Software Engineering},
  year      = {2015},
  editor    = {Egyed, Alexander and Schaefer, Ina},
  pages     = {165--168},
  address   = {Berlin, Heidelberg},
  publisher = {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).},
  isbn      = {978-3-662-46675-9},
}
Powered by bibtexbrowser