Skip to Main content Skip to Navigation
Book sections

Combining Parallel Graph Rewriting and Quotient Graphs

Abstract : We define two graph transformations, one by parallelizing graph rewrite rules, the other by taking quotients of graphs. The former consists in the exhaustive application of local transformations defined by graph rewrite rules expressed in a set-theoretic framework. Compared with other approaches to parallel rewriting, we allow a substantial amount of overlapping only restricted by a condition called the effective deletion property. This transformation can be reduced by factoring out possibly many equivalent matchings by the automorphism groups of the rules. The second transformation is based on the use of equivalence relations over graph items and offers a new way of performing simultaneous merging operations. The relevance of combining the two transformations is illustrated on a running example.
Document type :
Book sections
Complete list of metadata

https://hal.univ-grenoble-alpes.fr/hal-03430218
Contributor : Thierry Boy de la Tour Connect in order to contact the contributor
Submitted on : Tuesday, November 16, 2021 - 10:17:46 AM
Last modification on : Wednesday, November 17, 2021 - 4:01:21 AM

File

wrla.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Thierry Boy de la Tour, Rachid Echahed. Combining Parallel Graph Rewriting and Quotient Graphs. Santiago Escobar; Narciso Martí-Oliet. Rewriting Logic and Its Applications, 12328, Springer International Publishing, pp.1-18, 2020, Lecture Notes in Computer Science, 978-3-030-63594-7. ⟨10.1007/978-3-030-63595-4_1⟩. ⟨hal-03430218⟩

Share

Metrics

Les métriques sont temporairement indisponibles