The 1984 Olympic Message System: a test of behavioral principles of system design
Communications of the ACM
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
Implications of current design practice for the use of HCI techniques
Proceedings of the Fourth Conference of the British Computer Society on People and computers IV
Interface usage measurements in a user interface management system
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Formal methods in human-computer interaction
Formal methods in human-computer interaction
Propositional production systems for dialog description
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
UIDE—an intelligent user interface design environment
Intelligent user interfaces
Discount dialogue modelling with action simulator
HCI '94 Proceedings of the conference on People and computers IX
Summarising task analysis for task-based design
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Event-response systems: a technique for specifying multi-threaded dialogues
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
User Interface Management Systems: Models and Algorithms
User Interface Management Systems: Models and Algorithms
Towards specifying and evaluating the human factors of user-computer interfaces
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Automated verification of temporal dialogue properties
ACM SIGCHI Bulletin
Hi-index | 0.00 |
The specification of a graphical user interface (GUI), like any other part of a computer system, is an incremental process whereby an outline of the system is systematically developed, evaluated, and revised until it is reasonably complete. This article describes some algorithms and procedures that can be used to automate the analysis of a specification to facilitate this iterative process. A propositional production system (PPS) is a notation that can be used by designers to describe the high-level behavior of a GUI. Such a description is executable and relatively easy to learn and use. PPSs are a form of state machine; therefore, much of the theory of state machines can be applied to their analysis. PPSs, however, provide the advantage of semiparallel definitions of state transitions. This is important, as dialogue models of modern GUIs allow a large number of simultaneously available inputs leading to very large state spaces. By dealing in sets of states, a PPS makes the problem of describing the potentially exponential number of state transitions tractable. This article discusses how this innovation can lead to efficient algorithms for analyzing a dialogue model for properties such as task completeness, reversibility of effect, accessibility, connectedness, and avoidance of deadlock.