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