PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Faconti G. P., Massink M., Palanque P. A., Winckler M. Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version. Technical report, 2009.
 
 
Abstract
(English)
In many modern working environments interruptions are commonplace as users must temporarily suspend their current task in order to complete an unexpected intervening activity. As users are faced with more and more sources of information competing for users' attention at any time, it is becoming increasingly important to understand how interruptions affect our abilities to complete tasks. The present work introduces a new perspective for the research in the field by employing analytical, model-based, techniques that are informed by well-established cognitive theories and experimental data available in the literature. We propose stochastic modelling and model checking to predict measures of the disruptive effects of interruptions to two well-known interaction techniques: Drag 'n Drop and Speak 'n Drop. The approach also provides a way to compare the resilience of different interaction techniques to the presence of external interruptions that users need to handle. The results obtained are in a form that allows validation with results obtained by empirical studies involving real users.
Subject Interaction Techniques
Formal Modelling
Stochastic Model Checking
Interrupts
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)


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