Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System

The Agg-system is a prototype implementation of the algebraic approach to graph transformation. It consists of a flexible graph editor and a transformation component. The editor allows the graphical representation of production rules, occurrences and transformation results. The transformation component performs direct transformation steps for user-selected production rules and occurrences.

[1]  Duane A. Bailey,et al.  Programming with Very Large Graphs , 1990, Graph-Grammars and Their Application to Computer Science.

[2]  Annegret Habel,et al.  Amalgamation of Graph Transformations: A Synchronization Mechanism , 1987, J. Comput. Syst. Sci..

[3]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[4]  Herbert Göttler,et al.  Graph grammars and diagram editing , 1986, Graph-Grammars and Their Application to Computer Science.

[5]  Michael Löwe,et al.  AGG - An Implementation of Algebraic Graph Rewriting , 1993, RTA.

[6]  Hans-Jörg Kreowski.  Parallel Hyperedge Replacement , 1992 .

[7]  Grzegorz Rozenberg,et al.  On sequential and parallel node-rewriting graph grammars , 1982, Comput. Graph. Image Process..

[8]  Hartmut Ehrig,et al.  From Parallel Graph Grammars to Parallel High-Level Replacement Systems , 1992 .

[9]  Herbert Göttler,et al.  Graphgrammatiken in der Softwaretechnik: Theorie und Anwendungen , 1988, Informatik-Fachberichte.

[10]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[11]  Michael Himsolt.  GraphEd: An Interactive Tool For Developing Graph Grammars , 1990, Graph-Grammars and Their Application to Computer Science.

[12]  Grzegorz Rozenberg,et al.  Automata, languages, development , 1976 .

[13]  Akira Nakamura,et al.  On a Relationship between Graph L-Systems and Picture Languages , 1983, Theor. Comput. Sci..

[14]  Grzegorz Rozenberg,et al.  The Book of L , 1986, Springer Berlin Heidelberg.

[15]  Frances Paulisch,et al.  The Design of an Extendible Graph Editor , 1993, Lecture Notes in Computer Science.

[16]  Hans-Jörg Kreowski,et al.  Hyperedge Replacement with Rendevous , 1993, TAPSOFT.

[17]  Hartmut Ehrig,et al.  Parallelism and concurrency in high-level replacement systems , 1991, Mathematical Structures in Computer Science.

[18]  Manfred Nagl,et al.  Graph-Grammars and Their Application to Computer Science , 1982, Lecture Notes in Computer Science.

[19]  Franz-Josef Brandenburg,et al.  Layout Graph Grammars: The Placement Approach , 1990, Graph-Grammars and Their Application to Computer Science.

[20]  Manfred Nagl,et al.  A Software Development Environment based on Graph Technology , 1986, Graph-Grammars and Their Application to Computer Science.

[21]  Andreas Schürr,et al.  Operationales Spezifizieren mit programmierten Graphersetzungssystemen , 1991 .