Back to Search
Start Over
Parallelism in AGREE Transformations
- 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.
- Subjects :
- Graph rewriting
Theoretical computer science
Computer science
Computer Science (all)
010102 general mathematics
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Theoretical Computer Science
0102 computer and information sciences
01 natural sciences
010201 computation theory & mathematics
Graph (abstract data type)
Embedding
0101 mathematics
[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]
Subjects
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