| Publication type: |
Article in Proceedings |
| Author: |
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske |
| Editor: |
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski |
| Title: |
Simple Modules for GRACE |
| Book / Collection title: |
Theory and Application of Graph Transformation (TAGT'98), Selected Papers |
| Page(s): |
383 – 395 |
| Series: |
Lecture Notes in Computer Science |
| Number: |
1764 |
| Year published: |
2000 |
| Publisher: |
Springer-Verlag, D-69121 Heidelberg, Germany |
| Abstract: |
The language GRACE is being proposed for specifying and programming in a graph-centered environment based on graph transformation. Emphasis in the design of GRACE is laid on modular structuring of programs. In this paper we present a simple kind of modules for the language which encapsulate rules and graph transformation units, and export some of them. The local transformation units define compound graph transformations that call rules and other transformation units which are either defined by the surrounding module, or imported from other modules. The interleaving semantics of modules specifies a binary relation on graphs for each exported item.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/TAGT99.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/TAGT99.ps.gz |
| Keywords: |
GRACE |
| Status: |
Reviewed |
| Last updated: |
18. 03. 2004 |
