Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach

• Published in: Journal of logical and algebraic methods in programming Vol. 103; pp. 105 - 129
• Main Authors: Lambers, Leen, Born, Kristopher, Kosiol, Jens, Strüber, Daniel, Taentzer, Gabriele
• Format: Journal Article
• Language: English
• Published: 01.02.2019
• Subjects: AF 2018. Proceedings: LNCS 10887Graph Transformation. 11th International Conference; Computer and Information Sciences; Computer Science; Critical pair analysis (CPA); Data- och informationsvetenskap (Datateknik); Graph transformation (double pushout approach); ICGT 2018; lando; OCEEDINGS10th International Conference on Model Driven Engineering Languages and Systems; OCEEDINGS5th European Conference on Model Driven Architecture - Foundations and Applications; p105; Parallel independence; Science & Technology - Other Topics; SEP

Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides all potential conflicts and dependencies in minimal context as critical...