More Principled Design of Pervasive Computing Systems
Pervasive computing systems are interactive systems in the large, whose behaviour must adapt to the user’s changing tasks and environment using different interface modalities and devices. Since the system adapts to its changing environment, it is vital that there are close links between the structure of the environment and the corresponding structured behavioural changes. We conjecture that predictability in pervasive computing arises from having a close, structured and easily-grasped relationship between the context and the behavioural change that context engenders. In current systems this relationship is not explicitly articulated but instead exists implicitly in the system’s reaction to events. Our aim is to capture the relationship in a way that can be used to both analyse pervasive computing systems and aid their design. Moreover, some applications will have a wide range of behaviours; others will vary less, or more subtly. The point is not so much what a system does as how what it does varies with context. In this paper we address the principles and semantics that underpin truly pervasive systems.
KeywordsPrincipled Design Category Theory Pervasive Computing Context Awareness Contextual Parameter
Unable to display preview. Download preview PDF.
- 1.Weiser, M.: The computer for the 21st century. Scientific American (1991)Google Scholar
- 2.Winograd, T.: Architecture for context. Human Computer Interaction 16, 85–90 (1994)Google Scholar
- 3.Minsky, M.: A Framework for Representing Knowledge. In: The Psychology of Computer Vision. McGraw Hill, New York (1975)Google Scholar
- 4.Brooks, R.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2 (1986)Google Scholar
- 5.Draper, A.B., Collins, R.T., Brolio, J., Hansen, A.R., Riseman, E.M.: The schema system. International Journal of Computer Vision 2 (1989)Google Scholar
- 6.Bajcsy, R.: Active perception. Proceedings of the IEEE 1, 996–1006 (1988)Google Scholar
- 7.Salber, D., Dey, A., Abowd, G.: The Context Toolkit: aiding the development of contextenabled applications. In: Proceedings of the ACM Conference on Computer-Human Interaction, CHI 1999, pp. 434–441 (1999)Google Scholar
- 9.Rodden, T., Cheverest, K., Davies, K., Dix, A.: Exploiting context in HCI design for mobile systems. In: Workshop on Human Computer Interaction with Mobile Devices (1998)Google Scholar
- 12.Calvary, G., Coutaz, J., Thevenin, D.: A unifying reference framework for the development of plastic user interfaces. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol. 2254. Springer, Heidelberg (2001)Google Scholar
- 13.Dobson, S., Nixon, P.: Towards a semantics of pervasive computing (just the category theory). Technical report, Department of Computer Science, Trinity College Dublin (to appear)Google Scholar
- 14.Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378. Springer, Heidelberg (1998)Google Scholar
- 15.Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Technical Report UCAM-CL-TR- 570, University of Cambridge Computer Laboratory (2003)Google Scholar