Models of interactive systems: A case study on programmable user modelling

International Journal of Human Computer Studies

Volumn 60, Issue 2, 2004, Pages 149-200

  Blandford, Ann ^a   Butterworth, Richard ^b   Curzon, Paul ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA REDUCTION; ERROR ANALYSIS; HUMAN COMPUTER INTERACTION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; PROBLEM SOLVING; REAL TIME SYSTEMS; SOCIAL SCIENCES; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

COGNITIVE COMPLEXITY; ELECTRONIC DIARIES;

INTERACTIVE COMPUTER SYSTEMS;

EID: 0345869786     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijhcs.2003.08.004     Document Type: Article

References (67)

1. Abowd, G., Wang, H.-M., Monk, A., 1995. A formal technique for automated dialogue development. Proceedings of DIS'95, Ann Arbor, MI, ACM, pp. 219-226.
2. Adams, A., Blandford, A., 2002. Acceptability of medical digital libraries. Health Informatics Journal 8 (2), 58-66.
3. Anderson, J.R., 1993. Rules of the Mind. LEA, Hillsdale, NJ.
4. Barnard, P.J., Harrison, M.D., 1989. Integrating cognitive and system models in human computer interaction. In: Sutcliffe, A., Macauley, L. (Eds.), People and Computers, Proceedings of HCI'89, Vol. V. CUP. Cambridge, pp. 87-103.
5. Barnard, P.J., May, J., Duke, D., Duce, D., 2000. Systems, interactions and macrotheory. ACM Transactions on Computer-Human Interaction 7.2, 222-262.
6. Beard, D., Palanlappap, M., Humm, A., Banks, D., Nair, A., Shan, Y.-P., 1990. A visual calendar for scheduling group meetings. In: Proceedings of CSCW'90, Los Angeles, CA, pp. 279-290.
7. Blandford, A.E., Green, T.R.G., 2001. Group and individual time management tools: what you get is not what you need. Personal and Ubiquitous Computing 5.4, 213-230.
8. Blandford, A.E., Young, R.M., 1993. Developing runnable user models: separating the problem solving techniques from the domain knowledge. In: Alty, J., Diaper, D., Guest, S. (Eds.), People and Computers VIII, Proceedings of HCI'93, Loughborough. Cambridge University Press, Cambridge, pp. 111-122.
9. Blandford, A.E., Young, R.M., 1995. Separating user and device descriptions for modelling interactive problem solving. In: Nordby, K., Helmersen, P., Gilmore, D.J., Arnesen, S. (Eds.), Human-Computer Interaction: Interact'95. Chapman & Hall, London, pp. 91-96.
10. Blandford, A.E., Young, R.M., 1996. Specifying user knowledge for the design of interactive systems. Software Engineering Journal 11.6, 323-333.
11. Blandford, A.E., Buckingham Shum, S., Young, R.M., 1998. Training software engineers in a novel usability evaluation technique. International Journal of Human-Computer Studies 45 (3), 245-279.
12. Butterworth, R.J., Blandford, A.E., Duke, D.J., 1998. The role of formal proof in modelling interactive behaviour. In: Markopulos, P., Johnson, P. (Eds.), Proceedings on Design, Specification and Verifications of Interactive Systems '98. Springer, Wien, pp. 87-101.
13. Butterworth, R., Blandford, A., Duke, D., 1999. Using formal models to explore display based usability issues. Journal of Visual Languages and Computing 10, 455-479.
14. Butterworth, R., Blandford, A., Duke, D., 2000. Demonstrating the cognitive plausibility of interactive system specifications. Formal Aspects of Computing 12, 237-259.
15. Byrne, M., 2001. ACT-R/PM and menu selection: applying a cognitive architecture to HCI. International Journal of Human-Computer Studies 55, 41-84.
16. Byrne, M.D., Bovair, S., 1997. A working memory model of a common procedural error. Cognitive Science 21.1, 31-61.
17. Card, S.K., Moran, T.P., Newell, A., 1983. The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale, NJ.
18. Carroll, J.M., 2003. HCI Models, Theories and Frameworks. Morgan Kaufmann, San Francisco.
19. Curzon, P., Blandford, A.E., 2001. Detecting multiple classes of user error. In: Little, M.R., Nigay, L. (Eds.), Engineering for Human-Computer Interaction, Eighth IFIP International Conference, EHCI 2001. Lecture Notes in Computer Science, Vol. 2254. Springer, Berlin, pp. 57-71.
20. Curzon, P., Blandford, A., 2002. From a formal user model to design rules. In: Forbrig, P., Urban, B., Vanderdonckt, J., Limbourg, Q. (Eds.), Interactive Systems. Design, Specification and Verification, Ninth International Workshop. Lecture Notes in Computer Science, Vol. 2545. Springer, Berlin, pp. 19-33.
21. Doherty, D.J., Campos, J.F., Harrison, M.D., 2000. Representational reasoning and verification. Formal Aspects of Computing 12, 260-277.
22. Duke, D.J., Harrison, M.D., 1993. Abstract interaction objects. Computer Graphics Forum 12 (3), 25-36 NCC/Blackwell. Proc. Eurographics'93.
23. Duke, D.J., Barnard, P.J., Duce, D.A., May, J., 1998. Syndetic modelling. Human-Computer Interaction 13, 337-394.
24. Fields, R., 2001. Analysis of erroneous actions in the design of critical systems. D.Phil. Thesis, University of York, Technical Report YCST 2001/09.
25. Fields, B., Wright, P., Harrison, M., 2000. Analysing human-computer interaction as distributed cognition. Human-Computer Interaction Journal 15, 1-41.
26. Gärdenfors, P., 1988. Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, Cambridge, MA.
27. Good, J.P., Blandford, A.E., 1999. Incorporating human factors concerns into the design and safety engineering of complex control systems. In: Noyes, J., Bransby, M. (Eds.), People in Control: An International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres. IEE Conference Publication Number 463, Institution of Electrical Engineers, London, 1999, pp. 51-56, ISBN number 0 85296 715 2.
28. Gray, W.D., 2000. The nature and processing of errors in interactive behavior. Cognitive Science 24 (2), 205-248.
29. Gray, W., John, B., Atwood, M., 1993. Project Ernestine: validating a GOMS analysis for predicting and explaining real-world task performance. Human-Computer Interaction 8, 237-309.
30. Gray, W., Young, R.M., Kirschenbaum, S., 1997. Introduction to this special issue on cognitive architectures and human-computer interaction. Human-Computer Interaction 12, 301-309.
31. Hall, A., 1990. Seven myths of formal methods, IEEE Software, September, 11-19.
32. Harrison, M., Thimbleby, H. (Eds.), 1990. Formal Methods in Human-Computer Interaction. CUP, Cambridge, pp. 97-127.
33. Hollan, J.D., Hutchins, E.L., Kirsh, D., 2000. Distributed cognition: toward a new foundation for human-computer interaction research. ACM Transactions on CHI 7.2, 174-196.
34. Hollnagel, E., 1998. Cognitive Reliability and Error Analysis Method (CREAM). Elsevier Science, Oxford.
35. Hutchins, E., 1995. Cognition In The Wild. MIT Press, Cambridge, MA.
36. John, B., Kieras, D., 1996. The GOMS family of user interface analysis techniques: comparison and contrast. ACM Transactions on CHI 3, 320-351.
37. Kelley, J.F., Chapanis, A., 1982. How professional persons keep their calendars: implications for computerisation. Journal of Occupational Psychology 55, 241-256.
38. Kieras, D., Poison, P., 1985. An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies 22, 365-394.
39. Kieras, D.E., Wood, S.D., Meyer, D.E., 1997. Predictive engineering models based on the EPIC architecture for a multimodal high-performance human-computer interaction task. ACM Transactions on CHI 4, 230-275.
40. Kincaid, C.M., Dupont, P.B., Kaye, A.R., 1985. Electronic calendars in the office: an assessment of user needs and current technology. ACM Transactions on Office Information Systems 3.1, 89-102.
41. Klein, G.A., 1999. Sources of Power: How People Make Decisions. MIT Press, Cambridge, MA.
42. Lamport, L., 1994. The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16 (3), 872-923.
43. Long, J., Dowell, J., 1989. Conceptions of the discipline of HCI: craft, applied science and engineering. Proceedings of the HCI'89. Cambridge University Press, Cambridge, pp. 9-32.
44. Moher, T.G., Dirda, V., 1995. Revising mental models to accommodate expectation failures in human-computer dialogues. In: Palanque, P., Bastide, R. (Eds.), Design, Specification and Verification of Interactive Systems '95. Springer, Wien, pp. 76-92.
45. Morgan, C., 1990. Programming from Specifications. Prentice-Hall, Englewood Cliffs, NJ.
46. Newell, A., 1982. The knowledge level. Artificial Intelligence 18, 87-127.
47. Newell, A., 1990. Unified Theories of Cognition. Harvard University Press, Cambridge, MA.
48. ON Technology, 1995. Meeting Maker (v.3) User's Guide.
49. Palanque, P., Bastide, R., 1995. Petri net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. In: Paterno, F. (Ed.), Interactive Systems: Design, Specification and Verification. Springer, Berlin, pp. 383-400.
50. Palen, L. 1999. Social, individual & technological issue for groupware calendar systems. Proceedings of CHI'99. ACM Press, New York, pp. 17-24.
51. Paterno', F., 1993. Definition of properties of user interfaces using action-based temporal logic. Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, CA, pp. 314-318.
52. Payne, S.J., 1991. Display-based action at the user interface. International Journal of Man-Machine Studies 35, 275-289.
53. Payne, S.J., 1993. Understanding calendar use. Human-Computer Interaction 8, 83-100.
54. Payne, S.J., Green, T.R.G., 1986. Task-Action Grammars: a model of mental representation of task languages. Human-Computer Interaction 2, 93-133.
55. Pnueli, A., 1992. System specification and refinement in temporal logic. Lectures Notes in Computer Science, Vol. 652. Springer, Berlin, pp. 1-38.
56. Pollock, J., 1993. The phylogeny of rationality. Cognitive Science 17, 563-588.
57. Reason, J., 1990. Human Error. Cambridge University Press, Cambridge.
58. Ritter, F., Young, R., 2001. Embodied models as simulated users: introduction to this special issue on using cognitive models to improve interface design. International Journal of Human-Computer Studies 55, 1-14.
59. Rushby, J., 1999. Using model checking to help discover mode confustions and other automation surprises. In: Javaux, D. (Ed.), Proceedings of the Third Workshop on Human Error, Safety and System Development. Liege, Belgium.
60. Ryan, M., 1992. Ordered presentations of theories: a hierarchical approach to default reasoning. Ph.D. Thesis, Imperial College, London.
61. Salvucci, D.D., Lee, F.J., 2003. Simple cognitive modeling in a complex cognitive architecture. Proceedings of the ACM CHI 2003. Fort Lauderdale, FL, pp. 265-272.
62. Simon, H.A., 1987. Bounded rationality. In: Eatwell, J., Millgate, M., Newman, P. (Eds.), The New Palgrave: A Dictionary of Economics. Macmillan, London and Basingstoke.
63. Thimbleby, H., Cairns, P., Jones, M., 2001. Usability analysis with Markov models. ACM Transactions on Computer-Human Interaction 8 (2), 99-132.
64. Tversky, A., Kahneman, D., 1992. Advances in prospect theory: cumulative representation of uncertainty. Journal of Risk and Uncertainty 5, 297-323.
65. Vicente, K., 1999. Cognitive Work Analysis. Lawrence Erlbaum, Mahwah, NJ.
66. Wharton, C., Rieman, J., Lewis, C., Poison, P., 1994. The cognitive walkthrough method: a practitioner's guide. In: Nielsen, J., Mack, R. (Eds.), Usability Inspection Methods. Wiley, New York, pp. 105-140.
67. Young, R.M., Green, T.R.G., Simon, T., 1989. Programmable user models for predictive evaluation of interface designs. Proceedings of CHI '89, ACM, New York.