Abstract.
There is considerable interest within the Human Computer Interaction (HCI) community in the use of media spaces to enhance awareness and interaction between workers in offices or other spatially distributed environments. In addition to the technical challenges of providing reliable and efficient audio-visual communication, there are important social questions, in particular how users are able to control access to their personal environments, and how to advise other users about their level of availability. Within AMODEUS-21, an ESPRIT Basic Research Action concerned with the development, transfer and assessment of techniques for modelling human-computer interaction, a prototype media space has been analysed by various user and system oriented modelling techniques. This paper describes how formal specification can be used to express requirements on the interfaces needed to control access and availability in a media space. Beyond its obvious use in clarifying the subtle relationship between these concerns, the paper describes how the specification assists in assessing design options originating from other modelling disciplines.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Additional information
Received August 1996 / Accepted in revised form April 1999
Rights and permissions
About this article
Cite this article
Duke, D., Fields, B. & Harrison, M. A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects of Computing 11, 107–131 (1999). https://doi.org/10.1007/s001650050044
Issue Date:
DOI: https://doi.org/10.1007/s001650050044