| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske |
| Herausgeber: |
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski |
| Titel: |
Simple Modules for GRACE |
| Buch / Sammlungs-Titel: |
Theory and Application of Graph Transformation (TAGT'98), Selected Papers |
| Seite(n): |
383 – 395 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Ausgabe: |
1764 |
| Erscheinungsjahr: |
2000 |
| Verleger: |
Springer-Verlag, D-69121 Heidelberg, Germany |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
GRACE |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
18. 03. 2004 |
