AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages

Abstract The GENGED concepts and environment allow for the visual definition of visual languages (VLs) and to generate VL-specific visual environments for editing and simulation. The editing features capture either syntax-directed editing and/or free-hand editing. In the latter case, a user-defined diagram has to be analyzed in order to check the correctness of the diagram. In addition, behavioral diagrams can be simulated, i.e. the behavior of situations specified by diagrams can be validated. The specification and analysis of VLs by GENGED is based on algebraic graph transformation concepts realized by the AGG system. In this article we give a brief survey on AGG and GENGED.

[1]  Hans-Jörg Kreowski,et al.  GRACE as a unifying approach to graph-transformation-based specification , 2001, Electron. Notes Theor. Comput. Sci..

[2]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[3]  Mark Minas,et al.  Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing , 2000 .

[4]  Annegret Habel,et al.  Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..

[5]  Gennaro Costagliola,et al.  Extended positional grammars , 2000, Proceeding 2000 IEEE International Symposium on Visual Languages.

[6]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach , 1997, Handbook of Graph Grammars.

[7]  Gabriele Taentzer,et al.  Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation , 2000, Proceeding 2000 IEEE International Symposium on Visual Languages.

[8]  Gabriele Taentzer.  AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.

[9]  Kang Zhang,et al.  Reserved graph grammar: a specification tool for diagrammatic VPLs , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[10]  Kang Zhang,et al.  VisPro: a visual language generation toolset , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[11]  Hartmut Ehrig,et al.  Generic Description, Behavior and Animation of Visual Modeling Languages , 2001 .

[12]  Shi-Kuo Chang,et al.  Visual Languages and Visual Programming , 1990 .

[13]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[14]  Detlef Plump,et al.  Hypergraph rewriting: critical pairs and undecidability of confluence , 1993 .

[15]  Peer Griebel.  Parcon: paralleles Lösen von grafischen Constraints , 1996 .

[16]  Genny Tortora,et al.  Positional grammars: a formalism for LR-like parsing of visual languages , 1998 .

[17]  M. J. Plasmeijer,et al.  Term graph rewriting: theory and practice , 1993 .

[18]  Michael Löwe,et al.  An algebraic framework for the transformation of attributed graphs , 1993 .

[19]  Reiko Heckel,et al.  Ensuring consistency of conditional graph rewriting - a constructive approach , 1995, SEGRAGRA.

[20]  Gabriele Taentzer,et al.  Visual Language Parsing in GenGEd , 2001, Electron. Notes Theor. Comput. Sci..

[21]  Reiko Heckel,et al.  Horizontal and vertical structuring of typed graph transformation systems , 1996, Mathematical Structures in Computer Science.