Context-Aware Systems and Applications, and Nature of Computation and Communication. 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22–23, 2018, Proceedings

Research Article

Formal Context Representation and Calculus for Context-Aware Computing

  • @INPROCEEDINGS{10.1007/978-3-030-06152-4_1,
        author={Ammar Alsaig and Vangalur Alagar and Nematollaah Shiri},
        title={Formal Context Representation and Calculus for Context-Aware Computing},
        proceedings={Context-Aware Systems and Applications, and Nature of Computation and Communication. 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22--23, 2018, Proceedings},
        proceedings_a={ICCASA \& ICTCC},
        year={2019},
        month={1},
        keywords={Context modeling Context-awareness Formal representation Reasoning},
        doi={10.1007/978-3-030-06152-4_1}
    }
    
  • Ammar Alsaig
    Vangalur Alagar
    Nematollaah Shiri
    Year: 2019
    Formal Context Representation and Calculus for Context-Aware Computing
    ICCASA & ICTCC
    Springer
    DOI: 10.1007/978-3-030-06152-4_1
Ammar Alsaig1,*, Vangalur Alagar1,*, Nematollaah Shiri1,*
  • 1: Concordia University
*Contact email: a_alsaig@encs.concordia.ca, alagar@encs.concordia.ca, shiri@encs.concordia.ca

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.