Timespace in the workplace: dealing with interruptions
CHI '95 Conference Companion on Human Factors in Computing Systems
Formal modelling of task interruptions
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
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of 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
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
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
An approach to formal verification of human–computer interaction
Formal Aspects of Computing
Effects of intelligent notification management on users and their tasks
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
SuperBreak: using interactivity to enhance ergonomic typing breaks
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Modeling animations for dependable interactive applications
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.01 |
This paper presents an approach for investigating in a predictive way 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 activities constrained by the occurrence of interruptions. The approach uses formal description techniques to provide a precise description of user tasks, and both system and interruptions behavior. The detailed mechanism by which systems and interruptions behave is first described 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 and analyze different interaction techniques. In particular, it allows us to determine which of the system states are most affected by the occurrence of interruptions. Once composed together, models describing the system, user tasks and interruptions behavior are transformed into PEPA models (i.e. Performance Evaluation Process Algebra) that are amenable to performance analysis using the PRISM model checker. The approach is exemplified by a simple example that models two interaction techniques for manipulating icons in a desktop environment.