Location of Repository

An experimental study into the default reading of constraint diagrams

By Andrew Fish and Judith Masthoff

Abstract

Constraint diagrams are a complex diagrammatic notation designed to express logical statements especially for use in software specification and reasoning. Not surprisingly, since this is an expressive language, there are some difficulties in reading the semantics of a diagram unambiguously. Some extra annotations (in the form of a reading tree) disambiguate the diagrams. However, this extra requirement (of drawing a reading tree) places a burden on the user. An attempt to remove the need for such a reading tree (or perhaps to automatically generate a reading tree, which could be altered by a user if they wished to) has been given via an algorithm to generate a default reading from the diagram. This algorithm is based on a number of principles – most of which are properties of the diagram. We wish to know whether these principles are intuitive and whether the default reading reflects a good proportion of users’ intuitions, and we have performed a user-based study to test this. This report summarizes this study

Topics: G400 Computing
Publisher: IEEE Press
Year: 2005
DOI identifier: 10.1109/VLHCC.2005.17
OAI identifier: oai:eprints.brighton.ac.uk:3272

Suggested articles

Preview

Citations

  1. (2003). A constraint diagram reasoning system.
  2. (2003). A reading algorithm for constraint diagrams. doi
  3. (2003). Computing reading trees for constraint diagrams. doi
  4. (1997). Constraint diagrams: Visualising invariants in object oriented models. doi
  5. (2005). Do Monkeys Like Elephants or Do Elephants Watch Monkeys? An Empirical study into the default reading of Constraint Diagrams. Technical report: http://cmis.mis.brighton.ac.uk/Research/vmg/publications .htm
  6. (2005). Precise visual modelling: A case study. doi
  7. (2001). Spider diagrams: A diagrammatic reasoning system. doi
  8. (1994). The logical status of diagrams. doi
  9. (1998). The Object Constraint Language. doi
  10. (2005). The semantics of augmented constraint diagrams. doi
  11. (2004). Towards a default reading for constraint diagrams. doi
  12. (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn heterogeneous rules of inference. doi
  13. Version 1.4. Available from www.omg.org.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.