Skip to main content
SpringerLink
Log in

Formal Context Representation and Calculus for Context-Aware Computing

  • Conference paper
  • First Online:
Context-Aware Systems and Applications, and Nature of Computation and Communication (ICCASA 2018, ICTCC 2018)

Abstract

Context is a rich concept that is mostly understood and used with different representations and interpretations in many different fields. This variety of usage adds both richness and vagueness, thus creating more complexity to comprehension, interpretation, and reasoning with contexts. As pervasive computing technology becomes more and more intrusive there is a need to construct formally verifiable context-aware computing environment, in which human dignity is preserved through safety, security, and privacy. These features cannot be ensured unless context notion is formalized, both in representation and reasoning. Motivated by this concern this paper introduces a formal context representation and a context calculus which can be used to build context models for many applications.

This work was supported in part by grants from the Natural Sciences and Engineering Research Council (NSERC) of Canada. The first author is supported by a scholarship from the Saudi Arabian Government.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Akman, V., Surav, M.: The use of situation theory in context modeling. Comput. Intell. Int. J. 13(3), 427–438 (1997)

    Google Scholar 

  2. Alaga, V., Wan, K.: Context based enforcement of authorization for privacy and security in identity management. In: de Leeuw, E., Fischer-Hübner, S., Tseng, J., Borking, J. (eds.) Policies and Research in Identity Management. The International Federation for Information Processing, vol. 261, pp. 25–37. Springer, Boston (2008). https://doi.org/10.1007/978-0-387-77996-6_3

    Chapter  Google Scholar 

  3. Alagar, V., Mohammad, M., Wan, K., Hnaide, S.A.: A framework for developing context-aware systems. EAI Endorsed Trans. Context-Aware Syst. Appl. 14(1) (2014). https://doi.org/10.4108/casa.1.1.e2

    Article  Google Scholar 

  4. Brèzillon, P., Gonzalez, A.I.: Context in Computing: A Cross-Disciplinary Approach to Modeling Real World. Springer, Berlin (2014)

    Book  Google Scholar 

  5. Brézillon, P.: Context in human-machine problem solving: a survey. LIP 6(1996), 029 (1996)

    Google Scholar 

  6. Carnap, R.: Meaning and Necessity. Chicago University Press, Chicago (1947). Enlarged Edition 1956

    MATH  Google Scholar 

  7. Clark, H.H., Carlson, T.B.: Context for comprehension. In: Attention and Performance, pp. 313–330. Lawrence Erlbaum Associates, Hillside (1981)

    Google Scholar 

  8. Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Hum.-Comput. Interact. 16, 97–161 (2001)

    Article  Google Scholar 

  9. Dey, A.K.: Understanding and using context. Pers. Ubiquit. Comput. 5(1), 4–7 (2001)

    Article  Google Scholar 

  10. Dowley, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Reidel Publishing Company, Amsterdam (1981)

    Google Scholar 

  11. Bettini, C., et al.: A survey of context modelling and reasoning techniques. Pervasive Mob. Comput. 6, 161–180 (2009)

    Article  Google Scholar 

  12. García, K., Brézillon, P.: A contextual model of turns for group work. In: Christiansen, H., Stojanovic, I., Papadopoulos, G.A. (eds.) CONTEXT 2015. LNCS (LNAI), vol. 9405, pp. 243–256. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25591-0_18

    Chapter  Google Scholar 

  13. García, K., Brézillon, P.: Contextual graphs for modeling group interaction. In: Brézillon, P., Turner, R., Penco, C. (eds.) CONTEXT 2017. LNCS (LNAI), vol. 10257, pp. 151–164. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57837-8_12

    Chapter  Google Scholar 

  14. Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine 16, 345–364 (1993)

    Google Scholar 

  15. Grätzer, S.: Lattice Theory: First Concepts and Distributive Lattices. W. H. Freeman, San Francisco (1971)

    MATH  Google Scholar 

  16. Guha, R.V.: Contexts: A Formalization and Some Applications, vol. 101. Stanford University Stanford (1991)

    Google Scholar 

  17. Held, A., Buchholz, S., Schill, A.: Modeling of context information for pervasive computing applications. In: Proceedings of SCI, pp. 167–180 (2002)

    Google Scholar 

  18. Interdisciplinary and Internal Conference Series. Modeling and using context (1997)

    Google Scholar 

  19. McCarthy, J.: Notes on formalizing context (1993)

    Google Scholar 

  20. McCarthy, J., Buvac, S.: Formalizing context (expanded notes) (1997)

    Google Scholar 

  21. Sato, M., Sakurai, T., Kameyama, Y.: A simply typed context calculus with first-class environments. In: Proceedings of FLOPs 2001: the 5th International Symposium on Functional and Logic Programming, pp. 359–374 (2001)

    Chapter  Google Scholar 

  22. Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: 1994 First Workshop on Mobile Computing Systems and Applications, WMCSA 1994, pp. 85–90. IEEE (1994)

    Google Scholar 

  23. Shoham, Y.: Varieties of context. In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 393–408 (1991)

    Chapter  Google Scholar 

  24. Wan, K., Alagar, V., Paquet, J.: An architecture for developing context-aware systems. In: Roth-Berghofer, T.R., Schulz, S., Leake, D.B. (eds.) MRC 2005. LNCS (LNAI), vol. 3946, pp. 48–61. Springer, Heidelberg (2006). https://doi.org/10.1007/11740674_4

    Chapter  Google Scholar 

  25. Wan, K.: Lucx: lucid enriched with context. Ph.D. thesis, Concordia University (2006)

    Google Scholar 

  26. Wan, K., Alagar, V., Paquet, J.: A context theory for intensional programming. In: Workshop on Context Representation and Reasoning (CRR05). Citeseer, Paris, July 2005

    Google Scholar 

  27. Weyhrauch, R.: Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13, 133–170 (1980)

    Article  MathSciNet  Google Scholar 

  28. Winograd, T.: Architecture for context. Hum.-Comput. Inter. 16, 401–419 (2001)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Concordia University, Montreal, QC, Canada

    Ammar Alsaig, Vangalur Alagar & Nematollaah Shiri

Authors
  1. Ammar Alsaig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vangalur Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nematollaah Shiri
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ammar Alsaig .

Editor information

Editors and Affiliations

  1. Nguyen Tat Thanh University, Ho Chi Minh City, Vietnam

    Phan Cong Vinh

  2. Concordia University, Montreal, QC, Canada

    Vangalur Alagar

Rights and permissions

Reprints and permissions

Copyright information

© 2019 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Alsaig, A., Alagar, V., Shiri, N. (2019). Formal Context Representation and Calculus for Context-Aware Computing. In: Cong Vinh, P., Alagar, V. (eds) Context-Aware Systems and Applications, and Nature of Computation and Communication. ICCASA ICTCC 2018 2018. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 266. Springer, Cham. https://doi.org/10.1007/978-3-030-06152-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-06152-4_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-06151-7

  • Online ISBN: 978-3-030-06152-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation