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

fYear

1996

fDate

3-6 Sep 1996

Firstpage

204

Lastpage

211

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, 1996. Proceedings., IEEE Symposium on

Conference_Location

Boulder, CO

ISSN

1049-2615

Print_ISBN

0-8186-7508-X

Type

conf

DOI

10.1109/VL.1996.545289

Filename

545289