Title
Graph transformation for specification and programming
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 transformation 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 for 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 specification and programming based on graph transformation.
Year
DOI
Venue
1999
10.1016/S0167-6423(98)00023-9
Sci. Comput. Program.
Keywords
Field
DocType
structuring,transformation units,rule-based specification,graph transformation,abstract data type,rule based
Graph theory,Graph database,Programming language,Program transformation,Computer science,Formal specification,Theoretical computer science,Graph rewriting,Wait-for graph,Abstract semantic graph,Graph (abstract data type)
Journal
Volume
Issue
ISSN
34
1
Science of Computer Programming
Citations 
PageRank 
References 
71
10.10
67
Authors
9
Name
Order
Citations
PageRank
Marc Andries121582.20
Gregor Engels22245420.50
Annegret Habel31056102.83
Berthold Hoffmann416125.90
Hans-Jörg Kreowski51170251.39
Sabine Kuske637943.57
Detlef Plump760462.14
Andy Schürr82195230.25
Gabriele Taentzer92667196.98