GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations

Authors:
Volker Haarslev;Michael Wessel
Affiliations:
-;-
Venue:
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Year:
1996

Citing 0
Cited 2

A knowledge-based method for inferring semantic concepts from visual models of system behavior

ACM Transactions on Software Engineering and Methodology (TOSEM)
Spatial graph grammars for graphical user interfaces

ACM Transactions on Computer-Human Interaction (TOCHI)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific syntax and semantics are specified by users; (2) built-in parser for actual drawings, driven by formal specifications; (3) 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.