Skip to main content
SpringerLink
Log in

A Formal Model of Availability to Reduce Cross-Domain Interruptions

  • Conference paper
  • First Online:
Human Interaction, Emerging Technologies and Future Systems V (IHIET 2021)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 319))

  • 3207 Accesses

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.

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 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight 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

References

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  7. 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-x

    Article  Google Scholar 

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

    Google Scholar 

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

    Book  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Article  Google Scholar 

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

    Book  Google Scholar 

  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)

    Article  Google Scholar 

  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_16

    Chapter  Google Scholar 

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

    MATH  Google Scholar 

Download references

Acknowledgments

We would like to thank members of the Cooperative Media Lab.

Author information

Authors and Affiliations

  1. Human-Computer Interaction Group, University of Bamberg, 96045, Bamberg, Germany

    Tom Gross & Anna-Lena Mueller

Authors
  1. Tom Gross
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna-Lena Mueller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tom Gross .

Editor information

Editors and Affiliations

  1. Institute for Advanced Systems Engineering, University of Central Florida, Orlando, FL, USA

    Tareq Ahram

  2. Campus du Moulin de la Housse, Université de Reims Champagne Ardenne GRESPI, Reims Cedex, France

    Redha Taiar

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gross, T., Mueller, AL. (2022). A Formal Model of Availability to Reduce Cross-Domain Interruptions. In: Ahram, T., Taiar, R. (eds) Human Interaction, Emerging Technologies and Future Systems V. IHIET 2021. Lecture Notes in Networks and Systems, vol 319. Springer, Cham. https://doi.org/10.1007/978-3-030-85540-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-85540-6_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-85539-0

  • Online ISBN: 978-3-030-85540-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation