report
Graph Transformation for Specification and Programming
Marc
Andries
author
Gregor
Engels
author 107
Annegret
Habel
author
Berthold
Hoffmann
author
Hans-Jörg
Kreowski
author
Sabine
Kuske
author
Detlef
Plump
author
Andy
Schürr
author
Gabriele
Taentzer
author
66
department
The framework of graph transformation combines the potentials and advantages of both, graphs and rules, into a single computational paradigm. In this paper we survey recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After presenting the basic features of graph transformation, we discuss a spectrum 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 a graph transformation language that provides suitable structuring principles and is independent of a particular graph transformation approach. To this end, we sketch the basic features of the new graph- and rule-centered language Grace, currently under development, that permits systematic and structured specification and programming based on graph transformation.
University of Bremen, Department of Mathematics and Computer Science1996
eng
7/96
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.
@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996, title={Graph Transformation for Specification and Programming}, publisher={University of Bremen, Department of Mathematics and Computer Science}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1996} }
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
M. Andries <i>et al.</i>, <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.
Andries, Marc, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.
Andries M, Engels G, Habel A, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science; 1996.
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science.
81972019-03-03T16:12:53Z2019-03-03T16:31:13Z