Abstract
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach to interface specification [12]. We also present a novel algorithm for automatically identifying modes in state-based interface designs, allowing a significant level of automated tool support for our methodology. The present paper generalises our previous work on improving state-based interface designs [5].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bredereke, J., Lankenau, A.: A rigorous view of mode confusion. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 19–31. Springer, Heidelberg (2002)
Clarke, E.M., Emmerson, E.A., Sistla, A.P.: Model Checking. MIT Press, Cambridge (1999)
Degani, A.: Modelling human-machine systems: On modes, error and patterns of interaction. PhD thesis, Georgia Institute of Technology (1996)
Gow, J., Thimbleby, H.: MAUI: An interface design tool based on matrix algebra. In: Jacob, R.J.K., Vanderdonckt, J. (eds.) Computer-Aided Design of User Interfaces IV, Proc. CADUI 2004. Kluwer, Dordrecht (2004)
Gow, J., Thimbleby, H., Cairns, P.: Misleading behaviour in interactive systems. In: Dearden, A., Watts, L. (eds.) Proc. 18th British HCI Group Annual Conference (HCI 2004), vol. 2 (2004)
Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)
Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)
Leveson, N.G., Pinnel, L.D., Sandys, S.D., Koga, S., Reese, J.D.: Analyzing software specifications for mode confusion potential. In: Johnson, B.W. (ed.) Proc. Workshop on Human Error & System Development, Glasgow, pp. 132–146 (1997)
Miller, S.P., Potts, J.N.: Detecting Mode Confusion Through Formal Modeling and Analysis. NASA Contractor Report, NASA/CR-1999-208971 (1999)
Rushby, J.: Using model checking to help discover mode confusions & other automation surprises. Reliability Engineering & System Safety 75(2), 167–177 (2002)
Thimbleby, H.: Character level ambiguity: Consequences for user interface design. International Journal of Man-Machine Studies 16, 211–225 (1982)
Thimbleby, H.: User interface design with matrix algebra. ACM Transactions on Computer-Human Interaction 11(2), 181–236 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gow, J., Thimbleby, H., Cairns, P. (2006). Automatic Critiques of Interface Modes. In: Gilroy, S.W., Harrison, M.D. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2005. Lecture Notes in Computer Science, vol 3941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752707_17
Download citation
DOI: https://doi.org/10.1007/11752707_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34145-1
Online ISBN: 978-3-540-34146-8
eBook Packages: Computer ScienceComputer Science (R0)