GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
by Volker Haarslev and Michael Wessel
Note: these pages are almost 12 years old (from 1996); however, I have updated the design to test and have some content for my Common Lisp-based "Content Management System" (HTML generator).
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
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
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
- Theory of Visual Languages
- Formal Semantics
- Diagrammatical Reasoning
- Description Logics
- Visual Editor
- Visual Parsing
- Common Lisp, CLIM, CLOS, CLASSIC
Image Gallery
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
