Abstract
Design rules sometimes seem to contradict. We examine how a formal description of user behaviour can help explain the context when such rules are, or are not, applicable. We describe how they can be justified from a formally specified generic user model. This model was developed by formalising cognitively plausible behaviour, based on results from cognitive psychology. We examine how various classes of erroneous actions emerge from the underlying model. Our lightweight semi-formal reasoning from the user model makes predictions that could be used as the basis for further usability studies. Although the user model is very simple, a range of error patterns and design principles emerge.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.E. Blandford, P.J. Barnard and M.D. Harrison. Using Interaction Framework to guide the design of interactive systems. International Journal of Human Computer Studies, 43:101–130, Academic Press 1995.
A. Blandford, R. Butterworth and P. Curzon, Puma Footprints: Linking Theory and Craft Skill in Usability Evaluation. Proc. Interact 2001, pp 577–584, IOS 2001.
A. Blandford and R. Young, The role of communication goals in interaction. In Adjunct Proceedings of HCI’98, 1998.
R. Butterworth, A. Blandford and D. Duke. Using formal models to explore display based usability issues. J. of Visual Languages and Computing, 10:455–479, 1999.
R. Butterworth, A. Blandford and D. Duke. Demonstrating the cognitive plausibility of interactive system specifications, FACS, 12:237–259 2000.
M. Byrne and S. Bovair. A working memory model of a common procedural error. Cognitive Science, 21 (1):31–61, 1997.
P. Curzon and A. Blandford, Detecting Multiple Classes of User Errors, Eng. for Human-Computer Interaction, M. Little and L. Nigay (Eds) pp 57–71, LNCS 2254, Springer 2001.
P. Curzon and A. Blandford, A User Model for Avoiding Design Induced Errors in Soft-Key Interactive Systems, TPHOLs 2001: Supplementary Procs., R.J. Bolton and P.B. Jackson (eds), U. of Edinburgh, ED-INF-RR-0046, pp 33–48, 2001.
R.E. Fields. Analysis of erroneous actions in the design of critical systems. PhD Thesis. U. of York, Dept. of Computer Science, Tech. Report YCST 2001/09. 2001.
M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic. Cambridge University Press, U.K., 1993.
E. Hollnagel. Cognitive Reliability & Error Analysis Method. Elsevier 1998.
A. Newell. Unified Theories of Cognition. Harvard University Press, 1990.
D.A. Norman. The Design of Everyday Things. MIT Press 1998.
C.R. Roast. Modelling Unwanted Commitment in Information Artifacts, S. Chatty and P. Dewan (eds) Eng. for Human-Computer Interaction, pp 77–90, Kluwer, 1998.
H. Thimbleby. Permissive User Interfaces, International Journal of Human Computer Studies, (54)3:333–350, 2001.
H. Thimbleby, A. Blandford, P. Cairns, P. Curzon and M. Jones. User Interface Design as Systems Design. To appear in the Proceedings of HCI 2002, Sept. 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Curzon, P., Blandford, A. (2002). From a Formal User Model to Design Rules. In: Forbrig, P., Limbourg, Q., Vanderdonckt, J., Urban, B. (eds) Interactive Systems:Design, Specification, and Verification. DSV-IS 2002. Lecture Notes in Computer Science, vol 2545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36235-5_1
Download citation
DOI: https://doi.org/10.1007/3-540-36235-5_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00266-6
Online ISBN: 978-3-540-36235-7
eBook Packages: Springer Book Archive