Modelling Interactive Systems and Providing Task Relevant Information
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.
KeywordsEditing Terion Elimin
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
- P. Johnson. Human-computer interaction: Psychology, task analysis and software engineering. McGraw Hill, London, 1992.Google Scholar
- 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