Abstract
While designing interactive software, the use of a formal specification technique is of great help because it provides non-ambiguous, complete and concise notations. The advantages of using such a formalism is widened if it is provided by formal analysis techniques that allow to prove properties about the design, thus giving an early verification to the designer before the application is actually implemented. However, formal specification of interactive systems (even though aiming to produce reliable software) often does not address the issues of erroneous user behaviour. This paper tackles the problem by proposing a systematic way of dealing with erroneous user behaviour. We propose to extend task models (describing standard user behaviour) with erroneous user behaviour. Without appropriate support, incorporating erroneous user behaviour in task models requires much effort from task analysts. We thus propose the definition of patterns of user errors in task models. These patterns of errors are then systematically applied to a task model in order to build a task model covering both standard and erroneous user behaviour. These task models can then be exploited towards system models to provide a systematic way of assessing both system compliance to user tasks and system tolerance to user errors.
Chapter PDF
References
Alexander, C., Ishikawa, S. and Silverstein, M. (1977) A pattern language: towns, buildings, construction.
Annett, J. and Duncan, K., (1967) Task Analysis and Training Design, Occupational Psychology, 41, 1967, pp.211–227.
ARINC 661. (2002) Cockpit display system interfaces to user systems. Arinc specification 661. Published: April 22, 2002. An ARINC document prepared by airlines electronic engineering committee Published by aeronautical radio, inc. 2551 riva road, annapolis, maryland 21401
Baber, C., and Stanton, N. (2004). Task Analysis for Error Identification. In D. Diaper & N. Stanton (Eds.) The Handbook of Task Analysis for Human-Computer Interaction. New Jersey: Lawrence Erlbaum Associates p.367–379
Baumeister, L.K., John, B.E., Byrne, M.D. (2000). A Comparison of Tools for Building GOMS Models Tools for Design. In: Proc. of ACM Conf. on Human Factors in Computing Systems CHI’2000, ACM Press, New York, 502–509
BBC News Website (2004) http://news.bbc.co.uk/2/hi/asia-pacific/3656853.stm (last accessed 30th April 2004)
Blandford A. (2000). Designing to avoid post-completion errors. PUMA working paper WP33. (http://www.cs.mdx.ac.uk/puma/).
Blandford, A., (2000) PUMA Footprints: linking theory and craft skill in usability evaluation. (http://www.cs.mdx.ac.uk/puma/). PUMA working paper WP26.
Blandford, A. (2000) Designing to avoid post-completion errors. WP33
Breedvelt, I., Paternò, F. & Sereriins, C. (1997). Reusable Structures in Task Models, Proceedings DSVIS’ 97, Springer Verlag, pp.251–265
Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. (1996) Pattern Oriented Software Architecture. John Wiley & Sons, Inc.
Card, S.K., Moran, T.P., Newell, A. (1983). The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale
Farenc C. & Palanque P. (1999). A Generic Framework based on based on Ergonomic Rules for Computer Aided Design of User Interface. J. Vanderdonckt, A. Puerta (eds.), Computer-Aided Design of User Interfaces II, Proceedings of CADUI’99, Kluwer Academics, Dordrecht, 1999.
Feldbrudge F., Jensen K. (1986). Petri net tool overview in Brauer W. (Editor). LNCS 254 & 255, Springer Verlag
Fields, B., Paternò, F., Santoro, C. (1999). Analysing User Deviations in Interactive Safety-Critical Applications, Proc. of DSV-IS’ 99, pp. 189–204, Springer-Verlag.
Gamma, E., Helm, R., Johnson, R. Vlissides, J. (1995). Design Patterns: Elements of Objectoriented Software. Book published by Addison-Wesley
Hartson, R., and Gray, P. (1992). Temporal Aspects of Tasks in the User Action Through Product and Process. New York. John Wiley.
HAZOP (1996). MOD: Studies on systems containing programmable electronics. UK Ministry of Defence Interim Def Stan 00-58, Issue 1. Available from http://www.dstan.mod.uk/dstan_data/ix-00.htm
Hix, D. and Hartson, H. R. (1993) Developing User Interfaces.
Hollnagel, E., (1991). The Phenotype of Erroneous Actions: Implications for HCI Design. In: Weir, G.R.S. and Alty, J.L., (Eds.), Human-Computer Interaction and Complex Systems, Academic Press.
IBM (1989) Common User Access: Advanced Interface Design Guide. IBM, SC26-4582-0
Johnson, P., Johnson, H. (1989). Knowledge Analysis of Task: Task Analysis and Specification for Human-Computer Systems. In: Downton, A. (ed.): Engineering the Human Computer Interface. McGraw-Hill, Maidenhead 119–144
Jordan, B. (1996). Ethnographic Workplace Studies and CSCW. In D. Shapiro, M.J. Tauber and R. Traunmueller (eds). The design of computer supported cooperative work and groupware systems. North-Holland, Amsterdam, 17–42.
Kirwan, B. (1994). A guide to practical human reliability assessment. Taylor and Francis.
Nardi, B. (1995). Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge MS.
Navarre D., Palanque P., Bastide R. Paternò F. & Santoro C. (2001). A tool suite for integrating task and system models through scenarios. In 8th Eurographics workshop DSV-IS’2001 LNCS, no. 2220. Springer, 2001
Norman Donald A. (1988). The design of everyday things New York: Currency-Doubleday, 1988.
Palanque P, Bastide R. & Paternò F. (1997). Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems Interact’97 conference, Chapman et Hall. pp. 463–476.
Palanque Ph. & Bastide R. Synergistic modelling of tasks, system and users using formal specification techniques. Interacting With Computers, Academic Press, 9,12, pp. 129–153
Paternò, F. (1999) Model Based Design and Evaluation of Interactive Applications. Springer Verlag, Berlin
Paternò F. and Santoro C. (2002). Preventing user errors by systematic analysis of deviations from the system task model. International Journal Human-Computer Studies, Elsevier Science, Vol.56, N.2, pp. pp. 225–245, 2002.
Pocock, S., Fields, B., Harrison, M and Wright, P. (2001). THEA-A Reference Guide. University of York Computer Science Technical Report 336, 2001.
Rasmussen, J. (1983). Skills, rules, knowledge: Signals, signs, and symbols and other distinctions in human performance models. IEEE Transactions on Systems, Man, and Cybernetics, 13(3):257–267
Reason, J. (1990). Human Error, Cambridge University Press
Smith, D.J., (2002). Human Error (and how to prevent it) e-learning resource. Available from http://www.smithsrisca.demon.co.uk/unitHE2.html
Scapin, D., Pierret-Golbreich, C. (1989) Towards a Method for Task Description: MAD. In: Berlinguet, L., Berthelette, D. (eds.): Proc. of Conf. Work with Display Units WWU’89, Elsevier Science Publishers, Amsterdam (189) 27–34
Sinnig D., Forbrig P. and Seffah A. (2003). Patterns in Model-Based Development, Position Paper in INTERACT 03 Workshop entitled: Software and Usability Cross-Pollination: The Role of Usability Patterns.
Sinnig, D., Gaffar, A., Seffah, A., Forbrig, P. (2004). Patterns, Tools and Models for Interaction Design. MBUI Workshop 2004, P.09
Suchman, L. A. (1987). Plans and situated actions: The problem of human-machine communications. Cambridge, UK: Cambridge University Press.
van der Veer, G., van der Lenting, B.F., Bergevoet, B.A.J. (1996) GTA: Groupware Task Analysis-Modeling Complexity. Acta Psychologica 91 297–322.
van Welie M., van der Veer G.C., Eliëns A. (2000). Patterns as Tools for User Interface Design: In: International Workshop on Tools for Working with Guidelines, pp. 313–324, 7–8 October 2000, Biarritz, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Palanque, P., Basnyat, S. (2004). Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. In: Johnson, C.W., Palanque, P. (eds) Human Error, Safety and Systems Development. IFIP International Federation for Information Processing, vol 152. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8153-7_8
Download citation
DOI: https://doi.org/10.1007/1-4020-8153-7_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8152-1
Online ISBN: 978-1-4020-8153-8
eBook Packages: Springer Book Archive