The Rendezvous constraint maintenance system
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Human-computer interaction
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Exploring the design space for notification servers
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Closing the loop: modelling action, perception and information
AVI '96 Proceedings of the workshop on Advanced visual interfaces
XSED --- XML-Based Description of Status---Event Components and Systems
Engineering Interactive Systems
Specifying multiple time granularities in interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Asynchronous active values for client-side interactive service coordination
Proceedings of the International Working Conference on Advanced Visual Interfaces
| Hi-index | 0.00 |
The paper describes how the identification of 'status-status mappings' early in the specification and design of an interactive system can highlight potential temporal problems in the interface. These problems arise because without infinitely fast computation and communication, any constraints between status in the interface are bound to be violated some of the time. This violation will at best be a slight lag between the source of a change and its display and at worst may lead to inconsistency between parts of the interface. We identify the ways in which status-status mappings are violated and the way in which they are mediated by events in the implementation of a system. This enables the designer to control the eventual behaviour of the system and avoid the worst pitfalls.