Abstract
The Pervasive computing paradigm has generated new challenges in the field of the communications and networking. One such challenge is achieving the integrated management of the services, systems and networks. This paper presents a logic-based information modeling technique and depicts how it can be used to complement a distributed context handling and delivery system. Last, a representative pervasive application scenario is presented that uses the above framework and demonstrates flexibility and adaptability in integrated service management.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Katsiri, E.: Middleware Support for Context-Awareness in Distributed Sensor-Driven Systems. PhD Thesis, Engineering Department, University of Cambridge. Also published as Technical Report n. 620. Computer Laboratory, University of Cambridge (February 2005)
Barwise, J., Perry, J.: Situations and Attitudes. Massachusetts Institute of Technology. MIT Press, Cambridge (1983)
Strang, T., Linnhoff-Popien, C.: A Context Modelling Survey. In: Workshop on Advanced Context Modelling, Rasoning and Management, Nottingham, England (September 2004)
Fileto, R., Bauzer, C.: A Survey on Information Systems Interoperability. Technical report – IC-03-030 (December 2003)
Sciore, E., Siegel, M., Rosenthal, A.: Using semantic values to facilitate interoperability among heterogeneous information systems. ACM Trans. Database Syst. 19(2), 254–290 (1994)
Kuokka, D., Harada, L.: Integrating information via matchmaking. J. Intell. Inform. Syst. 6(2/3), 261–279 (1996)
Dey, A.K.: Understanding and using context. Journal of Personal and Ubiquitous Computing 5(1), 4–7 (2001)
Park, J., Ram, S.: Information systems interoperability: What lies beneath? ACM Transactions on Information Systems 22(4) (2004)
Akman, V., Surav, M.: The use of situation theory in context modeling. Computational Intelligence 13(3), 427–438 (1997)
Giunchiglia, F.: Contextual reasoning. Epistemologica. Special Issue on I Linguaggi e le Macchine 16, pp. 345–364 (1993), Also IRST-Technical Report 9211-20, IRST, Trento, Italy
Ghidini, C., Giunchiclia, F.: Local models, semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Bacon, J., Bates, J., Halls, D.: Location-oriented multimedia. IEEE Personal Communications 4(5) (1997)
Katsiri, E., Mycroft, A.: Model Checking for Sentient Computing: An Axiomatic Approach. In: Mansoor, W., Khedr, M., Benslimane, D., Maamar, Z., Hauswirth, M., Aberer, K. (eds.) Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments (SME 2005), CEUR-WS, Ayia Napa (May 2005)
Krishnamurthy, R., Litwin, W., Kent, W.: Language features for interoperability of databases with schematic discrepancies. In: Proc. of ACM SIGMOD Int. Conf. on Management of Data, Denver, CO, May 29–31, pp. 40–49 (1991)
Henricksen, K., et al.: Modelling Context Information in Pervasive Computing System. In: Mattern, F., Naghshineh, M. (eds.) PERVASIVE 2002. LNCS, vol. 2414, pp. 160–167. Springer, Heidelberg (2002)
Martín Serrano, J., Serrat, J., Galis, A.: Ontology-Based Context Information Modelling for Managing Pervasive Applications. In: 2006 IEEE/IARIA Int. Conf. on Autonomic and Autonomous Systems -ICAS 2006, Silicon Valley, Santa Clara, Ca, USA, July 19-21 (2006)
Serrano, J.M., Serrat, J., O’Sullivan, D.: Onto-Context Manager Elements Supporting Autonomic Systems: Basis & Approach. In: IEEE 1st International Workshop on Modelling Autonomic Communications Environments - MACE 2006. Manweek 2006, Dublin, Ireland, October 23-27 (2006)
Katsiri, E., Bacon, J., Mycroft, A.: An Extended Publish/Subscribe Protocol for Transparent Submissions to Distributed Abstract State in Sensor-Driven Systems Using Abstract Events. In: International Workshop on Distributed Event-Based Systems (DEBS 2004), Edinburgh,UK (2004)
Martín Serrano, J., Serrat, J., O’Sullivan, D.: Onto-Context Manager Elements Supporting Autonomic Systems: Basis & Approach. In: IEEE Workshop on Modelling Autonomic Communications Environments-MACE 2006, Dublin, Ireland, October 23 - 27 (2006)
McCarthy, J.: Notes on Formalizing Context. In: Proceedings of IJCAI – Thirteenth International Joint Conference on Artificial Intelligence, San Mateo, California, pp. 555–560 (1993)
McCarthy, J., Buvac, S.: Formalizing Context (Expanded Notes). In: Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, Menlo Park, Ca (1997)
Gray, P., Salber, D.: Modelling and Using Sensed Context Information in the design of Interactive Applications. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol. 2254, p. 317. Springer, Heidelberg (2001)
IST-CONTEXT project, Active Creation, Delivery and Management of Context-Aware Services, http://context.upc.es
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Berlin Heidelberg
About this chapter
Cite this chapter
Katsiri, E., Serrano, J.M., Serrat, J. (2010). Application of Logic Models for Pervasive Computing Environments and Context-Aware Services Support. In: Tsihrintzis, G.A., Virvou, M., Jain, L.C. (eds) Multimedia Services in Intelligent Environments. Smart Innovation, Systems and Technologies, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13355-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-13355-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13354-1
Online ISBN: 978-3-642-13355-8
eBook Packages: EngineeringEngineering (R0)