A Context-Driven Programming Model for Pervasive Spaces

  • Hen-I Yang
  • Jeffrey King
  • Abdelsalam (Sumi) Helal
  • Erwin Jansen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4541)


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.


Description Logic Operational Semantic Smart Home Pervasive Computing Intentional Effect 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 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
  11. 11.
    Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  12. 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. 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. 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
  15. 15.
    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)CrossRefGoogle Scholar
  16. 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

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Hen-I Yang
    • 1
  • Jeffrey King
    • 1
  • Abdelsalam (Sumi) Helal
    • 1
  • Erwin Jansen
    • 1
  1. 1.CSE Buliding Room E301, University of Florida, P.O. Box 116120, Gainesville, FL 32611-6120USA

Personalised recommendations