Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Human and Machine Trust Considerations, Concerns and Constraints for Lethal Autonomous Weapon Systems (LAWS) Read chapter Read first chapter

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

Log in

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

search-config
loading …

Abstract

The mutual awareness and availability across team members is essential for effective and efficient cooperation. Yet, interruptions in general and interruptions unrelated to the current domain and task in particular can lead to disturbing disruption. The literature on boundary management has great insight to offer with respect to organising and maintaining a balance between different life domains. In this paper we introduce a formal model of the semantic structure of life domains, grounded in the concept of integration and segmentation found in boundary theory. This formal model is based on simple set theory and relations. It is system unrelated but serves as a starting point for creating further implementation specific models in UML or other notations during the development process.

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
Literature
1.
Ashforth, B.E., Mael, F.: Social identity theory and the organization. Acad. Manag. Rev. 14(1), 20–39 (1989)CrossRef
2.
Bødker, S.: Rethinking technology on the boundaries of life and work. Pers. Ubiquitous Comput. 20(4), 533–544 (2016)CrossRef
3.
Booch, G.: The Unified Modeling Language User Guide. Addison-Wesley Object Technology Series, 2nd edn. Addison-Wesley Professional, Boston (2005)
4.
Clark, S.C.: Work/family border theory: a new theory of work/family balance. Hum. Relat. 53(6), 747–770 (2000)CrossRef
5.
Dix, A.J.: Formal Methods for Interactive Systems. Academic Press, London (1991)
6.
Duxbury, L., Higgins, C., Smart, R., Stevenson, M.: Mobile technology and boundary permeability. Br. J. Manag. 25(3), 570–588 (2014)CrossRef
7.
8.
Harrison, M., Thimbleby, H.: Formal Methods in Human-Computer Interaction. Cambridge University Press, Cambridge (1990)
9.
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.
17.
Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall, Inc., Hoboken (1996)MATH
Metadata
Title
A Formal Model of Availability to Reduce Cross-Domain Interruptions
Authors
Tom Gross
Anna-Lena Mueller
Copyright Year
2022
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

Premium Partner

    Image Credits