research-article

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems

Authors:

Philippe Palanque,

Marco Winckler,

Jean-François Ladry,

Maurice H. ter Beek,

Giorgio Faconti,

Mieke MassinkAuthors Info & Claims

EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems

Pages 211 - 220

https://doi.org/10.1145/1570433.1570473

Published: 15 July 2009 Publication History

Abstract

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.

References

[1]

Accot J. and Zhai S. (1997). Beyond Fitts' law: models for trajectory-based HCI tasks. Proc. of ACM CHI 97, 295--302

Digital Library

[2]

Curzon, P., Ruksenas, R.&Blandford, A. (2007) An approach to formal verification of human-computer interaction. Formal Aspects of Computing. 513--550.

[3]

Bailey, B.P. Konstan&J.A. Carlis, J.V. (2000). Measuring the effects of interruptions on task performance in the user interface. IEEE Int. Conf. on Systems, Man, and Cybernetics 2000. Vol. 2, 757--762.

[4]

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

[5]

ter Beek M., Faconti G., Massink M., Palanque P.&Winckler M. Resilience of interaction techniques to interrupts--A formal model-based approach. In proc. of INTERACT 2009, LNCS, Springer, 456--472.

Digital Library

[6]

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

Digital Library

[7]

Cades D. M., Trafton J. G., Boehm-Davis D. A.&Monk C. A. (2007) Does the difficulty of an interruption affect our ability to resume? Proc. of the Human Factors and Ergonomics Society (HFES'07), 234--238

[8]

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

[9]

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

Digital Library

[10]

Li, S., Blandford, A., Cairns, P.&Young, R. M. (2008). The Effect of Interruptions on Post-Completion and Other Procedural Errors: An Account Based on the Activation-Based Goal Memory Model. Journal of Experimental Psychology: Applied. 14.4. 314--328.

[11]

Czerwinski, M., Horvitz, E.,&Wilhite, S. (2004). A diary study of task switching and interruptions. In Proc. of the ACM SIGCHI Conf. on Human Factors in Computing Systems CHI '04. ACM Press, 175--182.

Digital Library

[12]

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

Digital Library

[13]

Diez M., Boehm-Davis D. A.&Holt R. W. (2002) Model-based predictions of interrupted checklists, in: Proc. of the 46th M. of Human Factors and Ergonomics Society, 250--254.

[14]

M.H. ter Beek, G.P. Faconti, M. Massink, P. Palanque and M. Winckler (2009), Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach--Full Version. Technical Report 2009-TR-001, ISTI-CNR.

[15]

Fitts, Paul M. (1954): The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. In Journal of Experimental Psychology, 47 pp. 381--391.

[16]

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

[17]

Hopp, P. J, Smith, C. A. P., Clegg, B. A.&Heggestad, E.D. (2005). Interruption Management: Use of Attention-Directing Tactile Cues. Human Factors, Vol. 47, No.1, pp. 1--11.

[18]

Horvitz, E.&Apacible, J. (2003). Learning and reasoning about interruption. In Proc. of 5th Int. Conf. on Multimodal interfaces. ICMI '03. ACM Press, 20--27.

Digital Library

[19]

Iqbal, S. T.&Horvitz, E. (2007). Disruption and Recovery of Computing Tasks: Field Study, Analysis, and Directions. In Proc. of ACM CHI 2007, ACM Press, 677--688.

Digital Library

[20]

Iqbal, S. T. and Bailey, B. P. 2008. Effects of intelligent notification management on users and their tasks. In Proc. of ACM CHI '08. ACM Press, 93--102.

Digital Library

[21]

Jambon F. (1996) Formal modelling of task interruptions. In Proc. of ACM SIGCHI conf. CHI'96, Conference Companion.: ACM Press, 45--46.

Digital Library

[22]

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

Digital Library

[23]

McFarlane D. C. (1999) Coordinating the interruption of people in human-computer interaction. Proceedings of INTERACT'99, Amsterdam: IOS Press, 295--303.

[24]

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

[25]

Morris, D., Brush, A. B., and Meyers, B. R. (2008). Super-Break: using interactivity to enhance ergonomic typing breaks. In Proc. ACM SIGCHI Conf. on Human Factors in Computing Systems. CHI '08. ACM, Press, 1817--1826.

Digital Library

[26]

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

[27]

Navarre, D., Palanque, P.&Basnyat, S., (2008) Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. The 27th Int. Conference on Computer Safety, Reliability and Security (Safecomp 2008), Springer LNCS 5219, pp. 373--386.

Digital Library

[28]

O'Conaill B.&Frohlich D. (1995) Timespace in the workplace: Dealing with interruptions, in: Human Factors in Comp. Systems: CHI'95 Companion, ACM Press, 262--263

Digital Library

[29]

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

Digital Library

[30]

Peterson J. (1981), Petri Net Theory and the Modeling of Systems, Prentice Hall.

Digital Library

[31]

Palanque P.&Bastide R. (1995). Verification of an Interactive Software by analysis of its formal specification. Proc. of the IFIP TC 13 Interact'95, p. 191--197.

[32]

Palanque, P., Bastide, R. (1997). Synergistic modeling of tasks, system and users using formal specification techniques. Interacting With Computers, Academic Press, 9, 12, 129--153

[33]

Paterno, F., Mancini, C.&Meniconi, S. (1997). Concur-TaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of Interact'97. Chapman&Hall, 362--369.

Digital Library

[34]

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), 771--797.

