Graph Transformation for Specification and Programming

M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.

Download
No fulltext has been uploaded.
Journal Article | English
Author
; ; ; ; ; ; ; ;
Abstract
The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformations as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing 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 of abstract data types, and the definition of a visual database query language. The case studies indicate the need for suitable structuring principles 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 specifications and programming based on graph transformation.
Publishing Year
Journal Title
Science of Computer Programming
Volume
34
Issue
1
Page
1-54
LibreCat-ID

Cite this

Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999, title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9}, number={1}, journal={Science of Computer Programming}, 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={1999}, pages={1–54} }
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” Science of Computer Programming 34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
M. Andries et al., “Graph Transformation for Specification and Programming,” Science of Computer Programming, vol. 34, no. 1, pp. 1–54, 1999.
Andries, Marc, et al. “Graph Transformation for Specification and Programming.” Science of Computer Programming, vol. 34, no. 1, 1999, pp. 1–54, doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar