Abstract
Mobility of ubiquitous systems offers the possibility of using the current context to infer information that might otherwise require user input. This can either make user interfaces more intuitive or cause subtle and confusing mode changes. We discuss the analysis of such systems that will allow the designer to predict potential pitfalls before the design is fielded. Whereas the current predominant approach to understanding mobile systems is to build and explore experimental prototypes, our exploration highlights the possibility that early models of an interactive system might be used to predict problems with embedding in context before costly mistakes have been made. Analysis based on model checking is used to contrast configuration and context issues in two interfaces to a process control system.
Chapter PDF
Similar content being viewed by others
References
Bérard, M., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph.: Systems and Software Verification. In: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)
Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8, 275–310 (2001)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Degani, A.: Modeling Human-Machine Systems: On Modes, Error, and Patterns of Interaction. PhD thesis, Georgia Institute of Technology (December 1996)
Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction 16, 97–166 (2001)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2004)
Fields, R.E.: Analysis of erroneous actions in the design of critical systems. PhD thesis, Department of Computer Science, University of York, Heslington, York, YO10 5DD (2001)
Grudin, J.: Desituating action: digital representation of context. Human-Computer Interaction 16, 257–268 (2001)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Holzmann, G.J.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)
Horrocks, I.: Constructing the User Interfaces with StateCharts. Addison-Wesley, Reading (1999)
Huth, M.R.A., Ryan, M.D.: Modelling and reasoning about systems. Cambridge University Press, Cambridge (2000)
Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK (2003)
K. Loer and M.D. Harrison. Analysing and modelling context in mobile systems to support design. http://homepages.cs.ncl.ac.uk/michael.harrison/ publications.htm , 2004.
McMillan, K.L.: Symbolic model checking. Kluwer, Dordrecht (1993)
Nilsson, J., Sokoler, T., Binder, T., Wetcke, N.: Beyond the control room: mobile devices for spatially distributed interaction on industrial process plants. In: Thomas, P., Gellersen, H.-W. (eds.) HUC 2000. LNCS, vol. 1927, pp. 30–45. Springer, Heidelberg (2000)
Paternò, F., Santoro, C.: Support for reasoning about interactive systems through human-computer interaction designers’ representations. The Computer Journal 6(4), 340–357 (2003)
Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75(2), 167–177 (2002)
Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human-Computer Interaction 15(1), 1–42 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Loer, K., Harrison, M.D. (2005). Analysing User Confusion in Context Aware Mobile Applications. In: Costabile, M.F., Paternò, F. (eds) Human-Computer Interaction - INTERACT 2005. INTERACT 2005. Lecture Notes in Computer Science, vol 3585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11555261_18
Download citation
DOI: https://doi.org/10.1007/11555261_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28943-2
Online ISBN: 978-3-540-31722-7
eBook Packages: Computer ScienceComputer Science (R0)