| Publication type: |
Article in Proceedings |
| Author: |
Frank Drewes, Berthold Hoffmann, Detlef Plump |
| Editor: |
Tiuryn, Jerzy |
| Title: |
Hierarchical Graph Transformation |
| Book / Collection title: |
Foundations of Software Science and Computation Structures (FOSSACS 2000) |
| Page(s): |
98 – 113 |
| Series: |
Lecture Notes in Computer Science |
| Number: |
1784 |
| Year published: |
2000 |
| Publisher: |
Springer-Verlag, D-69121 Heidelberg, Germany |
| Abstract: |
We present an approach for the rule-based transformation of hierarchically structured (hyper)graphs. In these graphs, distinguished hyperedges contain graphs that can be hierarchical again. Our framework extends the double-pushout approach from flat to hierarchical graphs. In particular, we show how to construct recursively pushouts and pushout complements of hierarchical graphs and graph morphisms. To further enhance the expressiveness of the approach, we also introduce rule schemata with variables which allow to copy and to remove hierarchical subgraphs.
|
| ISBN: |
graph transformation hierarchi |
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/FOSSACS00.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/FOSSACS00.ps.gz |
| Status: |
Reviewed |
| Last updated: |
18. 03. 2004 |
