Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. Technical Report TR-2005-74, The IT University of Copenhagen (November 2005)
Cafezeiro, I., Haeusler, E.H.: Semantic interoperability via category theory. Conferences in Research and Practice in Information Technology 83 (2006)
Cafezeiro, I., Rademaker, A., Haeusler, E.H.: Ontology and Context. In: Proceedings of CoMoREA 2008, pp. 53–62 (2008)
Goldblatt, R.: Topoi: The Categorical Analysis of Logicser. Ser Studies in Logic and the Foundations of Mathematics. NorthHolland (1979)
Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: Models and approach. Models and approach. Pervasive and Mobile Computing 2(1), 37–64 (2006)
Julien, C., Payton, J., Roman, G.-C.: Reasoning About Context-Awareness in the Presence of Mobility. In: Proc. of the 2nd Int. Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003), Marseille, France (September 2003)
Kindberg, T., Fox, A.: System software for ubiquitous computing. Pervasive Computing Magazine (2002)
MacLane, S.: Categories for the Working Matematician. Springer, Heidelberg (1997)
Parnas, D.: On the criteria to be used in decomposing systems into modules. Communications of the ACM (December 1972)
Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 12–36. Springer, Heidelberg (2004)
Shehzad, A., Ngo, H.Q., Pham, K.A., Lee, S.Y.: Formal modeling in context aware systems. In: Proceedings of the First International Workshop on Modeling and Retrieval of Context (September 2004)
Viterbo, J., Endler, M., Briot, J.-P.: Ubiquitous service regulation based on dynamic rules. In: Proceedings of the 13th IEEE International Conference on En- gineering of Complex Computer Systems (ICECCS 2008), Belfast, pp. 175–182. IEEE Computer Society Press, Los Alamitos (2008)
Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using OWL. In: Proc. of 2nd IEEE Conf. Pervasive Computing and Communications (PerCom 2004), Workshop on Context Modeling and Reasoning, Orlando, Florida, March 2004, pp. 18–22. IEEE Computer Society Press, Los Alamitos (2004)
Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94–104 (1991)
Yan, L., Sere, K.: A Formalism for Context-Aware Mobile Computing. In: Proceedings of the IEEE 3rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (HeteroPar), Cork, Ireland (July 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cafezeiro, I., Viterbo, J., Rademaker, A., Haeusler, E.H., Endler, M. (2008). A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)