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].
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
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)