Abstract
PDF (345 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
PDF (401 K)
doi:10.1016/j.entcs.2008.03.106 
Copyright © 2008 Elsevier B.V. All rights reserved.
Exploring an Option Space to Engineer a Ubiquitous Computing System
Michael D. Harrisona, 
, Christian Kraya and José Creissac Camposb
aInformatics Research Institute, Newcastle University, U.K.
bDepartamento de Informática/CCTC, Universidade do Minho, Braga, Portugal
Available online 17 April 2008.
Abstract
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interactive behaviour in ubiquitous systems. Of particular interest is the way that these models may help engineers to visualise the consequences of different designs. Design options based on a dynamic signage system (GAUDI) are explored using different instances of a generic model of the system.
Keywords: interactive systems; model checking; ubiquitous computing; human computer interaction
References
G. Abowd and E. Mynatt, Charting past, present and future research in ubiquitous computing, ACM Transactions on Computer-Human Interaction 7 (2000), pp. 29–58.
G.D. Abowd, E.D. Mynatt and T. Rodden, The human experience, Pervasive Computing Magazine 1 (2002), pp. 48–57. View Record in Scopus | Cited By in Scopus (79)
G. Behrmann, A. David and K. Larsen, A tutorial on uppaal. In: M. Bernardo and F. Corradini, Editors, Formal methods for the design of real-time systems, Springer Lecture Notes in Computer Science number 3185, Springer-Verlag (2004), pp. 200–236.
J. Campos and G. Doherty, Supporting resource-based analysis of task information needs. In: S. Gilroy and M. Harrison, Editors, Interactive Systems: Design, Specification and Verification 12th International Workshop DSVIS 2005, Newcastle upon Tyne, UK, July 2005, Lecture Notes in Computer Science number 3941, Springer (2006), pp. 188–200.
J. Campos and M. Harrison, Model checking interactor specifications, Automated Software Engineering 8 (2001), pp. 275–310. View Record in Scopus | Cited By in Scopus (15)
R. De Nicola, G.L. Ferrari and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering 24 (1998), pp. 315–330. View Record in Scopus | Cited By in Scopus (176)
W. Gaver, T. Dunne and E. Pacenti, Design: cultural probes, ACM Interactions 6 (1999), pp. 21–29.
Harrison, M., C. Kray, Z. Sun and H. Zhang, Factoring user experience into the design of ambient and mobile systems, in: G. van de Veer, P. Palanque and J. Wesson, editors, Engineering Interactive Systems, 2007, accepted for publication, Springer Lecture Notes in Computer Science.
Kray, C., K. Cheverst, D. Fitton, C. Sas, M. Patterson, J.and Rouncefield and C. Stahl, Sharing control of dispersed situated displays between nomadic and residential users, in: Proceedings of MobileHCI'06, Espoo, Finland, 2006.
Kray, C., G. Kortuem and A. Krüger, Adaptive navigation support with public displays, in: R.S. Amant, J. Riedl and A. Jameson, editors, Proceedings of IUI 2005 (2005), pp. 326–328.
M. Kwiatowska, G. Norman and D. Parker, PRISM: Probabilistic symbolic model checker. In: T. Field, P. Harrison, J. Bradley and U. Harder, Editors, Computer Performance Evaluation: Modelling Techniques and Tools Proceedings 12th International Conference TOOLS 2002, Lecture Notes in Computer Science number 2324, Springer (2002), p. 200.
Loer, K. and M. Harrison, Analysing user confusion in context aware mobile applications, in: M. Constabile and F. Paternò, editors, INTERACT 2005, 3585 (2005), pp. 184–197.
S.J. Mellor and M.J. Balcer, Executable UML: A Foundation for Model-driven Architecture, Addison Wesley (2002).
R. Milner, Communicating and mobile systems: the pi-calculus, Cambridge University Press (1999).
G.C. Murphy, D. Notkin and K. Sullivan, Software reflexion models: bridging the gap between source and high-level models, SIGSOFT Softw. Eng. Notes 20 (1995), pp. 18–28.
Rogers, Y., Moving on from Weiser's vision of calm computing: Engaging UbiComp experiences, in: P. Dourish and A. Friday, editors, Proceedings of Ubicomp 2006 (2006), pp. 404–421.
A. Schmidt, Implicit human computer interaction through context, Personal and Ubiquitous Technologies 4 (2000), pp. 191–199.
D. Tennenhouse, Proactive computing, Communications of the ACM 43 (2000), pp. 43–50. View Record in Scopus | Cited By in Scopus (117)
M. Weiser, R. Gold and J.S. Brown, The origins of ubiquitous computing research at PARC in the late 1980s, IBM Systems Journal 38 (1999), pp. 693–696.
