Supporting Resource-Based Analysis of Task Information Needs

  • José Creissac Campos
  • Gavin J. Doherty
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3941)


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.


Model Check User Action Interactive System Task Model Read Instruction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8(3-4), 275–310 (2001)zbMATHCrossRefGoogle Scholar
  4. 4.
    Doherty, G.J., Campos, J.C., Harrison, M.D.: Representational reasoning and verification. Formal Aspects of Computing 12(4), 260–277 (2000)zbMATHCrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Kirwan, B., Ainsworth, L.: A Guide to Task Analysis. Taylor & Francis, Abington (1992)Google Scholar
  7. 7.
    Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence 33, 1–64 (1987)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York (2003)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Norman, D.E.: The Psychology of Everyday Things. Basic Book Inc. (1988)Google Scholar
  12. 12.
    Paternò, F.: Model Based Design and Evaluation of Interactive Applications. In: Applied Computing. Springer, Berlin (1999)Google Scholar
  13. 13.
    Paternò, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995)Google Scholar
  14. 14.
    Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75(2), 167–177 (2002)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • José Creissac Campos
    • 1
  • Gavin J. Doherty
    • 2
  1. 1.Departamento de InformáticaUniversidade do MinhoBragaPortugal
  2. 2.Department of Computer ScienceTrinity College DublinIreland

Personalised recommendations