Back to Search Start Over

Parallelism in AGREE Transformations

Authors :
Andrea Corradini
Frédéric Prost
Dominique Duval
Leila Ribeiro
University of Pisa - Università di Pisa
Calculs Algébriques et Systèmes Dynamiques (CASYS)
Laboratoire Jean Kuntzmann (LJK )
Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
Laboratoire d'Informatique de Grenoble (LIG )
Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
Universidade Federal do Rio Grande do Sul [Porto Alegre] (UFRGS)
Source :
Graph Transformation ISBN: 9783319405292, ICGT, Graph Transformation-9th International Conference, ICGT 2016, Graph Transformation-9th International Conference, ICGT 2016, Jul 2016, Vienna, Austria. pp.37-53, ⟨10.1007/978-3-319-40530-8_3⟩
Publication Year :
2016
Publisher :
Springer International Publishing, 2016.

Abstract

International audience; 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.

Details

ISBN :
978-3-319-40529-2
ISBNs :
9783319405292
Database :
OpenAIRE
Journal :
Graph Transformation ISBN: 9783319405292, ICGT, Graph Transformation-9th International Conference, ICGT 2016, Graph Transformation-9th International Conference, ICGT 2016, Jul 2016, Vienna, Austria. pp.37-53, ⟨10.1007/978-3-319-40530-8_3⟩
Accession number :
edsair.doi.dedup.....84665000cd075945d7f5dc34598909cd
Full Text :
https://doi.org/10.1007/978-3-319-40530-8_3