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