Advertisement

An Architecture for Developing Context-Aware Systems

  • Kaiyu Wan
  • Vasu Alagar
  • Joey Paquet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3946)

Abstract

This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architecture of a context-aware system is conceived as a composition of the two components context constructor and context adapter. To process dynamically changing contextual information, we introduce context calculus as the formal basis of context manipulation. The information and its sources are abstracted within this formal definition. As an illustration of the principles involved in developing a context-aware system, we discuss the Anti-lock Braking System problem.

Keywords

context context-awareness co-design components 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alagar, V.S., Paquet, J., Wan, K.: Intensional Programming for Agent Communication. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 239–255. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Balarin, F., Sentovich, E., Chiodo, M., Giusto, P., Hsieh, H., Tabbara, B., Jurecska, A., Lavagno, L., Passerone, C., Suzuki, K., Sangiovanni-Vincentelli, A.: Hardware-Software Codesign of Embedded Systems – The POLIS approach. Kluwer Academic Publishers, Dordrecht (1997)CrossRefMATHGoogle Scholar
  3. 3.
    Dey, A.K.: Understanding and Using Context. Personal and Ubiquitous Computing Journal 5(1), 4–7 (2001)CrossRefGoogle Scholar
  4. 4.
    Dey, A.K., Salber, D., Abowd, G.D.: A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-aware Applications. Anchor article of a special issue on Human Computer Interaction 16 (2001)Google Scholar
  5. 5.
    Dowty, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Reidel Publishing Company (1981)Google Scholar
  6. 6.
    Guha, R.V.: Contexts: A Formalization and Some Applications. Ph.d thesis, Stanford University (February 10, 1995)Google Scholar
  7. 7.
    Cheverst, K., Davies, N., Mitchell, K., Efstratiou, C.: Using Context as a Crystal Ball: Rewards and Pitfalls. Personal Technologies Journal 3(5), 8–11 (2001)Google Scholar
  8. 8.
    McCarthy, J.: Notes on formalizing context. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1993)Google Scholar
  9. 9.
    Muthiayen, D.: Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. Phd. Thesis, Department of Computer Science, Concordia University, Montreal, Canada (January 2000)Google Scholar
  10. 10.
    Pascoe, J.: Adding Generic Contextual Capabilities to Wearable Computers. In: Proceedings of the 2nd International Symposium on Wearable Computers, pp. 92–99 (1998)Google Scholar
  11. 11.
    Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering Archive 28(11), 1056–1076 (2002)CrossRefGoogle Scholar
  12. 12.
    Schilit, B., Theimer, M.: Context-aware Computing Applications. In: Proceedings of the 1st International Workshop on Mobile Computing Systems Applications, pp. 85–90 (1994)Google Scholar
  13. 13.
    Wan, K., Alagar, V.S., Paquet, J.: Real Time Reactive Programming Enriched with Context. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 387–402. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Wan, K.: Lucx: Lucid Enriched with Context. Ph.d thesis, Concordia University (January 2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kaiyu Wan
    • 1
  • Vasu Alagar
    • 1
  • Joey Paquet
    • 1
  1. 1.Concordia UniversityMontrealCanada

Personalised recommendations