AGG and GENGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages
Roswitha Bardohl, Claudia Ermel, Ingo Weinhold · Electronic Notes in Theoretical Computer Science · 2002
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.