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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Dey, A.K.: Understanding and Using Context. Personal and Ubiquitous Computing Journal 5(1), 4–7 (2001)
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)
Dowty, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Reidel Publishing Company (1981)
Guha, R.V.: Contexts: A Formalization and Some Applications. Ph.d thesis, Stanford University (February 10, 1995)
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)
McCarthy, J.: Notes on formalizing context. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1993)
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)
Pascoe, J.: Adding Generic Contextual Capabilities to Wearable Computers. In: Proceedings of the 2nd International Symposium on Wearable Computers, pp. 92–99 (1998)
Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering Archive 28(11), 1056–1076 (2002)
Schilit, B., Theimer, M.: Context-aware Computing Applications. In: Proceedings of the 1st International Workshop on Mobile Computing Systems Applications, pp. 85–90 (1994)
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)
Wan, K.: Lucx: Lucid Enriched with Context. Ph.d thesis, Concordia University (January 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wan, K., Alagar, V., Paquet, J. (2006). An Architecture for Developing Context-Aware Systems. In: Roth-Berghofer, T.R., Schulz, S., Leake, D.B. (eds) Modeling and Retrieval of Context. MRC 2005. Lecture Notes in Computer Science(), vol 3946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11740674_4
Download citation
DOI: https://doi.org/10.1007/11740674_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33587-0
Online ISBN: 978-3-540-33588-7
eBook Packages: Computer ScienceComputer Science (R0)