| Publication type: |
Article |
| Author: |
Frank Drewes, Berthold Hoffmann, Mark Minas |
| Title: |
Context-Exploiting Shapes for Diagram Transformation |
| Volume: |
12 |
| Page(s): |
117 – 132 |
| Journal: |
Machine Graphics and Vision |
| Number: |
1 |
| Year published: |
2003 |
| Abstract: |
DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the languages, nested graph transformation, supports nested structuring of graphs, and graph variables, but is - hopefully - still intuitive. This paper is about structural typing of nested graphs and nested graph transformation systems by shape ules. We extend the context-free shape rules proposed in earlier work to context-exploiting shape rules by which many relevant graph tructures can be specified. The conformance of a nested graph to shape rules is decidable. If a transformation system conforms to shape rules as well, it can be shown to preserve shape conformance of the graphs it is applied to. This sets up a static type discipline for nested graph transformation.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/MGV03.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/MGV03.ps.gz |
| Keywords: |
shapes diagram graph transformation |
| Status: |
Reviewed |
| Last updated: |
18. 03. 2004 |
