Top

Published in:

2022 | OriginalPaper | Chapter

A Formal Model of Availability to Reduce Cross-Domain Interruptions

Authors : Tom Gross, Anna-Lena Mueller

Published in: Human Interaction, Emerging Technologies and Future Systems V

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

This chapter introduces a formal model based on set theory and relations to manage interruptions across different life domains in teamwork. By integrating principles from boundary management, the model specifies essential concepts such as persons, domains, availability, interruptions, and notifications. The model aims to clarify when and how notifications should be presented to minimize disruptions, particularly those unrelated to the user’s current task domain. The formal approach ensures precision and clarity in the early stages of system design, making it a valuable tool for developers and researchers in the field of human-computer interaction and cooperative systems.

AI Generated

This summary of the content was generated with the help of AI.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter A Multimodal Approach for Early Detection of Cognitive Impairment from Tweets

next chapter Progressive Intensity of Human-Technology Teaming

Ashforth, B.E., Mael, F.: Social identity theory and the organization. Acad. Manag. Rev. 14(1), 20–39 (1989)CrossRef

Bødker, S.: Rethinking technology on the boundaries of life and work. Pers. Ubiquitous Comput. 20(4), 533–544 (2016)CrossRef

Booch, G.: The Unified Modeling Language User Guide. Addison-Wesley Object Technology Series, 2nd edn. Addison-Wesley Professional, Boston (2005)

Clark, S.C.: Work/family border theory: a new theory of work/family balance. Hum. Relat. 53(6), 747–770 (2000)CrossRef

Dix, A.J.: Formal Methods for Interactive Systems. Academic Press, London (1991)

Duxbury, L., Higgins, C., Smart, R., Stevenson, M.: Mobile technology and boundary permeability. Br. J. Manag. 25(3), 570–588 (2014)CrossRef

Gross, T.: Supporting effortless coordination: 25 years of awareness research. Comput. Supported Coop. Work: J. Collab. Comput. 22, 425–474 (2013). https://doi.org/10.1007/s10606-013-9190-xCrossRef

Harrison, M., Thimbleby, H.: Formal Methods in Human-Computer Interaction. Cambridge University Press, Cambridge (1990)

Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, Hoboken (2008)CrossRef

10.

Kossek, E.E., Ruderman, M.N., Braddy, P.W., Hannum, K.M.: Work–nonwork boundary management profiles: a person-centered approach. J. Vocat. Behav. 81(1), 112–128 (2012)CrossRef

11.

Lim, H., Arawjo, I., Xie, Y., Khojasteh, N., Fussell, S.R.: Distraction or life saver?: The role of technology in undergraduate students’ boundary management strategies. Proc. ACM Hum.-Comput. Interact. 1(CSCW), 1–18 (2017)

12.

Mark, G., Czerwinski, M., Iqbal, S.T.: Effects of individual differences in blocking workplace distractions. In: Proceedings of the Conference on Human Factors in Computing Systems - CHI 2018, Montreal, Canada, 21–26 April, pp. 92:1–12. ACM, New York (2018)

13.

McFarlane, D.C., Latorella, K.A.: The scope and importance of human interruption in human-computer interaction design. Hum.-Comput. Interact. 17(1), 1–61 (2002)CrossRef

14.

Nippert-Eng, C.: Home and Work: Negotiating Boundaries through Everyday Life. University of Chicago Press, Chicago (1996)CrossRef

15.

Payne, S.J., Green, T.R.G.: Task-action grammars: a model of the mental representation of task languages. Hum-Comput. Interact. 2(2), 93–133 (1986)CrossRef

16.

Van Mierlo, S., Van Tendeloo, Y., Meyers, B., Vangheluwe, H.: Domain-specific modelling for human–computer interaction. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction, pp. 435–463. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-51838-1_16CrossRef

17.

Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall, Inc., Hoboken (1996)MATH

Title: A Formal Model of Availability to Reduce Cross-Domain Interruptions
Authors: Tom Gross
Anna-Lena Mueller
Publisher: Springer International Publishing
Book: Human Interaction, Emerging Technologies and Future Systems V
Print ISBN: 978-3-030-85539-0

Electronic ISBN: 978-3-030-85540-6

Copyright Year: 2022
DOI: https://doi.org/10.1007/978-3-030-85540-6_3

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"