User interface design with matrix algebra

It is usually very hard, both for designers and users, to reason reliably about user interfaces. This article shows that 'push button' and 'point and click' user interfaces are algebraic structures. Users effectively do algebra when they interact, and therefore we can be precise about some important design issues and issues of usability. Matrix algebra, in particular, is useful for explicit calculation and for proof of various user interface properties.With matrix algebra, we are able to undertake with ease unusally thorough reviews of real user interfaces: this article examines a mobile phone, a handheld calculator and a digital multimeter as case studies, and draws general conclusions about the approach and its relevance to design.

[1]  Harold W. Thimbleby,et al.  Calculators are needlessly bad , 2000, Int. J. Hum. Comput. Stud..

[2]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[3]  Harold W. Thimbleby,et al.  Permissive user interfaces , 2001, Int. J. Hum. Comput. Stud..

[4]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[5]  David E. Kieras,et al.  An Approach to the Formal Analysis of User Complexity , 1999, Int. J. Man Mach. Stud..

[6]  Harold W. Thimbleby,et al.  User interface design , 1990, ACM Press Frontier Series.

[7]  Eric T. Bell,et al.  The Philosophy of Mathematics , 1950 .

[8]  Ian Horrocks,et al.  Constructing the User Interface with Statecharts , 1999 .

[9]  David E. Kieras,et al.  An Approach to the Formal Analysis of User Complexity , 1999, Int. J. Man Mach. Stud..

[10]  Leslie Lamport,et al.  TLA in Pictures , 1995, IEEE Trans. Software Eng..

[11]  Harold W. Thimbleby,et al.  Intelligent Adaptive Assistance and its Automatic Generation , 1996, Interact. Comput..

[12]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[13]  R. Liebler.  Basic Matrix Algebra with Algorithms and Applications , 2002 .

[14]  Harold W. Thimbleby,et al.  MAUI: An Interface Design Tool Based on Matrix Algebra , 2004, CADUI.

[15]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[16]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[17]  Donald E. Knuth.  Two notes on notation , 1992 .

[18]  Harold Thimbleby,et al.  Usability analysis with Markov models , 2001, TCHI.

[19]  Stuart K. Card,et al.  Information foraging models of browsers for very large document spaces , 1998, AVI '98.

[20]  Richard M. Young,et al.  Programmable user models for predictive evaluation of interface designs , 1989, CHI '89.

[21]  Ann Blandford,et al.  Detecting Multiple Classes of User Errors , 2001, EHCI.

[22]  Marco Ruffino,et al.  J. R. Brown, Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures, Routledge, London and New York, 1999, 215 pages, paperback, GBP 14.99. , 2001 .

[23]  Harold Thimbleby,et al.  Analysis and Simulation of User Interfaces , 2000, BCS HCI.

[24]  R. Young.  Surrogates and mappings: two kinds of conceptual models for interactive , 1983 .

[25]  Stephen Wolfram,et al.  The Mathematica book (4th edition) , 1999 .

[26]  R. Gregory Taylor,et al.  Modern computer algebra , 2002, SIGA.

[27]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[28]  Marti A. Hearst,et al.  The state of the art in automating usability evaluation of user interfaces , 2001, CSUR.

[29]  Stephen J. Payne,et al.  Display-Based Action at the User Interface , 1991, Int. J. Man Mach. Stud..

[30]  Brad A. Myers,et al.  Past, Present and Future of User Interface Software Tools , 2000, TCHI.

[31]  Eric Harslem,et al.  Designing the STAR User Interface , 1987, ECICS.

[32]  Antonio C. Siochi,et al.  The UAN: a user-oriented representation for direct manipulation interface designs , 1990, TOIS.

[33]  Harold W. Thimbleby,et al.  Computer algebra in interface design research , 2004, IUI '04.

[34]  ThimblebyHarold.  User interface design with matrix algebra , 2004 .

[35]  Harold W. Thimbleby,et al.  Specification-led design for interface simulation. Collecting use-data, interactive help, writing manuals, analysis, comparing alternative designs, etc. , 1998, Personal Technologies.

[36]  Harold W. Thimbleby.  Reflections on symmetry , 2002, AVI '02.

[37]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[38]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[39]  Anthony I. Wasserman,et al.  Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.

[40]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[41]  J. L. Alty,et al.  The application of path algebras to interactive dialogue design , 1984 .

[42]  William M. Newman,et al.  A system for interactive graphical programming , 1968, AFIPS Spring Joint Computing Conference.

[43]  Ann Blandford,et al.  Specifying user knowledge for the design of interactive systems , 1996, Softw. Eng. J..