Skip to main content
SpringerLink
Log in

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces

  • Chapter
Model-Driven Development of Advanced User Interfaces

Part of the book series: Studies in Computational Intelligence ((SCI,volume 340))

  • 795 Accesses

Abstract

Due to the omnipresence of multitasking features in modern working environments, interruptions become commonplace as users must temporarily suspend a task to complete unexpected intervening activities. Interruptions are unpredictable and cannot be usually disregarded by users. They are quite often associated with negative effects (e.g. resuming to task after interruptions is difficult and is time consuming) but also with positive ones (e.g. alert systems shift our attention to matters that require immediate care to perform adequately a monitoring task). As users are facing more and more sources of information competing for attention, it is important to understand how interruptions affect user abilities to complete tasks. Despite multitasking environments are not new, interruptions are rarely considered explicitly in the design phases of interactive systems. In this chapter, we present how to integrate system models, task models and interruption models within a Model-Driven Approach (MDA). We show how formal descriptions of system and tasks can be used for simulation purposes while assessing system performance and how such simulations can be exploited to understand the consequences of interruptions on users’ work. These aspects are illustrated by a case study demonstrating that these simulations can support the assessment of various interaction techniques according to interruption rates. An application of such concepts is also presented in the case of dynamic reconfiguration of the user interface (after hardware or software failures for instance).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Accot, J., Zhai, S.: Beyond Fitts’ law: models for trajectory-based HCI tasks. In: Proc. of ACM CHI 1997, pp. 295–302 (1997)

    Google Scholar 

  2. Altmann, E.M., Trafton, J.G.: Memory for goals: An activation-based model. Cognitive Science 26(1), 39–83 (2002)

    Article  Google Scholar 

  3. Altmann, E.M., Trafton, J.G.: Timecourse of Recovery from Task Interruption: Data and a Model. Psychonomics Bulletin and Review 14(6), 1079–1084 (2007)

    Article  Google Scholar 

  4. Bailey, B.P., Konstan, J.A., Carlis, J.V.: Measuring the effects of interruptions on task performance in the user interface. In: IEEE International Conference on Systems, Man, and Cybernetics 2000, vol. 2, pp. 757–762 (2000)

    Google Scholar 

  5. Bailey, B.P., Konstan, J.A., Carlis, J.V.: The effects of interruptions on task performance, annoyance, and anxiety in the user interface. In: Proceedings of INTERACT 2001, pp. 593–601. IOS Press, Amsterdam (2001)

    Google Scholar 

  6. Barboni, E., Ladry, J., Navarre, D., Palanque, P., Winckler, M.: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive Computing Systems. EICS 2010, pp. 165–174. ACM, New York (2010)

    Chapter  Google Scholar 

  7. Barnard, P.J., Teasdale, J.D.: Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change. Cognition and Emotion 5, 1–39 (1991)

    Google Scholar 

  8. Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: ICMI 2004 - Sixth International Conference on Multimodal Interfaces, pp. 243–250. ACM Press, New York (2004)

    Chapter  Google Scholar 

  9. Bastide, R., Palanque, P., Le, D., Munoz, J.: Integrating rendering specifications into a formalism for the design of interactive systems. In: DSV-IS 1998. Springer, Heidelberg (1998)

    Google Scholar 

  10. Bastide, R., Navarre, D., Palanque, P.: A model-based tool for interactive prototyping of highly interactive applications. In: CHI 2002 Extended Abstracts on Human Factors in Computing Systems, pp. 516–517 (2002)

    Google Scholar 

  11. ter Beek, M., Faconti, G., Massink, M., Palanque, P., Winckler, M.: Resilience of interaction techniques to interrupts - A formal model-based approach. In: Gross, T., Gulliksen, J., Kotzé, P., Oestreicher, L., Palanque, P., Prates, R.O., Winckler, M. (eds.) INTERACT 2009. LNCS, vol. 5726, pp. 456–472. Springer, Heidelberg (2009)

    Google Scholar 

  12. Bourgeois, F., Guiard, Y., Beaudouin-Lafon, M.: Multi-scale pointing: Facilitating pan-zoom coordination. In: ACM SIGCHI Conf. on Human Factors in Computing Systems, CHI 2002, pp. 758–759. ACM Press, New York (2002)

    Google Scholar 

  13. Brixey, J.J., Walji, M., Zhang, J., Johnson, T.R., Turley, J.P.: Proc. 6th International Workshop on Enterprise Networking and Computing in Healthcare Industry. Proposing a Taxonomy and Model of Interruption, pp. 184–188 (2004)

    Google Scholar 

  14. Brudzinski, M.E., Ratwani, R.M., Trafton, J.G.: Goal and spatial memory following interruption. Paper presented at the 8th International Conference on Cognitive Modeling, Ann Arbor, MI (2007)

    Google Scholar 

  15. 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 Human Factors and Ergonomics Society 51th Annual Meeting, Santa Monica, pp. 234–238 (2007)

    Google Scholar 

  16. Caffiau, S., Girard, P., Scapin, D., Guittet, L., Sanou, L.: Assessment of object use for task modeling. In: Forbrig, P., Paternò, F. (eds.) HCSE/TAMODIA 2008. LNCS, vol. 5247, pp. 14–28. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Card, S.K., Thomas, T.P., Newell, A.: written at London, The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Mahwah (1983); ISBN 0898592437

    Google Scholar 

  18. Cervantes, H., Hall, R.S.: Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. In: Proceedings of the 26th International Conference on Software Engineering, May 23 - 28, pp. 614–623. IEEE Computer Society, Washington (2004)

    Chapter  Google Scholar 

  19. Chisholm, C.D., Collison, E.K., Nelson, D.R., Cordell, W.H.: Emergency department workplace interruptions: Are emergency physicians “interrupt-driven” and “multitasking”? Academic Emergency Medicine 7, 1239–1243 (2000)

    Article  Google Scholar 

  20. Czerwinski, M., Cutrell, E., Horvitz, E.: Instant Messaging and Interruption: Influence of Task Type on Performance. In: Paris, C., Ozkan, N., Howard, S., Lu, S. (eds.) OZCHI 2000 Conference Proceedings, Sydney, Australia, December 4-8, pp. 356–361 (2000)

    Google Scholar 

  21. Czerwinski, M., Horvitz, E., Wilhite, S.: A diary study of task switching and interruptions. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems CHI 2004, Vienna, Austria, April 24-29, pp. 175–182. ACM, New York (2004)

    Google Scholar 

  22. Diaper, D., Stanton, N.A. (eds.): The Handbook of Task Analysis for Human-Computer Interaction, 650 p. Lawrence Erlbaum Associates, Mahwah (2004)

    Google Scholar 

  23. Diez, M., Boehm-Davis, D.A., Holt, R.W.: Model-based predictions of interrupted checklists. In: Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society, pp. 250–254. Human Factors and Ergonomics Society, Santa Monica (2002)

    Google Scholar 

  24. Dix, A., Ramduny-Ellis, D., Wilkinson, J.T.: Analysis: understanding broken tasks. In: Diaper, D., Stanton, N. (eds.) The Handbook of Task Analysis for Human Computer Interaction, Lawrence Erlbaum Associates, Mahwah (2004)

    Google Scholar 

  25. Fitts, P.M.: The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. Journal of Experimental Psychology 47, 381–391 (1954)

    Article  Google Scholar 

  26. Gillie, T., Broadbent, D.: What makes interruptions disruptive? A study of length, similarity and complexity. Psychological Research 50(4), 243–250 (1989)

    Article  Google Scholar 

  27. Hix, D., Rex Harston, H.: Developing User Interfaces: ensuring usability through product and process. Wiley, Chichester (1993); 978-0-471-57813-0

    MATH  Google Scholar 

  28. Horvitz, E., Apacible, J.: Learning and reasoning about interruption. In: Proceedings of the 5th International Conference on Multimodal Interfaces, ICMI 2003, November 5-7, pp. 20–27. ACM, New York (2003)

    Chapter  Google Scholar 

  29. Jambon, F.: Formal modelling of task interruptions. In: Human Factors in Computing Systems: Proceedings of CHI 1996, Conference Companion, pp. 45–46. ACM Press, New York (1996)

    Chapter  Google Scholar 

  30. Iqbal, S.T., Bailey, B.P.: Effects of intelligent notification management on users and their tasks. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, April 5-10, pp. 93–102. ACM Press, New York (2008), http://doi.acm.org/10.1145/1357054.1357070

    Chapter  Google Scholar 

  31. Kapoor, A., Horvitz, E.: Experience sampling for building predictive user models: a comparative study. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, pp. 657–666. ACM Press, New York (2008), http://doi.acm.org/10.1145/1357054.1357159

    Chapter  Google Scholar 

  32. McCrickard, D.S., Chewar, C.M.: Attuning notification design to user goals and attention costs. Communications of ACM 46(3), 67–72 (2003)

    Article  Google Scholar 

  33. 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)

    Article  Google Scholar 

  34. McFarlane, D.C.: Comparison of four primary methods for coordinating the interruption of people in human-computer interaction. Human-Computer Interaction 17, 63–139 (2002)

    Article  Google Scholar 

  35. McFarlane, D.C.: Coordinating the interruption of people in human-computer interaction. In: Sasse, A., Johnson, C. (eds.) Proceedings of Human-Computer Interaction, INTERACT 1999, pp. 295–303. IOS Press, Amsterdam (1999)

    Google Scholar 

  36. McFarlane, D.C.: Interruption of People in Human-Computer Interaction: A General Unifying Definition of Human Interruption and Taxonomy (NRL Formal Report NRL/FR/5510-97-9870), US Naval Research Laboratory, Washington (1997)

    Google Scholar 

  37. Mark, G., Gudith, D., Klocke, U.: The cost of interrupted work: more speed and stress. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 05-10, pp. 107–110. ACM, New York (2008), doi= http://doi.acm.org/10.1145/1357054.1357072

    Chapter  Google Scholar 

  38. Monk, C., Boehm-Davis, D., Trafton, J.G.: Recovering from interruptions: Implications for driver distraction research. Human Factors 46, 650–663 (2004)

    Article  Google Scholar 

  39. Morris, D., Brush, A.B., Meyers, B.R.: SuperBreak: using interactivity to enhance ergonomic typing breaks. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems. CHI 2008, pp. 1817–1826. ACM, New York (2008)

    Chapter  Google Scholar 

  40. Navarre, D., Palanque, P., Barboni, E., Mistrzyk, T.: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. In: Winckler, M., Johnson, H. (eds.) TAMODIA 2007. LNCS, vol. 4849, pp. 140–154. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  41. National Transportation Safety Board (1968). Aircraft accident report: Pan American World Airways, Inc., Boeing 707-321C, N799PA, Elmendorf Air Force Base, Anchorage, Alaska, December 26 (NTSB/AAR-69/08). Washington, DC (1969)

    Google Scholar 

  42. National Transportation Safety Board (1987). Aircraft accident report: Northwest Airlines, Inc.,McDonnell Douglas DC-9-82, N312RC, Detroit Metropolitan Wayne County Airport, Romulus,Michigan, August 16 (NTSB/AAR-88/05).Washington, DC (1988)

    Google Scholar 

  43. Navarre, D., Palanque, P., Bastide, R., Paternó, F., Santoro, C.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, p. 88. Springer, Heidelberg (2001)

    Google Scholar 

  44. Navarre, D., Palanque, P., Basnyat, S.: Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 373–386. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  45. Navarre, D., Palanque, P., Ladry, J., Barboni, E.: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM TOCHI 16(4), 1–56 (2009)

    Article  Google Scholar 

  46. Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Paternó, F. (ed.) DSV-IS 2000. LNCS, vol. 1946, p. 97. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  47. Navarre, D., Palanque, P., Bastide, R.: Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. In: HCI-Aero 2002. MIT, USA (2002)

    Google Scholar 

  48. O’Conaill, B., Frohlich, D.: Timespace in the workplace: Dealing with interruptions. In: Human Factors in Computing Systems, CHI 1995, pp. 262–263. ACM Press, New York (1995)

    Chapter  Google Scholar 

  49. Oulasvirta, A., Saariluoma, P.: Surviving task interruptions: Investigating the implications of long-term working memory theory. Int. J. Hum.-Comput. Stud. 64(10), 941–961 (2006)

    Article  Google Scholar 

  50. Palanque, P., Bastide, R., Sengès, V.: Validating Interactive System Design Through the Verification of Formal Task and System Models. In: Proc. of EHCI 1995, Garn Targhee Resort, Wyoming, USA, August 14-18. Chapman et Hall, Boca Raton (1995)

    Google Scholar 

  51. Palanque, P., 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: Ninth International Conference on Space Operations, Rome, Italy, June 18-22 (2006)

    Google Scholar 

  52. Palanque, P., Ladry, J.-F., Navarre, D., Barboni, E.: High-Fidelity Prototyping of Interactive Systems can be Formal too. In: Schaefer, R., Cotta, C., Kołodziej, J., Rudolph, G. (eds.) PPSN XI. LNCS, vol. 6239, pp. 145–156. Springer, Heidelberg (2010)

    Google Scholar 

  53. Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of Interact 1997, pp. 362–369. Chapman & Hall, Boca Raton (1997)

    Google Scholar 

  54. Pinheiro da Silva, P.: User Interface declarative models and Development environments: A survey. In: Paternó, F. (ed.) DSV-IS 2000. LNCS, vol. 1946, pp. 207–226. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  55. Ratwani, R.M., McCurry, J.M., Trafton, J.G.: Predicting post completion errors using eye movements. In: Computer Human Interaction, CHI 2008 (2008)

    Google Scholar 

  56. Trafton, J.G., Monk, C.A.: Task Interruptions. Reviews of Human Factors and Ergonomics 3, 111–126 (2007)

    Article  Google Scholar 

  57. Trafton, J.G., Altmann, E.M., Brock, D.P., Mintz, F.E.: Preparing to resume an interrupted task: Effects of prospective goal encoding and retrospective rehearsal. International Journal of Human-Computer Studies 58(5), 583–603 (2003)

    Article  Google Scholar 

  58. Tsukada, K., Okada, K., Matsushita, Y.A.: Cooperative Support System Based on Multiplicity of Task. IFIP Congress (2), 69–74 (1994)

    Google Scholar 

  59. Rukab, J.A., Johnson-Throop, K.A., Malin, J., Zhang, J.: A Framework of Interruptions in Distributed Team Environments. Journal on Studies in Health Technology and Informatics, Part 2 107, 1282–1286 (2005)

    Google Scholar 

  60. Silberschatz, A., Galvin, P., Gagne, G.: Operating Systems Concepts. John Wiley & Sons, Chichester (2008); ISBN 0-470-12872-0

    Google Scholar 

  61. Speier, C., Vessey, I., Valacich, J.S.: The effects of interruptions, task complexity, and information presentation on computer-supported decision-making performance. Decision Sciences 34(4), 771–797 (2003)

    Article  Google Scholar 

  62. Su, N.M., Mark, G.: Communication chains and multitasking. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, pp. 83–92. ACM, New York (2008)

    Chapter  Google Scholar 

  63. Tucker, A.L., Spear, S.J.: Operational failures and interruptions in hospital nursing. Health Services Research 41, 643–662 (2006)

    Article  Google Scholar 

  64. Walji, M., Brixey, J., Johnson-Throop, K., Zhang, J.: A theoretical framework to understand and engineer persuasive interruptions. In: Proceedings of 26th Annual Meeting of the Cognitive Science Society, CogSci 2004 (2004)

    Google Scholar 

  65. 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(26) (Summer 2007)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICS-IRIT, Université Paul Sabatier Toulouse 3, 118, route de Narbonne, 31062, Toulouse Cedex, France

    Philippe Palanque, Marco Winckler & Célia Martinie

Authors
  1. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Winckler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Célia Martinie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehr- und Forschungseinheit, Ludwig-Maximilians-UniversitätMünchen, Medieninformatik Amalienstr. 17, 80333, München, Germany

    Heinrich Hussmann

  2. Deutsches Forschungszentrum für, Künstliche Intelligenz (DFKI) Innovative Fabriksysteme (IFS), Trippstadter Str. 122, 67663, Kaiserslautern, Germany

    Gerrit Meixner  & Detlef Zuehlke  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Palanque, P., Winckler, M., Martinie, C. (2011). A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. In: Hussmann, H., Meixner, G., Zuehlke, D. (eds) Model-Driven Development of Advanced User Interfaces. Studies in Computational Intelligence, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14562-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14562-9_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14561-2

  • Online ISBN: 978-3-642-14562-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation