Formal issues in languages based on closed curves

FISH, ANDREW and STAPLETON, GEM (2006) Formal issues in languages based on closed curves In: Proceedings of the 2006 International Workshop on Visual Languages and Computing, Grand Canyon, USA, August 30-September 1, 2006.

[img]PDF - Submitted Version
102Kb

Abstract

Three important questions arise when using visual languages: for any given piece of information can we draw a diagram representing that information, can we reliably interpret the diagrams and can we reason diagrammatically about that information? The desirable answer to all three questions is yes, but these desires are often conflicting; for example, well-formedness conditions can be enforced to assist diagram interpretation but this can result in drawability problems. In this paper, we focus on visual languages based on closed curves, which are used in numerous computing applications. Many such languages effectively use spatial properties such as containment and disjointness. We consider the consequences of enforcing various well-formedness conditions, such as simplicity and connectedness of minimal regions, in relation to the above questions. We suggest refinements of the conditions in order to find a balance between the conflicting desires.

Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information:© 2006 The Author(s)
Uncontrolled Keywords:Visual languages; Closed curves
Subjects:G000 Computing and Mathematical Sciences
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:3268
Deposited By:Converis
Deposited On:24 Nov 2007
Last Modified:16 Apr 2013 16:15

Repository Staff Only: item control page