Abstract
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions from different services, or even to detect that a particular device is receiving conflicting instructions. Nor is there an easy way to identify unsafe contexts and the emergency remedy actions, or for programmers and users to grasp the complete status of the space. The programming model proposed here resolves these problems by improving coordination by explicitly defining the behaviors via context, and providing enhanced safety guarantees as well as a real-time, at-a-glance snapshot of the space’s status. We present this model by first revisiting the definitions of the three basic entities (sensors, actuators and users) and then deriving at the definition of the operational semantics of a pervasive space and its context. A scenario is provided to demonstrate both how programmers use this model as well as the advantages of the model over other approaches.
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
Dey, A., Salber, D., Abowd, G.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction (HCI) Journal 16, 97–166 (2001)
Gu, T., Pung, H., Zhang, D.: A service-oriented middleware for building context-aware services. Journal of Network and Computer Applications (JNCA) 28, 1–18 (2005)
Chen, H., Finin, T., Joshi, A., Perich, F., Chakraborty, D., Kagal, L.: Intelligent agents meet the semantic web in smart spaces. IEEE Internet Computing 8 (2004)
Gu, T., Pung, H., Zhang, D.: Toward an OSGi-Based Infrastructure for Context-Aware Applications. IEEE Pervasive Computing, 66–74 (October-December 2004)
Bose, R., King, J., El-zabadani, H., Pickles, S., Helal, A.: Building Plug-and-Play Smart Homes Using the Atlas Platform. In: Proceedings of the 4th International Conference on Smart Homes and Health Telematic (ICOST), Belfast, the Northern Islands (June 2006)
Helal, A., Mann, W., Elzabadani, H., King, J., Kaddourah, Y., Jansen, E.: Gator Tech Smart House: A Programmable Pervasive Space, IEEE Computer magazine, 64–74 (March 2005)
Chen, G., Kotz, D.: A survey of context-aware mobile computing research. Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College (2000)
Salber, D., Dey, A., Abowd, G.: The context toolkit: Aiding the development of context-enabled applications. CHI, pp. 434–441 (1999)
M. Román, C. Hess, R. Cerqueira, A. Ranganathan, R. Campbell, K. Nahrstedt, Gaia: A Middleware Infrastructure to Enable Active Spaces. IEEE Pervasive Computing, 74–83 (October–December 2002)
Greenhalgh, C., Izadi, S., Mathrick, J., Humble, J., Taylor, I.: ECT: A Toolkit to Support Rapid Construction of UbiComp Environments. In: Davies, N., Mynatt, E.D., Siio, I. (eds.) UbiComp 2004. LNCS, vol. 3205, Springer, Heidelberg (2004)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Chen, G., Kotz, D.: Solar: An open platform for context-aware mobile applications. In: An informal companion volume of short papers of the Proceedings of the First International Conference on Pervasive Computing, pp. 41–47 (2002)
Cohen, N., Lei, H., Castro, P., Purakayastha, A.: Composing pervasive data using iql. In: Proceedings of the Fourth IEEEWorkshop on Mobile Computing Systems and Applications, IEEE Computer Society, 94 (2002)
Kumar, R., Wolenetz, M., Agarwalla, B., Shin, J., Hutto, P., Paul, A., Ramachandran, U.: Dfuse: a framework for distributed data fusion. In: Proceedings of the first international conference on Embedded networked sensor systems, pp. 114–125. ACM Press, New York (2003)
J. King, R. Bose, H. Yang, S. Pickles, A. Helal, Atlas: A Service-Oriented Sensor Platform. In: Proceedings of the First International Workshop on Practical Issues in Building Sensor Network Applications (in conjunction with LCN 2006) (To appear 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Yang, HI., King, J., Helal, A.(., Jansen, E. (2007). A Context-Driven Programming Model for Pervasive Spaces. In: Okadome, T., Yamazaki, T., Makhtari, M. (eds) Pervasive Computing for Quality of Life Enhancement. ICOST 2007. Lecture Notes in Computer Science, vol 4541. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73035-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-73035-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73034-7
Online ISBN: 978-3-540-73035-4
eBook Packages: Computer ScienceComputer Science (R0)