Exploring human factors in formal diagram usage

Fish, Andrew, Khazaei, Babak and Roast, Chris (2007) Exploring human factors in formal diagram usage In: Proceedings of the EIS 2007 Joint Working Conferences, 22-24 Mar, 2007, Salamanca, Spain.

Full text not available from this repository.


Formal diagrammatic notations have been developed as alternatives to symbolic specification notations. Ostensibly to aid users in performing comprehension and reasoning tasks, restrictions called well- formedness conditions may be imposed. However, imposing too many of these conditions can have adverse effects on the utility of the nota- tion (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 well- formedness conditions, but that even a limited exposure diminishes this preference.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Subjects: G000 Computing and Mathematical Sciences > G600 Software Engineering
DOI (a stable link to the resource): 10.1007/978-3-540-92698-6_25
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 21 Aug 2009
Last Modified: 14 Apr 2015 13:05
URI: http://eprints.brighton.ac.uk/id/eprint/2995

Actions (login required)

View Item View Item


Downloads per month over past year