Pushdown automata for user interface management
ACM Transactions on Graphics (TOG)
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Creating highly-interactive and graphical user interfaces by demonstration
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
An object-oriented user interface management system
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
Formal languages
Principles of artificial intelligence
Principles of artificial intelligence
Input/output linkage in a user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The University of Alberta user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A technique for software module specification with examples
Communications of the ACM
Towards a comprehensive user interface management system
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
FLAIR - user interface dialog design tool
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A user interface management system
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Definition and use of higher-level graphics input tools
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Status report of the graphic standards planning committee
ACM SIGGRAPH Computer Graphics - Status report of the graphic standards planning committee
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The design space of input devices
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A morphological analysis of the design space of input devices
ACM Transactions on Information Systems (TOIS) - Special issue on computer—human interaction
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
A scalable formal method for design and automatic checking of user interfaces
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An architecture for flexible, evolvable process-driven user-guidance environments
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
A semantic analysis of the design space of input devices
Human-Computer Interaction
A specification language and system for the three-dimensional visualisation of knowledge bases
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
A language model is presented for the specification of User Interface Management Systems. The model, called the Abstract Interaction Tool (AIT) model, offers a tree-like hierarchy of interaction objects. Each object represents a subtree and can be considered as an abstract input device containing a syntax-like specification of the required input pattern. The hierarchy of specifications amounts to a system of syntactical productions with multiple control. Terminal nodes of the AIT tree represent the interface to the physical interaction devices. The AIT model features hierarchical output resource management. At the higher, more abstract, level the input-output is loosely coupled. At lower levels the coupling becomes increasingly tight. At the upper levels, AITs model the functions (what) required by the user, whereas at the lower levels the way to accomplish them (how) is stressed. The AIT model has modes for multithread and multiple-device user interaction. There are facilities for context-dependent prompting, echoing, feedback, error correction, and expertise levels. A special section in the AIT provides for links to application modules. As a model for general interactive systems, AITs can be applied to graphics, process control, dialogue, and real-time systems. AITs can also be used to define controlled production rules in knowledge-based systems. In addition the model can provide tools for the software engineering phases specification and prototyping.