Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs

ABSTRACT

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.

REFERENCES

• 1: Accot J. & Zhai S. Beyond Fitts' law: models for trajectory-based HCI tasks. In Proc. of ACM CHI'97, 1997, pp. 295--302
• 2: Ajmone Marsan, M.; Balbo, G.; Conte, C.; Donatelli, Susanna, & Franceschinis, G. Modelling with generalized stochastic Petri nets. Wiley; 1995.
• 3: Altmann, E. M., Trafton, J. G. Timecourse of Recovery from Task Interruption: Data and a Model. Psychonomics Bulletin and Review 14(6).
• 4: Bailey, B. P. Konstan, J. A. & Carlis, J. V. Measuring the effects of interruptions on task performance in the user interface. In Proc. of the IEEE International Conference on Systems, Man, and Cybernetics 2000. Nashville, USA. Vol. 2, pp. 757--762.
• 5: Bernhaupt R., Navarre D., Palanque P. & Winckler M. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Maturing Usability: Quality in Software, Interaction and Value, Springer HCI series.
• 6: Bourgeois, F., Guiard, Y., & Beaudouin-Lafon, M. Multi-scale pointing: Facilitating pan-zoom coordination. In Proc. ACM CHI'02, pp. 758--759.
• 7: 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 Proc. of the 51st HFES Conf., Santa Monica, USA, pp. 234--238
• 8: Card, S. K.; T. P. Thomas & A. Newell, written at London, The Psychology of Human-Computer Interaction, Lawrence Erbaum Associates.
• 9: Card, S K.; Moran, Thomas P., & Newell, Allen. The Model Human Processor: An Engineering Model of Human Performance. Handbook of Perception and Human Performance; 1986: pp. 1--35.
• 10: Czerwinski, M., Cutrell, E. & Horvitz, E. Instant Messaging and Interruption: Influence of Task Type on Performance, OZCHI'2000, Sydney, Australia.
• 11: Czerwinski, M., Horvitz, E., & Wilhite, S. A diary study of task switching and interruptions. In Proc. ACM CHI'04, Vienna, Austria, 2004, pp. 175--182.
• 12: Diaper, D. & Stanton, N. A. (eds.) The Handbook of Task Analysis for Human-Computer Interaction. Lawrence Erlbaum Associates, 2004. 650 pgs
• 13: Diez M., Boehm-Davis D. A. & Holt R. W. Modelbased predictions of interrupted checklists, In Proc. of the 46th HFES Conf. Santa Monica, USA.
• 14: Fitts, P. M.: The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. J. of Experimental Psychology, N. 47.
• 15: Gillie T. & Broadbent D. What makes interruptions disruptive? A study of length, similarity and complexity, Psychological Research, 50 (4).
• 16: Hopp, P. J, Smith, C. A. P. & Clegg, B. A., Heggestad, E. D. Interruption Management: The Use of Attention-Directing Tactile Cues. Human Factors, Vol. 47, No. 1, 2005, pp. 1--11.
• 17: Horvitz, E. & Apacible, J. 2003. Learning and reasoning about interruption. In Proc. of ACM IC-MI'03, Vancouver, Canada, 2003, pp. 20--27.
• 18: Iqbal, S. T. & Horvitz, E. Disruption and Recovery of Computing Tasks: Field Study, Analysis, and Directions. In ACM CHI'07. San Jose, USA, 2007.
• 19: Iqbal, S. T. & Bailey, B. P. 2008. Effects of intelligent notification management on users and their tasks. In Proc. of ACM CHI '08. pp. 93--102.
• 20: Jambon F. Erreurs et interruptions du point de vue de l'ingénierie de l'interaction homme-machine. Thèse de Doctorat, Univ. Joseph Fourier, 1996.
• 21: Lacaze, X., Philippe, P., Navarre, D. & Bastide, R. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. In Proc. DSV-IS'02, University of Rostock, 2002.
• 22: Lamport L. proving correctness of multiprocess programs. IEEE TSE, Vol 3 n°2, 125--143, 1977.
• 23: McCrickard D. S. & Chewar C. M. Attuning notification design to user goals and attention costs, Communications of ACM, 46 (3), 67--72.
• 24: McFarlane D. C. Coordinating the interruption of people in human-computer interaction. In INTER-ACT'99, Amsterdam, The Netherlands: IOS Press.
• 25: McFarlane D. C., Latorella K. A. The scope and importance of human interruption in human-computer interaction design. Human-Computer Interaction 17.
• 26: Navarre, D., Palanque, P., Barboni, E., Mistrzyk, T. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design (TA-MODIA'07), Toulouse, France, Springer-Verlag.
• 27: Navarre, D., Palanque, P. & Basnyat, S., (2008) Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. In Proc. of the SAFE-COMP'08, Springer LNCS 5219, pp. 373--386.
• 28: Navarre, D., Palanque, P., Bastide, R., Paternò, F., Santoro, C. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001, Glasgow, Scotland, Springer, lncs 2220, june 2001.
• 29: Navarre, D., Palanque, P., Bastide, R. & Sy, O. (2001). A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. in 12th IEEE, International Workshop on Rapid System Prototyping, Monterey (USA), IEEE Press 2001
• 30: O'Conaill B. & Frohlich D. (1995) Timespace in the workplace: Dealing with interruptions, in: Human Factors in Computing Systems: CHI'95 Companion, New York: ACM Press, 262--263
• 31: Oulasvirta, A. & Saariluoma, P. 2006. Surviving task interruptions: Investigating the implications of long-term working memory theory. Journal of Human Computer Studies. 64, 10 (Oct. 2006), 941--1961.
• 32: Palanque P. & Bastide R. Verification of an Interactive Software by analysis of its formal specification. In Proc. of IFITP TC13 INTERACT'95, Lillehammer, Norway, 27--29 June 1995, p. 191--197.
• 33: Palanque, P., Bastide, R. Synergistic modelling of tasks, system and users using formal specification techniques. Interacting With Computers, Academic Press, 9, 12, pp. 129--153
• 34: Paterno, F., Mancini, C. & Meniconi, S. Concur-TaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of INTERACT'97. Chapman & Hall (1997), 362--369.
• 35: Speier C., Vessey I. & Valacich J. S. (2003) The effects of interruptions, task complexity, and information presentation on computer-supported decision-making performance, Decision Sciences, 34 (4).
• 36: ter Beek M. H., Faconti G. P., Massink M., Palanque P., Winckler M. Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. INTERACT'09. Uppsala, Sweeden.
• 37: Trafton, J. G., & Monk, C. A. (2007). Task Interruptions. Reviews of Human Factors and Ergonomics 3.
• 38: Waszniowski, L., Hanzálek, Z. (2008) Formal verification of multitasking applications based on timed automata model. Real-Time Syst. Vol. 38: 39--65.
• 39: West, R. L., Nagy, G. (2007) Using GOMS for Modeling Routine Tasks Within Complex Sociotechnical Systems: Connecting Macrocognitive Models to Microcognition. J. of Cog. Engineering and Decision Making, Vol. 1, n°2, pp. 186--211.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.m Miscellaneous

General Terms:
Documentation

Keywords:
formal description techniques, interruptions, model-based approaches, performance evaluation