Timespace in the workplace: dealing with interruptions
CHI '95 Conference Companion on Human Factors in Computing Systems
Beyond Fitts' law: models for trajectory-based HCI tasks
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
Multiscale pointing: facilitating pan-zoom coordination
CHI '02 Extended Abstracts on Human Factors in Computing Systems
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Attuning notification design to user goals and attention costs
Communications of the ACM
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Learning and reasoning about interruption
Proceedings of the 5th international conference on Multimodal interfaces
A diary study of task switching and interruptions
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Surviving task interruptions: Investigating the implications of long-term working memory theory
International Journal of Human-Computer Studies
Disruption and recovery of computing tasks: field study, analysis, and directions
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Effects of intelligent notification management on users and their tasks
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The scope and importance of human interruption in human-computer interaction design
Human-Computer Interaction
On the benefit of synergistic model-based approach forsafety critical interactive system testing
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Hi-index | 0.00 |
This paper presents an approach for investigating potential disruptive effects of interruptions on task performance in a multitasking environment. The approach combines previous work in the field of interruption analysis, formal description techniques for interactive systems and stochastic processes to support performance analysis of user tasks constrained by the occurrence of interruptions in the working environment. The approach uses formal description techniques to provide a comprehensive description of user tasks, system and interruption behaviour. The detailed mechanism by which systems and interruptions behave is presented using a Petri nets-based formal description technique called Interactive Cooperative Objects (ICO). The use of a formal modeling technique for the description of these three components makes it possible to compare, analyze and integrate them. In particular, it allows us to determine which of the system states are actually affected by the occurrence of interruptions. The approach is exemplified by a case study that implements two interaction techniques for manipulating icons in a desktop environment.