Publication type: |
Article in Proceedings |
Author: |
Berthold Hoffmann |
Title: |
Shapely Hierarchical Graph Transformation |
Book / Collection title: |
Proc. IEEE Symposia on Human-Centric Computing Languages and Environments |
Page(s): |
30 – 37 |
Year published: |
2001 |
Publisher: |
IEEE Computer Press |
Abstract: |
Diagrams can be represented by graphs, and the animation and transformation of diagrams can be modeled by graph transformation. This paper studies extensions of graphs and graph transformation that are important for programming with graphs: We extend graphs by a notion of hierarchy that supports value composition, and define hierarchical graph transformation in an intuitive way that resembles term rewriting. We require that admissable shapes for hierarchical graphs are specified by context-free graph grammars, in order to set up a type discipline for emphshapely hierarchical graph transformation. The resulting computational model shall be the basis of the visual language DIAPLAN for programming with graphs that represent diagrams.
|
PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/VLFM01.pdf |
PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/VLFM01.ps.gz |
Status: |
Reviewed |
Last updated: |
18. 03. 2004 |