| Publication type: |
Article |
| Author: |
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer |
| Title: |
Graph Transformation for Specification and Programming |
| Volume: |
34 |
| Page(s): |
1 – 54 |
| Journal: |
Science of Computer Programming |
| Year published: |
1999 |
| Abstract: |
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 |
| Keywords: |
GRACE |
| Status: |
Reviewed |
| Last updated: |
18. 03. 2004 |
|
 |
