Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Dbxtool: A window-based symbolic debugger for sun workstations
Software—Practice & Experience
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
ACM Transactions on Graphics (TOG)
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Specifying complex dialogs in ALGAE
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
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
The University of Alberta user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Using formal specifications in the design of a human-computer interface
Communications of the ACM
User Interface Management Systems
User Interface Management Systems
SYNGRAPH: A graphical user interface generator
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Prototyping and simulation tools for user/computer dialogue design
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Automatic generation of interactive systems
ACM SIGGRAPH Computer Graphics
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
An effective user interface requires a dialogue layer that can handle multiple threads of interaction simultaneously. We propose a notation for specifying dialogues based on context-free attributed grammars with two extensions: fork operators for specifying sub-dialogues and context attributes for dispatching tokens. The notation is useful both as a means of communicating the behavior of the dialogue layer to designers and as input to a dialogue compiler that generates program code. In this paper we explain the motivation for our work and provide practical examples of the use of fork and context. In addition, we outline algorithms for parsing and for generating parser tables.