PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Palanque P., Winckler M., Ladry J., Ter Beek M. H., Faconti G., Massink M. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. In: EICS'09 - 1st ACM SIGCHI symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA, 15-17 July 2009). Proceedings, pp. 211 - 220. Gaëlle Calvary, T. C. Nicholas Graham, Philip Gray (eds.). ACM, 2009.
 
 
Abstract
(English)
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.
URL: http://portal.acm.org/toc.cfm?id=1570433&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=46675007&CFTOKEN=54229554
DOI: http://doi.acm.org/10.1145/1570433.1570473
Subject Model-based approaches
Formal description techniques
Interruptions
Performance evaluation
H.5.2 User Interfaces. Evaluation/methodology
H.5.2 User Interfaces. Interaction styles (e.g. commands, menus, forms, direct manipulation)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional