A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
[chapter]
2015
Lecture Notes in Computer Science
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
doi:10.1007/978-3-662-46675-9_11
fatcat:y3tm26dmznd3zggjwwrun2mezy