| Art der Veröffentlichung: |
Artikel |
| Autor: |
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer |
| Titel: |
Graph Transformation for Specification and Programming |
| Band: |
34 |
| Seite(n): |
1 – 54 |
| Zeitschrift: |
Science of Computer Programming |
| Erscheinungsjahr: |
1999 |
| Abstract / Kurzbeschreibung: |
The framework of graph transformation combines the potentials and advantages of both, graphs and rules, in a single computational paradigm. In this paper we present some recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After revising the basic features of graph transformation, we discuss a selection of applications, including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification for abstract data types, and the definition of a visual database query language. The case studies indicate the need for suitable structuring properties which are independent of a particular graph transformation approach. To this end, we present the concept of a transformation unit, which allows systematic and structured specification and programming based on graph transformation. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/Grace98.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~hof/papers/Grace98.ps.gz |
| Schlagworte: |
GRACE |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
18. 03. 2004 |
|
 |
