Parallelism in AGREE Transformations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Parallelism in AGREE Transformations

Résumé

The AGREE approach to graph transformation allows to specify rules that clone items of the host graph, controlling in a fine-grained 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.

Dates et versions

hal-01985467 , version 1 (18-01-2019)

Identifiants

Citer

Andrea Corradini, Dominique Duval, Frederic Prost, Leila Ribeiro. Parallelism in AGREE Transformations. Graph Transformation - 9th International Conference, ICGT 2016, Jul 2016, Vienna, Austria. pp.37-53, ⟨10.1007/978-3-319-40530-8_3⟩. ⟨hal-01985467⟩
138 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More