[35]

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

[36]

West, R. L., Nagy, G. (2007) Using GOMS for Modeling Routine Tasks Within Complex Sociotechnical Systems: Connecting Macrocognitive Models to Microcognition. Journal of Cog. Eng. and Decision Making, Vol. 1, n° 2, pp. 186--211

Cited By

Graham LGray CWagner TIllarmo SHawn MWren SIannuzzi JHarris A(2022)Applying cognitive task analysis to health services researchHealth Services Research10.1111/1475-6773.1410658:2(415-422)Online publication date: 9-Dec-2022
https://doi.org/10.1111/1475-6773.14106
Bhowmick SChoi BLi CChirkova RYang JSuciu D(2017)Graph Querying Meets HCIProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3054774(1731-1736)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3054774
Long LBinh NParissis I(2017)Automatically Testing of Multimodal Interactive ApplicationsModel-Driven Engineering and Software Development10.1007/978-3-319-66302-9_5(93-113)Online publication date: 10-Sep-2017
https://doi.org/10.1007/978-3-319-66302-9_5
Show More Cited By

Index Terms

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. HCI design and evaluation methods
    2. Interaction paradigms
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
      1. Software development methods

Recommendations

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs
IHM '09: Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine

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 ...
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions
EICS '14: Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems

Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either ...
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces
ICMI-MLMI '09: Proceedings of the 2009 international conference on Multimodal interfaces

Representing the behaviour of multimodal interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques (FDT). Depending on the FDT, multimodal interactive systems feature specific characteristics ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems

July 2009

348 pages

ISBN:9781605586007

DOI:10.1145/1570433

General Chair:
T.C. Nicholas Graham
Queen's University, Canada
,
Program Chairs:
Gaëlle Calvary
University of Grenoble, France
,
Philip Gray
University of Glasgow, United Kingdom

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

EICS'09

Sponsor:

EICS'09: Engineering Interactive Computing Systems

July 15 - 17, 2009

PA, Pittsburgh, USA

Acceptance Rates

Overall Acceptance Rate 73 of 299 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
190
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Graham LGray CWagner TIllarmo SHawn MWren SIannuzzi JHarris A(2022)Applying cognitive task analysis to health services researchHealth Services Research10.1111/1475-6773.1410658:2(415-422)Online publication date: 9-Dec-2022
https://doi.org/10.1111/1475-6773.14106
Bhowmick SChoi BLi CChirkova RYang JSuciu D(2017)Graph Querying Meets HCIProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3054774(1731-1736)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3054774
Long LBinh NParissis I(2017)Automatically Testing of Multimodal Interactive ApplicationsModel-Driven Engineering and Software Development10.1007/978-3-319-66302-9_5(93-113)Online publication date: 10-Sep-2017
https://doi.org/10.1007/978-3-319-66302-9_5
Oliveira RPalanque PWeyers BBowen JDix A(2017)State of the Art on Formal Methods for Interactive SystemsThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_1(3-55)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_1
S Bhowmick SDyreson CChoi BAng MBailey JMoffat AAggarwal Cde Rijke MKumar RMurdock VSellis TYu J(2015)Interruption-Sensitive Empty Result FeedbackProceedings of the 24th ACM International on Conference on Information and Knowledge Management10.1145/2806416.2806432(723-732)Online publication date: 17-Oct-2015
https://dl.acm.org/doi/10.1145/2806416.2806432
John NRuiz JDecker AEiselt KAlphonce CTims J(2015)Student Response to Teaching of Memory Cues and Resumption Strategies in Computer Science ClassesProceedings of the 46th ACM Technical Symposium on Computer Science Education10.1145/2676723.2677234(6-11)Online publication date: 24-Feb-2015
https://dl.acm.org/doi/10.1145/2676723.2677234
Marco F(2013)Supporting Offline Interaction with Web Sites Resilient to Interruptions Applied to E-learning EnvironmentsRevised Selected Papers of the ICWE 2013 International Workshops on Current Trends in Web Engineering - Volume 829510.1007/978-3-319-04244-2_28(310-314)Online publication date: 8-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-319-04244-2_28
Marco FGallud JPenichet VWinckler M(2013)A Model-Based Approach for Supporting Offline Interaction with Web Sites Resilient to InterruptionsRevised Selected Papers of the ICWE 2013 International Workshops on Current Trends in Web Engineering - Volume 829510.1007/978-3-319-04244-2_15(156-171)Online publication date: 8-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-319-04244-2_15
Mirlacher TPaternò FLuyten KMaurer F(2011)Modeling animations for dependable interactive applicationsProceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems10.1145/1996461.1996546(319-322)Online publication date: 13-Jun-2011
https://dl.acm.org/doi/10.1145/1996461.1996546
Palanque PBarboni EMartinie CNavarre DWinckler MPaternò FLuyten KMaurer F(2011)A model-based approach for supporting engineering usability evaluation of interaction techniquesProceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems10.1145/1996461.1996490(21-30)Online publication date: 13-Jun-2011
https://dl.acm.org/doi/10.1145/1996461.1996490

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten