Title :
GenEd-an editor with generic semantics for formal reasoning about visual notations
Author :
Haarslev, Volker ; Wessel, Michael
Author_Institution :
Dept. of Comput. Sci., Hamburg Univ., Germany
Abstract :
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are: it is generic, i.e. domain-specific syntax and semantics are specified by users; built-in parser for actual drawings, driven by formal specifications; powerful reasoning capabilities about diagrams and their specification. GenEd´s specification language is based on a fully formalized theory for describing visual notations. Three examples, place-transition Petri nets, entity-relationship diagrams, and a small GIS application are presented
Keywords :
Petri nets; diagrams; entity-relationship modelling; formal specification; geographic information systems; object-oriented programming; program compilers; spatial reasoning; specification languages; visual programming; GenEd; built-in parser; diagrams; domain-specific syntax; drawings; entity-relationship diagrams; formal specifications; formal visual reasoning; generic semantics; geographic information system; object-oriented editor; place-transition Petri nets; semantics; specification language; specifications; visual notations; visual programming; Chemistry; Computer languages; Computer science; Formal specifications; Geography; Information systems; Logic design; Petri nets; Specification languages; Topology;
Conference_Titel :
Visual Languages, 1996. Proceedings., IEEE Symposium on
Conference_Location :
Boulder, CO
Print_ISBN :
0-8186-7508-X
DOI :
10.1109/VL.1996.545289
