| Publication type: |
Article in Proceedings |
| Author: |
Berthold Hoffmann |
| Editor: |
Rachid Echahed, Annegret Habel,, Mohamed Mosbah |
| Title: |
More on Graph Rewriting With Contextual Refinement |
| Book / Collection title: |
Fifth International Workshop on Graph Computational Models (GCM 2014) |
| Volume: |
71 |
| Year published: |
2015 |
| Abstract: |
In GrGen, a graph rewrite generator tool, rules have the outstanding feature that variables in their pattern and replacement graphs may be refined with meta-rules based on contextual hyperedge replacement
grammars. A refined rule may delete, copy, and transform subgraphs of unbounded size and of variable shape. In this paper, we show that rules with contextual refinement can be transformed to standard graph rewrite rules that perform the refinement iincrementally, and are applied according to a strategy called residual rewriting. With this transformation, it is possible to state precisely whether refinements can be determined in finitely many steps or not, and whether refinements are unique for every form of refined pattern or not. |
| ISBN: |
1863-2122 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/GCM2014.pdf |
| Keywords: |
graph rewriting rule rewriting contextual hyperedge replacement |
| Note / Comment: |
Electr. Comm. of the EASST |
| Status: |
Reviewed |
| Last updated: |
03. 09. 2015 |
|
 |
