The AGREE approach to graph transformation allows to specify rules that clone items of the host graph, controlling in a finegrained way how to deal with the edges that are incident, but not matched, to the rewritten part of the graph. Here, we investigate in which ways cloning (with controlled embedding) may affect the dependencies between two rules applied to the same graph. We extend to AGREE the classical notion of parallel independence between the matches of two rules to the same graph, identifying sufficient conditions that guarantee that two rules can be applied in any order leading to the same result.
CITATION STYLE
Corradini, A., Duval, D., Prost, F., & Ribeiro, L. (2016). Parallelism in AGREE transformations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9761, pp. 37–53). Springer Verlag. https://doi.org/10.1007/978-3-319-40530-8_3
Mendeley helps you to discover research relevant for your work.