Abstract
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.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Weiser, M.: The computer for the 21st century. Scientific American (1991)
Winograd, T.: Architecture for context. Human Computer Interaction 16, 85–90 (1994)
Minsky, M.: A Framework for Representing Knowledge. In: The Psychology of Computer Vision. McGraw Hill, New York (1975)
Brooks, R.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2 (1986)
Draper, A.B., Collins, R.T., Brolio, J., Hansen, A.R., Riseman, E.M.: The schema system. International Journal of Computer Vision 2 (1989)
Bajcsy, R.: Active perception. Proceedings of the IEEE 1, 996–1006 (1988)
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)
Ward, A., Jones, A., Hopper, A.: A new location technique for the active office. IEEE Personal Comunications 4, 42–47 (1997)
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)
Dey, A.: Understanding and using context. Personal and Ubiquitous Computing 5, 4–7 (2001)
Crowley, L., Coutaz, J., Rey, G., Reignier, P.: Perceptual components for context aware computing. In: Borriello, G., Holmquist, L.E. (eds.) UbiComp 2002. LNCS, vol. 2498, p. 117. Springer, Heidelberg (2002)
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)
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)
Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378. Springer, Heidelberg (1998)
Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Technical Report UCAM-CL-TR- 570, University of Cambridge Computer Laboratory (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dobson, S., Nixon, P. (2005). More Principled Design of Pervasive Computing Systems. In: Bastide, R., Palanque, P., Roth, J. (eds) Engineering Human Computer Interaction and Interactive Systems. EHCI 2004. Lecture Notes in Computer Science, vol 3425. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11431879_20
Download citation
DOI: https://doi.org/10.1007/11431879_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26097-4
Online ISBN: 978-3-540-31961-0
eBook Packages: Computer ScienceComputer Science (R0)