| Publication type: |
Article in Proceedings |
| Author: |
Berthold Hoffmann |
| Editor: |
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski |
| Title: |
Abstraction and Control for Shapely Nested Graph Transformation |
| Book / Collection title: |
1st Int'l Conference on Graph Transformation (ICGT'02), Barcelona |
| Page(s): |
177 – 191 |
| Series: |
Lecture Notes in Computer Science |
| Number: |
2505 |
| Year published: |
2002 |
| Publisher: |
Springer-Verlag, D-69121 Heidelberg, Germany |
| Abstract: |
Shapely nested graph transformation is the computational model for DIAPLAN, a language for programming with graphs that represent diagrams. It supports nested structuring of graphs, structural graph types (shapes), and graph variables. In this paper, we extend the model by two concepts that are essential for programming: abstraction allows compound transformations to be named and parameterized, and control allows the order of rule application to be specified. These concepts combine neatly with the underlying computational model, and preserve its rule-based and emphgraph-ical nature.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/ICGT02.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/ICGT02.ps.gz |
| Status: |
Reviewed |
| Last updated: |
18. 03. 2004 |
