A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing

A formal framework to contextualize ontologies, proposed in [3], provides several ways of composing ontologies, contexts or both. The proposed algebra can be used to model applications in which the meaning of an entity depends on environment constraints or where dynamic changes in the environment have to be considered. In this article we use this algebra to formalize the problem of interpreting context information in ubiquitous systems, based on a concrete scenario. The main goal is to verify, on one hand, how the formal approach can contribute with a better understanding of the fundamental concepts of ubiquitous computing and, on the other hand, if this formal framework is flexible and rich enough to adequately express specific characteristics of the concrete application domain and scenario.

[1]  Edward Hermann Haeusler,et al.  Semantic Interoperability via Category Theory , 2007, ER.

[2]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[3]  Lu Yan,et al.  A formalism for context-aware mobile computing , 2004, Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks.

[4]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[5]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..

[6]  Christine Julien,et al.  A Formal Treatment of Context-Awareness , 2004, FASE.

[7]  Christine Julien,et al.  Reasoning About Context-Awareness in the Presence of Mobility , 2004, FOCLASA.

[8]  Markus Endler,et al.  Ubiquitous Service Regulation Based on Dynamic Rules , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[9]  M. Weiser.  The Computer for the Twenty-First Century , 1991 .

[10]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[11]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[12]  Lars Birkedal,et al.  Bigraphical Models of Context-Aware Systems , 2006, FoSSaCS.

[13]  Armando Fox,et al.  System Software for Ubiquitous Computing , 2022 .

[14]  Alexandre Rademaker,et al.  Ontology and Context , 2008, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom).

[15]  Hung Q. Ngo,et al.  Formal Modeling in Context Aware Systems , 2004 .

[16]  Mark Weiser.  The computer for the 21st century , 1991 .