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