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

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.