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
- 1 March 1996
- journal article
- research article
- Published by Taylor & Francis in Ergonomics
- Vol. 39 (3) , 512-530
- https://doi.org/10.1080/00140139608964477
Abstract
A range of techniques have been developed to improve the integration of computer systems into complex working environments. For instance, computer aided design tools can be used to simulate operators' posture at a particular workstation. Fitting studies can then be used to validate potential layouts. Unfortunately, few of these techniques can also be used to support the development of interactive dialogues. This is a critical problem for systems where designers must distribute application data amongst a number of different presentation devices. The position of these displays can be used to reflect the salience and priority of information. This paper presents techniques that support both user interface development and workstation layout. First order logic can be used to represent and reason about constraints on the design of human computer dialogues. The same formalism can also be used to identify appropriate locations for presentation devices within their working context; control rooms and offices. The findings of ergonomic studies can then be applied to analyze the mental and physical demands imposed by the interactive dialogues that are supported by particular devices. Unfortunately, formal specifications provide little impression of what it would be like to interact with a system within a particular environment. We have developed simulation tools to address this problem. Prototype displays can be presented within three dimensional models of their working context. The resulting simulations are directly derived from formal specifications and can be shown to members of concurrent design teams. They also provide a medium for communication with potential operators.Keywords
This publication has 7 references indexed in Scilit:
- The Economics of Interface DevelopmentPublished by Springer Nature ,1995
- A probabilistic logic for the development of safety-critical, interactive systemsInternational Journal of Man-Machine Studies, 1993
- Using temporal logic to support the specification and prototyping of interactive control systemsInternational Journal of Man-Machine Studies, 1992
- The ‘problem’ with automation: inappropriate feedback and interaction, not ‘over-automation’Published by Oxford University Press (OUP) ,1990
- The relation between logic programming and logic specificationPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
- Ergonomics in intensive care Applying human factors data to the design and evaluation of patient monitoring systemsErgonomics, 1980
- Human factors review of nuclear power plant control room design. Final reportPublished by Office of Scientific and Technical Information (OSTI) ,1976