More Principled Design of Pervasive Computing Systems

  • Simon Dobson
  • Paddy Nixon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3425)


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.


Principled Design Category Theory Pervasive Computing Context Awareness Contextual Parameter 
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.
    Weiser, M.: The computer for the 21st century. Scientific American (1991)Google Scholar
  2. 2.
    Winograd, T.: Architecture for context. Human Computer Interaction 16, 85–90 (1994)Google Scholar
  3. 3.
    Minsky, M.: A Framework for Representing Knowledge. In: The Psychology of Computer Vision. McGraw Hill, New York (1975)Google Scholar
  4. 4.
    Brooks, R.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2 (1986)Google Scholar
  5. 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. 6.
    Bajcsy, R.: Active perception. Proceedings of the IEEE 1, 996–1006 (1988)Google Scholar
  7. 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
  8. 8.
    Ward, A., Jones, A., Hopper, A.: A new location technique for the active office. IEEE Personal Comunications 4, 42–47 (1997)CrossRefGoogle Scholar
  9. 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
  10. 10.
    Dey, A.: Understanding and using context. Personal and Ubiquitous Computing 5, 4–7 (2001)CrossRefGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 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. 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. 14.
    Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378. Springer, Heidelberg (1998)Google Scholar
  15. 15.
    Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Technical Report UCAM-CL-TR- 570, University of Cambridge Computer Laboratory (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Simon Dobson
    • 1
  • Paddy Nixon
    • 2
  1. 1.Department of Computer ScienceTrinity CollegeDublinIE
  2. 2.Department of Information and System SciencesUniversity of StrathclydeGlasgowUK

Personalised recommendations