Graph transformation for specification and programming

The framework of graph transformation combines the potentials and advantage s of both, graphs and rules, to a single computational paradigm. In this pa per we present some recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, l anguages, and tools. After reviewing the basic features of graph transforma tion, we discuss a selection of applications, including the evaluation of f unctional expressions, the specification of an interactive graphical tool, an example specification for abstract data types, and the definition of a v isual database query language. The case studies indicate the need for suita ble structuring principles which are independent of a particular graph tran sformation approach. To this end, we present the concept of a transformatio n unit, which allows systematic and structured specification and programmin g based on graph transformation. (C) 1999 Elsevier Science B.V. All rights reserved.