Combining Parallel Graph Rewriting and Quotient Graphs - Université Grenoble Alpes Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

Combining Parallel Graph Rewriting and Quotient Graphs

Thierry Boy de La Tour
  • Fonction : Auteur
  • PersonId : 1022935
Rachid Echahed

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. 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⟩
32 Consultations
79 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More