Resilience of interaction techniques to interrupts: A formal model-based approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5726 LNCS, Issue PART 1, 2009, Pages 494-509

  Ter Beek, Maurice H ^a   Faconti, Giorgio P ^a   Massink, Mieke ^a   Palanque, Philippe A ^b   Winckler, Marco ^b  

^a ISTI CNR   (Italy)

^b IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE THEORY; DISRUPTIVE EFFECTS; EMPIRICAL DATA; EMPIRICAL STUDIES; FORMAL MODEL; INTERACTION TECHNIQUES; MODEL-BASED; STOCHASTIC MODELLING; WORKING ENVIRONMENT; MODEL BASED TECHNIQUES; SOURCES OF INFORMATIONS;

KNOWLEDGE MANAGEMENT; MODEL CHECKING; STOCHASTIC MODELS; DROPS; STOCHASTIC SYSTEMS;

HUMAN COMPUTER INTERACTION;

EID: 70350579083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03655-2_56     Document Type: Conference Paper

References (24)

1. Bailey, B.P., Konstan, J.A., Carlis, J.V.: Measuring the effects of interruptions on task performance in the user interface. In: Proceedings SMC 2000, pp. 757-762. IEEE, Los Alamitos (2000)
2. Barnard, P.J.: Interacting Cognitive Subsystems: A Psycholinguistic Approach to Short-term Memory. In: Ellis, A. (ed.) Progress in the Psychology of Language, ch. 6, vol. 2, pp. 197-258. Lawrence Erlbaum, Mahwah (1985)
3. 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-TR-001, ISTI-CNR (2009)
4. Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.): EEF School 2000 and FMPA 2000. LNCS, vol. 2090. Springer, Heidelberg (2001)
5. Cades, D.M., Trafton, J.G., Boehm-Davis, D.A., Monk, C.A.: Does the difficulty of an interruption affect our ability to resume? In: Proceedings HFES 2007, Human Factors and Ergonomics Society, pp. 234-238 (2007)
6. Duke, D.J., Barnard, P.J., Duce, D.A., May, J.: Syndetic modelling. International Journal of Human Computer Interaction 13(4), 337-393 (1998)
7. Faconti, G.P., Duke, D.J.: Device models. In: Proceedings DSV-IS 1996, pp. 73-91. Springer, Heidelberg (1996)
8. Faconti, G., Massink, M.: Analysis of pointing tasks on a white board. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol. 4323, pp. 185-198. Springer, Heidelberg (2007)
9. Gordon, I.E.: Theories of Visual Percept. Psychology Press (2004)
10. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
11. Hollnagel, E., Woods, D.D., Leveson, N. (eds.): Resilience Engineering: Concepts and Precepts. Ashgate (2006)
12. Jambon, F.: Formal modelling of task interruptions. In: Proceedings CHI 1996, pp. 45-46. ACM, New York (1996)
13. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 52-66. Springer, Heidelberg (2002)
14. MacKenzie, I.S.: Fitts' law as a research and design tool in human-computer interaction. International Journal of Human Computer Interaction 7(1), 91-139 (1992)
15. McCrickard, D.S., Chewar, C.M.: Attuning notification design to user goals and attention costs. Communications of the ACM 46(3), 67-72 (2003)
16. McDaniel, M.A., Einstein, G.O., Graham, T., Rall, E.: Delaying execution of intentions: overcoming the costs of interruptions. Applied Cognitive Psychology 18(5), 533-547 (2004)
17. O'Conaill, B., Frohlich, D.: Timespace in the workplace: Dealing with interruptions. In: Proceedings CHI 1995, pp. 262-263. ACM, New York (1995)
18. Palanque, P.A., Bastide, R.: Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. In: Proceedings DSV-IS 1994, pp. 383-400. Springer, Heidelberg (1994)
19. Palanque, P.A., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using Petri-net based formal specification. In: Proceedings SpaceOps 2006, American Institute of Aeronautics and Astronautics (2006)
20. Paternò, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proceedings INTERACT 1997, pp. 362-369. Chapman & Hall, Boca Raton (1997)
21. Pinheiro da Silva, P.: User interface declarative models and development environments: A survey. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 207-226. Springer, Heidelberg (2001)
22. Trafton, J.G., Monk, C.A.: Task Interruptions. Reviews of Human Factors and Ergonomics 3, 111-126 (2007)
23. West, R.L., Nagy, G.: Using GOMS for Modeling Routine Tasks Within Complex Sociotechnical Systems: Connecting Macrocognitive Models to Microcognition. Journal of Cognitive Engineering and Decision Making 1(2), 186-211 (2007)
24. Zeigarnik, B.: Das behalten erledigter und unerledigter handlungen. Psychologische Forschung 9, 1-85 (1927)