Formal Semantics of Visual Languages Using Spatial Reasoning

Volker Haarslev  

 About the Author

Foundations   Formal Semantics   Spatial Reasoning   Visual Reasoning   Description Logics   Completely Visual Languages  


This paper describes a new approach to develop formal semantics of visual languages. The proposed framework is based on spatial reasoning, a spatial logic for describing qualitative spatial relationships between elements of visual languages, and description logics theory. Elements of appropriate visual languages may consist of geometrical objects such as points, (directed) lines, and convex regions. A prominent feature of our approach is the capability for automatic verification of semantics specifications. The specifications defining our example language, Pictorial Janus, are fully developed and were automatically verified using a representative set of example programs.

 Document in PostScript (compressed, 103145 bytes)

 Document in HTML with Pictures

Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy Formalising Visual Languages Index of Talks Proceedings - 11th Intl. Symposium on Visual Languages