Impact of working environments upon human-machine dialogues: A formal logic for the integrated specification of physical and cognitive ergonomic constraints on user interface design

Ergonomics

Volumn 39, Issue 3, 1996, Pages 512-530

  Johnson, C W ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Dialogue design; Environment layout; Formal methods; Logic; Safety critical interaction

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER SIMULATION; COMPUTER WORKSTATIONS; DISPLAY DEVICES; ERGONOMICS; FORMAL LANGUAGES; FORMAL LOGIC; MAN MACHINE SYSTEMS; SYSTEMS ANALYSIS; THREE DIMENSIONAL; USER INTERFACES;

FIRST ORDER LOGIC; FORMAL SPECIFICATIONS; INTERACTIVE DIALOGUES; WORKING ENVIRONMENT;

HUMAN COMPUTER INTERACTION;

ARTICLE; COMPUTER AIDED DESIGN; COMPUTER PROGRAM; COMPUTER SYSTEM; ERGONOMICS; LOGIC; MAN MACHINE INTERACTION; OPERATOR; SIMULATION; WORK ENVIRONMENT;

EID: 0030110874     PISSN: 00140139     EISSN: 13665847     Source Type: Journal    
DOI: 10.1080/00140139608964477     Document Type: Article

References (29)

1. Alty, J. L. and Mullin, J., 1989, Dialogue specification in the GRADIENT dialogue system. In A. Sutcliffe and L. Macaulay (eds), People And Computers V (Cambridge University Press, Cambridge), 151-168.
2. Bignell, V. and Fortune, J., 1991, Understanding System Failure (Manchester University Press, Manchester).
3. Caro, P. W., 1988, Flight training and simulation. In E. L. Wiener and D. C. Nagel (eds), Human Factors In Aviation (Academic, London) 229-261.
4. Clark, K. L., 1981, The synthesis and verification of logic programs, Technical Report 81/36, Department of Computing, Imperial College, London.
5. Dix, A. J., 1991, Formal Methods for Interactive Systems (Academic, London).
6. Galer, I. A. R. and Yap, B. L., 1980, Ergonomics in intensive care: Applying human factors to the design and evaluation of a patient monitoring system, Ergonomics, 23(8), 763-779.
7. Grandjean, E., 1988, Fitting The Man To The Task: Occupational Ergonomics (Taylor & Francis, London).
8. Harrison, M. D. and Thimbleby, H. W. (eds.), 1990, Formal Methods In Human Computer Interaction (Cambridge University Press, Cambridge).
9. Hills, B., Boettcher, D. and Reed, R., 1993, Sizewell operators face a friendlier control panel, ATOM, 428, 14-17, May/June.
10. Johnson, C. W., 1991, Applying temporal logic to support the specification and prototyping of concurrent multi-user interfaces. In D. Diaper and N. Hammond (eds), People And Computers VI: Usability Now (Cambridge University Press, Cambridge) 145-156.
11. Johnson, C. W., 1993, A formal approach to the presentation of CSCW systems. In J. L. Alty, D. Diaper and S. Guest (eds), People and Computers VIII (Cambridge University Press, Cambridge) 335-352.
12. Johnson, C. W., 1993a, A probabilistic logic for the development of safety-critical interactive systems, International Journal of Man-Machine Studies, 39(2), 333-351.
13. Johnson, C. W., 1995, The economics of interface design. In K. Nordby, P. H. Helmersen, G. Gilmore and S.A. Arnesen (eds), Human Computer Interaction-Interact '95 (Chapman and Hall, London) 19-25.
14. Johnson, C. W. and Harrison, M. D., 1991, Declarative graphics and dynamic interaction. In F. W. Post and W. Barth (eds), EUROGRAPHICS 91 (Elsevier Science, North Holland) 195-207.
15. JOHNSON, C. W. and HARRISON, M. D., 1992, Using temporal logic to support the specification and prototyping of interactive control systems, International Journal Of Man-Machine Studies, 36, 357-385.
16. JUNGE, M. K. and GIACOMI, M. J., 1981, Human factors in equipment development for the Space Shuttle: A study of the general purpose work station. In R. C. Sugarman (ed.), Proceedings Of The 25 th Annual Meeting Of The Human Factors Society (Human Factors Society, Santa Monica) 218-222.
17. Kirkpatrick, M. and Mallory, K., 1981, Substitution error potential in nuclear power plant control rooms. In R. C. Sugarman (ed.), Proceedings of The 25th Annual Meeting Of The Human Factors Society (Human Factors Society, Santa Monica) 163-167.
18. KOWALSKI, R., 1984, The relation between logic programming and logic specification, Philosophical Transactions Of The Royal Society of London, 312(A), 345-361.
19. MALONE, T. B., 1989, MPTS methodology in the Navy: Enhanced HARDMAN. In D. L. Pettigrew (ed.), Proceedings Of The 33rd Annual Meeting Of The Human Factors Society (Human Factors Society, Santa Monica) 1044-1048.
20. Malone, T.B., 1990, Human factors and human error. In N. C. Goodwin (ed.), Proceedings Of The 34th Annual Meeting Of the Human Factors Society (Human Factors Society, Santa Monica) 651-654.
21. MINISTRY OF DEFENCE, 1991, Requirements for the Procurement of Safety Critical Software (MOD DEF-STAN 00-55, London).
22. NATIONAL AERONAUTIC and SPACE ADMINISTRATION, 1989, Advanced Orbiting Systems-Architectural Specification For The CCSDS Secretariat (Washington).
23. NORMAN, D. A., 1990, The ‘problem’ with automation: Inappropriate feedback and interaction not ‘over-automation’. In D. E. Broadbent, J. Reason and A. Baddeley (eds), Human Factors In Hazardous Situations (Clarendon, Oxford) 137-145.
24. Seminara, J. L., Gonzalez, W. R. and Parsons, S. O., 1977, Human factors review of nuclear power plant control room design, Technical Report RI-NP-1977-309 (Electronic Power Research Institute and Lockheed Missiles And Space Company, Palo Alto).
25. Siu, N. and Acosta, C., 1991, Dynamic event tree analysis-an application of SGTR. In G. Apostolakis (ed.), Probabilistic Safety Assessment and Management (Elsevier, London) 1, 413-418.
26. Sufrin, B. and He, J., 1990, Specification, refinement and analysis of interactive processes. In M. D. Harrison and H. W. Thimbleby (eds), Formal methods in Human Computer Interaction (Cambridge University Press, Cambridge) 153-200.
27. Took, R., 1991, Integrating inheritance and composition in an objective presentation model for multiple media. In F. H. Post and W. Barth (eds), EUROGRAPHICS 91 (Elsevier Science, North Holland), 291-303.
28. Wickens, C. D., 1984, Engineering Psychology And Human Performance, Merrill, London.
29. Willioes, R. C., Williges, B. H. and Elkerton, J., 1987, Software Interface Design. In G. Salvendy (ed.), The Handbook of Human Factors (Wiley, New York) 1416-1449.