{"date_updated":"2022-01-06T07:03:52Z","language":[{"iso":"eng"}],"abstract":[{"text":"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.","lang":"eng"}],"title":"Graph Transformation for Specification and Programming","year":"1996","author":[{"full_name":"Andries, Marc","last_name":"Andries","first_name":"Marc"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"first_name":"Annegret","last_name":"Habel","full_name":"Habel, Annegret"},{"full_name":"Hoffmann, Berthold","last_name":"Hoffmann","first_name":"Berthold"},{"last_name":"Kreowski","full_name":"Kreowski, Hans-Jörg","first_name":"Hans-Jörg"},{"first_name":"Sabine","full_name":"Kuske, Sabine","last_name":"Kuske"},{"first_name":"Detlef","full_name":"Plump, Detlef","last_name":"Plump"},{"first_name":"Andy","last_name":"Schürr","full_name":"Schürr, Andy"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"}],"user_id":"52534","date_created":"2019-03-03T16:12:53Z","_id":"8197","status":"public","department":[{"_id":"66"}],"report_number":"7/96","publisher":"University of Bremen, Department of Mathematics and Computer Science","type":"report","citation":{"apa":"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.","chicago":"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.","mla":"Andries, Marc, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","ama":"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.","ieee":"M. Andries <i>et al.</i>, <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","bibtex":"@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} }","short":"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."}}