𝔖 Bobbio Scriptorium
✦   LIBER   ✦

GRACE as a unifying approach to graph-transformation-based specification

✍ Scribed by Hans-Jörg Kreowski; Giorgio Busatto; Sabine Kuske


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
203 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper, we sketch some basic ideas and features of the graph-transformationbased specification language GRACE. The aim of GRACE is to support the modeling of a wide spectrum of graph and graphical processes in a structured and uniform way including visualization and verification.

• approach independence, This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).


📜 SIMILAR VOLUMES