Formal semantics of visual languages using spatial reasoning
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 156-163
- https://doi.org/10.1109/vl.1995.520804
Abstract
This paper describes a new approach to develop formal semantics of visual languages. The proposed framework relies on a spatial logic for describing qualitative spatial relationships between elements of visual languages and on description logic theory. Visual languages that are ideally suited for this approach should be based on 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.Keywords
This publication has 6 references indexed in Scilit:
- Formal semantics of control in a completely visual programming languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Complete visualizations of concurrent programs and their executionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Combining spatial and terminological reasoningPublished by Springer Nature ,1994
- Visual Reasoning: its Formal Semantics and ApplicationsJournal of Visual Languages & Computing, 1993
- Pictorial Concepts and a Concept-supporting Graphical SystemJournal of Visual Languages & Computing, 1993
- LIVING WITH CLASSICPublished by Elsevier ,1991