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

by Volker Haarslev and Michael Wessel

Note: these pages are ancient (from 1996). I mainly added them to have some tests and complex content for my Common Lisp-based "Content Management System".

GenEd Publications & Presentations

 
Project Thesis
 
Michael Wessel :
Entwicklung eines konzeptorientierten generischen Grafikeditor in Common Lisp
In German, Project Work (Studienarbeit)
Informatics Department, University of Hamburg, 1996
PDF PDF ? Link
 
Conference Paper
 
Volker Haarslev, Michael Wessel :
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
Proceedings of the 12th IEEE Symposium on Visual Languages 1996 (VL '96), IEEE Press, 1996
PDF PDF ? Link
 
Video
 
Volker Haarslev, Michael Wessel :
GenEd QuickTime Video
1996
? Video

Description

GenEd is an object-oriented editor 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.

Keywords

Image Gallery

pic pic pic
pic pic pic
pic pic pic
pic pic pic
pic pic pic