Abstract
We investigate here an approach to modelling the dynamic information requirements of a user performing a number of tasks, addressing both the provision and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate support for task execution. We look at how we can use tools to help reason about these issues, and illustrate their use through an example. We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.
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
Butterworth, R., Blandford, A., Duke, D., Young, R.M.: Formal user models and methods for reasoning about interactive behaviour. In: Siddiqi, J., Roast, C. (eds.) Formal Aspects of the Human-Computer Interaction, pp. 176–192. SHU Press (1998)
Campos, J.C.: Using task knowledge to guide interactor specifications analysis. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 171–186. Springer, Heidelberg (2003)
Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8(3-4), 275–310 (2001)
Doherty, G.J., Campos, J.C., Harrison, M.D.: Representational reasoning and verification. Formal Aspects of Computing 12(4), 260–277 (2000)
Kieras, D., Meyer, D.E.: An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. Human-Computer Interaction 12, 391–438 (1997)
Kirwan, B., Ainsworth, L.: A Guide to Task Analysis. Taylor & Francis, Abington (1992)
Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence 33, 1–64 (1987)
Lewis, C., Polson, P., Wharton, C., Rieman, J.: Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces. In: CHI 1990 Proceedings, April 1990, pp. 235–242. ACM Press, New York (1990)
Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York (2003)
Navarre, D., et al.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, pp. 88–113. Springer, Heidelberg (2001)
Norman, D.E.: The Psychology of Everyday Things. Basic Book Inc. (1988)
Paternò, F.: Model Based Design and Evaluation of Interactive Applications. In: Applied Computing. Springer, Berlin (1999)
Paternò, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995)
Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75(2), 167–177 (2002)
Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human Computer Interaction 15(1), 1–42 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Campos, J.C., Doherty, G.J. (2006). Supporting Resource-Based Analysis of Task Information Needs. In: Gilroy, S.W., Harrison, M.D. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2005. Lecture Notes in Computer Science, vol 3941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752707_16
Download citation
DOI: https://doi.org/10.1007/11752707_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34145-1
Online ISBN: 978-3-540-34146-8
eBook Packages: Computer ScienceComputer Science (R0)