Combining Parallel Graph Rewriting and Quotient Graphs - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2020

Combining Parallel Graph Rewriting and Quotient Graphs

Résumé

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.
Fichier principal
Vignette du fichier
wrla.pdf (345.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03430218 , version 1 (16-11-2021)

Identifiants

Citer

Thierry Boy de La Tour, Rachid Echahed. Combining Parallel Graph Rewriting and Quotient Graphs. WRLA, 2020, Online, France. pp.1-18, ⟨10.1007/978-3-030-63595-4_1⟩. ⟨hal-03430218⟩
52 Consultations
103 Téléchargements

Altmetric

Partager

More