Exploring conflict reasons for graph transformation systems
Paper i proceeding, 2019

Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. Recently, granularity levels for conflicts and dependencies have been investigated focussing on delete-use conflicts and produce-use dependencies. A central notion for granularity considerations are (minimal) conflict and dependency reasons. For a rule pair, where the second rule is non-deleting, it is well-understood based on corresponding constructive characterizations how to efficiently compute (minimal) conflict and dependency reasons. We further explore the notion of (minimal) conflict reason for the general case where the second rule of a rule pair may be deleting as well. We present new constructive characterizations of (minimal) conflict reasons distinguishing delete-read from delete-delete reasons. Based on these constructive characterizations we propose a procedure for computing (minimal) conflict reasons and we show that it is sound and complete.

Conflict analysis

Graph transformation

Static analysis

Författare

Leen Lambers

Hasso-Plattner-Institut fur Softwaresystemtechnik GmbH

Jens Kosiol

Philipps-Universität Marburg

Daniel Strüber

Chalmers, Data- och informationsteknik, Software Engineering, Software Engineering for Cyber Physical Systems

Gabriele Taentzer

Philipps-Universität Marburg

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 11629 LNCS 75-92
9783030236106 (ISBN)

12th International Conference on Graph Transformation, ICGT 2019, Held as part of STAF 2019
Eindhoven, Netherlands,

Ämneskategorier

Språkteknologi (språkvetenskaplig databehandling)

Filosofi

Diskret matematik

DOI

10.1007/978-3-030-23611-3_5

Mer information

Senast uppdaterat

2022-01-18