An experimental study into the default reading of constraint diagrams

Andrew Fish, Judith Masthoff

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

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.
Original languageEnglish
Title of host publicationProceedings of Visual Languages and Human Centric Computing (VLHCC05)
Place of PublicationWashington DC, USA
PublisherIEEE Press
Pages287-289
Number of pages3
ISBN (Print)0769524435
DOIs
Publication statusPublished - 1 Jan 2005
EventProceedings of Visual Languages and Human Centric Computing (VLHCC05) - Dallas, USA, 20-24 September, 2009
Duration: 1 Jan 2005 → …

Conference

ConferenceProceedings of Visual Languages and Human Centric Computing (VLHCC05)
Period1/01/05 → …

Bibliographical note

© 2009 IEEE.

Keywords

  • Constaint diagrams
  • Diagrammatic notation

Fingerprint

Dive into the research topics of 'An experimental study into the default reading of constraint diagrams'. Together they form a unique fingerprint.

Cite this