Generating Diagram Editors with DiaGen

DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Generated editors are free-hand editors, but with an automatic, constraint-based layout for correct diagrams. A hypergraph parser checks diagram correctness and makes it possible to translate diagrams into some user-defined semantic representation. This paper briefly outlines DiaGen and the process of creating diagram editors with DiaGen.

• Type: Conference
• Year: 1999
• Where: AGTIVE
• Authors: Mark Minas, Oliver Köth
• Keywords: AGTIVE 1999, Checks Diagram Correctness, Diagram Editors, Formal Methods, Free-hand Editors