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
• DOI: 10.1016/s1571-0661(04)80939-3

✦ 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).