Modelling Interactive Systems and Providing Task Relevant Information

  • Bob Fields
  • Michael Harrison
  • Peter Wright
Part of the Focus on Computer Graphics book series (FOCUS COMPUTER)


This paper presents an approach to the specification of interactive systems which supports reasoning about properties that emerge from the interaction between a system and a user. In particular, properties about the relationship between the information presented by the system and that required by the user in order to perform some task are studied. This gives rise to requirements being placed on the user’s memory for effective use of the system which can be employed to compare different design choices. The techniques and notations are illustrated with a simple example from the domain of desktop office systems.


Word Processor External Behaviour User Error Current Word Spelling Checker 
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]
    G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.Google Scholar
  2. [2]
    P.J. Barnard and J. May. Cognitive Modelling for User Requirements. In P.F. Byerley, P.J. Barnard, and J. May, editors, Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services, North Holland Series in Telecommunications, chapter 2.1, pages 101–146. Elsevier Science Publishers, 1993.Google Scholar
  3. [3]
    M. D. Byrne. Systematic Procedural Error as a Result of Interaction Between Working Memory Demand and Task Structure. Master’s thesis, Georgia Institute of Technology, Department of Psychology, 1993.Google Scholar
  4. [4]
    D. Duke and M. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25–36, 1993.CrossRefGoogle Scholar
  5. [5]
    D.J. Duke, D.A. Duce, P. J. Barnard, M.D. Harrison, and J. May. On the Integration of User and System Models. Technical Report ID/WP26, MRC-APU, Cambridge — ESPRIT BRA 7040 Amodeus-2, April 1994.Google Scholar
  6. [6]
    B. Fields, M. Harrison, and P. Wright. From informal requirements to agent-based specification: an aircraft warnings case study (extended abstract). ACM SIGCHI Bulletin, 26(2):65–68, 1994.CrossRefGoogle Scholar
  7. [7]
    C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International, 1985.MATHGoogle Scholar
  8. [8]
    P. Johnson. Human-computer interaction: Psychology, task analysis and software engineering. McGraw Hill, London, 1992.Google Scholar
  9. [9]
    C.B. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall International, 2nd edition, 1990.MATHGoogle Scholar
  10. [10]
    C. Runciman and N. Hammond. User programs: a way to match computer systems and human cognition. In M.D. Harrison and A.F. Monk, editors, HCI’86 Conference, People and Computers: Designing for Usability. BCS HCI Specialist Group, Cambridge University Press, 1986.Google Scholar
  11. [11]
    P. Wright, B. Fields, and M. Harrison. Deriving human-error tolerance requirements from tasks. In Proceedings of ICRE’94 The First International Conference on Requirements Engineering, Colorado Springs, pages 135–142. IEEE, April 1994.CrossRefGoogle Scholar

Copyright information

© EUROGRAPHICS The European Association for Computer Graphics 1995

Authors and Affiliations

  • Bob Fields
  • Michael Harrison
  • Peter Wright

There are no affiliations available

Personalised recommendations