A GG andG EN GED : Graph Transformation-Based Specification and Analysis Techniques for Visual Languages 1

R. Bardohl,C. Ermel,I. Weinhold
Abstract:TheGENGEDconcepts 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 andGENGED.
What problem does this paper attempt to address?