Exploring Human Factors in Formal Diagram Usage

Authors:
Andrew Fish;Babak Khazaei;Chris Roast
Affiliations:
School of Computing, Mathematical and Information Sciences, University of Brighton, UK;Culture, Communication and Computing Research Institute, Sheffield Hallam University, UK;Culture, Communication and Computing Research Institute, Sheffield Hallam University, UK
Venue:
Engineering Interactive Systems
Year:
2008

Citing 14
Cited 0

Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Operational constraints in diagrammatic reasoning

Logical reasoning with diagrams
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Logic and Visual Information

Logic and Visual Information
Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
VENNFS: A Venn-Diagram File Manager

IV '03 Proceedings of the Seventh International Conference on Information Visualization
Collaborative knowledge capture in ontologies

Proceedings of the 3rd international conference on Knowledge capture
Generalized Venn diagrams: a new method of visualizing complex genetic set relations

Bioinformatics
The untrained eye: how languages for software specification support understanding in untrained users

Human-Computer Interaction
A System for Virtual Directories Using Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating Reasoning with Constraint Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
Exploring the notion of ‘clutter' in euler diagrams

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal diagrammatic notations have been developed as alternatives to symbolic specification notations. Ostensibly to aid users in performing comprehension and reasoning tasks, restrictions called wellformedness conditions may be imposed. However, imposing too many of these conditions can have adverse effects on the utility of the notation (e.g. reducing the expressiveness). Understanding the human factors involved in the use of a notation, such as how user-preference and comprehension relate to the imposition of wellformedness conditions, will enable the notation designers to make more informed design decisions. Euler diagrams are a simple visualization of set-theoretic relationships which are the basis of more expressive constraint languages. We have performed exploratory studies with Euler diagrams which indicated that novice user preferences strongly conform to the imposition of all wellformedness conditions, but that even a limited exposure diminishes this preference.