A Context-Driven Programming Model for Pervasive Spaces
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.
KeywordsDescription Logic Operational Semantic Smart Home Pervasive Computing Intentional Effect
Unable to display preview. Download preview PDF.
- 3.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)Google Scholar
- 4.Gu, T., Pung, H., Zhang, D.: Toward an OSGi-Based Infrastructure for Context-Aware Applications. IEEE Pervasive Computing, 66–74 (October-December 2004)Google Scholar
- 5.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)Google Scholar
- 6.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)Google Scholar
- 7.Chen, G., Kotz, D.: A survey of context-aware mobile computing research. Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College (2000)Google Scholar
- 8.Salber, D., Dey, A., Abowd, G.: The context toolkit: Aiding the development of context-enabled applications. CHI, pp. 434–441 (1999)Google Scholar
- 9.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) Google Scholar
- 10.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)Google Scholar
- 12.Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)Google Scholar
- 13.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)Google Scholar
- 14.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)Google Scholar
- 16.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)Google Scholar