Exploring human factors in formal diagram usage

Andrew Fish, Babak Khazaei, Chris Roast

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


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.
Original languageEnglish
Title of host publicationProceedings of the EIS 2007 Joint Working Conferences
Place of PublicationBerlin Heidelberg
Number of pages16
ISBN (Electronic)9783540926986
ISBN (Print)9783540926979
Publication statusPublished - 1 Jan 2007
EventProceedings of the EIS 2007 Joint Working Conferences - Salamanca, Spain
Duration: 1 Jan 2007 → …

Publication series

NameLecture Notes in Computer Science


ConferenceProceedings of the EIS 2007 Joint Working Conferences
Period1/01/07 → …


Dive into the research topics of 'Exploring human factors in formal diagram usage'. Together they form a unique fingerprint.

Cite this