By Topic

Formal semantics of visual languages using spatial reasoning

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
V. Haarslev ; Dept. of Comput. Sci., Hamburg Univ., Germany

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

Published in:

Visual Languages, Proceedings., 11th IEEE International Symposium on

Date of Conference:

5-9 Sep 1995