Towards a general theory of action and time
Artificial Intelligence
A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs
Executing temporal logic programs
Executing temporal logic programs
A logic-based calculus of events
New Generation Computing
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
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
Temporal logics and their applications
Toward empirically derived methodologies and tools for human-computer interface development
International Journal of Man-Machine Studies
The UAN: a user-oriented representation for direct manipulation interface designs
ACM Transactions on Information Systems (TOIS)
Toward more compatible human-computer interfaces
IEEE Spectrum
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
Creating dynamic interaction techniques by demonstration
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
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
Maintaining knowledge about temporal intervals
Communications of the ACM
The keystroke-level model for user performance time with interactive systems
Communications of the ACM
User Centered System Design; New Perspectives on Human-Computer Interaction
User Centered System Design; New Perspectives on Human-Computer Interaction
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
SYNGRAPH: A graphical user interface generator
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Lexical and pragmatic considerations of input structures
ACM SIGGRAPH Computer Graphics
Formal Grammar and Human Factors Design of an Interactive Graphics System
IEEE Transactions on Software Engineering
Including time in the notion of interactor
ACM SIGCHI Bulletin
The Problem of Time Scales in Computer Visualization
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Temporal Patterns for Complex Interaction Design
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System
Engineering Interactive Systems
More precise descriptions of temporal relations within task models
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A model-based approach to develop interactive system using IMML
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Comprehensive task and dialog modelling
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Structuring and composition mechanisms to address scalability issues in task models
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Advances in Engineering Software
Journal of Systems and Software
Hi-index | 0.00 |
The need for communication among a multiplicity of cooperating roles in user interface development translates into the need for a common set of interface design representation techniques. The important difference between design of the interaction part of the interface and design of the interface software calls for representation techniques with a behavioral view - a view that focuses on user interaction rather than on the software. The User Action Notation (UAN) is a user- and task-oriented notation that describes physical (and other) behavior of the user and interface as they perform a task together. The primary abstraction of the UAN is a user task. The work reported here addresses the need to identify temporal relationships within user task descriptions and to express explicitly and precisely how designers view temporal relationships among those tasks. Drawing on simple temporal concepts such as events in time and preceding and overlapping of time intervals, we identify basic temporal relationships among tasks: sequence, waiting, repeated disjunction, order independence, interruptibility, one-way interleavability, mutual interleavability, and concurrency. The UAN temporal relations, through the notion of modal logic, offer an explicit and precise representation of the specific kinds of temporal behavior that can occur in asynchronous user interaction without the need to detail all cases that might result.