Analysing user confusion in context aware mobile applications

Authors:
K. Loer;M. D. Harrison
Affiliations:
Department Strategic Development, Germanischer Lloyd AG – Head Office, Hamburg, Germany;Informatics Research Institute, University of Newcastle upon Tyne, UK
Venue:
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Year:
2005

Citing 13
Cited 3

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Reasoning about knowledge

Reasoning about knowledge
Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Model checking

Model checking
Constructing the User Interface with Statecharts

Constructing the User Interface with Statecharts
Symbolic Model Checking

Symbolic Model Checking
Model Checking Interactor Specifications

Automated Software Engineering
Beyond the Control Room: Mobile Devices for Spatially Distributed Interaction on Industrial Process Plants

HUC '00 Proceedings of the 2nd international symposium on Handheld and Ubiquitous Computing
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Analyzing human-computer interaction as distributed cognition: the resources model

Human-Computer Interaction
A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications

Human-Computer Interaction
Desituating action: digital representation of context

Human-Computer Interaction
Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Exploring an Option Space to Engineer a Ubiquitous Computing System

Electronic Notes in Theoretical Computer Science (ENTCS)
Resources for Situated Actions

Interactive Systems. Design, Specification, and Verification
Factoring User Experience into the Design of Ambient and Mobile Systems

Engineering Interactive Systems

Quantified Score

Hi-index	0.00

Visualization

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.