An experimental study into the default reading of constraint diagrams

Alison Fish, Judith Masthoff

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Constraint diagrams (Kent, 1997) 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.
Original languageEnglish
Title of host publicationProceedings of the IEEE Symposium on visual languages and human-centric computing
EditorsMartin Erwig
PublisherIEEE Computer Society
Pages287 - 289
Number of pages3
ISBN (Print)0769524435
DOIs
Publication statusPublished - 2005
Event2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) - Dallas, Texas, United States
Duration: 20 Sep 200524 Sep 2005

Conference

Conference2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
CountryUnited States
CityDallas, Texas
Period20/09/0524/09/05

Fingerprint

Semantics
Specifications

Keywords

  • diagrammetic reasoning
  • hci
  • empirical study
  • constraint diagrams
  • formal specification
  • programming language semantics
  • reading tree
  • software reasoning

Cite this

Fish, A., & Masthoff, J. (2005). An experimental study into the default reading of constraint diagrams. In M. Erwig (Ed.), Proceedings of the IEEE Symposium on visual languages and human-centric computing (pp. 287 - 289 ). IEEE Computer Society. https://doi.org/10.1109/VLHCC.2005.17

An experimental study into the default reading of constraint diagrams. / Fish, Alison; Masthoff, Judith.

Proceedings of the IEEE Symposium on visual languages and human-centric computing . ed. / Martin Erwig. IEEE Computer Society, 2005. p. 287 - 289 .

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fish, A & Masthoff, J 2005, An experimental study into the default reading of constraint diagrams. in M Erwig (ed.), Proceedings of the IEEE Symposium on visual languages and human-centric computing . IEEE Computer Society, pp. 287 - 289 , 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, United States, 20/09/05. https://doi.org/10.1109/VLHCC.2005.17
Fish A, Masthoff J. An experimental study into the default reading of constraint diagrams. In Erwig M, editor, Proceedings of the IEEE Symposium on visual languages and human-centric computing . IEEE Computer Society. 2005. p. 287 - 289 https://doi.org/10.1109/VLHCC.2005.17
Fish, Alison ; Masthoff, Judith. / An experimental study into the default reading of constraint diagrams. Proceedings of the IEEE Symposium on visual languages and human-centric computing . editor / Martin Erwig. IEEE Computer Society, 2005. pp. 287 - 289
@inproceedings{9480a3be0aec4b73af4cf86d4ac1f5ad,
title = "An experimental study into the default reading of constraint diagrams",
abstract = "Constraint diagrams (Kent, 1997) 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.",
keywords = "diagrammetic reasoning, hci, empirical study, constraint diagrams, formal specification, programming language semantics, reading tree, software reasoning",
author = "Alison Fish and Judith Masthoff",
year = "2005",
doi = "10.1109/VLHCC.2005.17",
language = "English",
isbn = "0769524435",
pages = "287 -- 289",
editor = "Martin Erwig",
booktitle = "Proceedings of the IEEE Symposium on visual languages and human-centric computing",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - An experimental study into the default reading of constraint diagrams

AU - Fish, Alison

AU - Masthoff, Judith

PY - 2005

Y1 - 2005

N2 - Constraint diagrams (Kent, 1997) 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.

AB - Constraint diagrams (Kent, 1997) 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.

KW - diagrammetic reasoning

KW - hci

KW - empirical study

KW - constraint diagrams

KW - formal specification

KW - programming language semantics

KW - reading tree

KW - software reasoning

U2 - 10.1109/VLHCC.2005.17

DO - 10.1109/VLHCC.2005.17

M3 - Conference contribution

SN - 0769524435

SP - 287

EP - 289

BT - Proceedings of the IEEE Symposium on visual languages and human-centric computing

A2 - Erwig, Martin

PB - IEEE Computer Society

ER -