MAUI: An Interface Design Tool Based on Matrix Algebra

  • Jeremy Gow
  • Harold Thimbleby


We describe MAUI, a user interface design tool that is based on a matrix algebra model of interaction. MAUI can be used to build and analyse designs for interactive systems, such as handheld devices. This paper describes MAUI, its advantages and underlying mathematical approach. MAUI is implemented in Java and XML, which allows flexible integration with other parts of the design life cycle, such as prototyping, implementation and documentation.


Finite state machines Matrix algebra User interface design XML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Berry, G., The foundations of Esterel, in G. Plotkin, C. Stirling, M. Tofte (eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner, The MIT Press, Cambridge, 1998.Google Scholar
  2. [2]
    Berstel, J., Reghizzi, S.C., Roussel, G., and Pietro, P.S., A Scalable Formal Method for Design and Automatic Checking of User Interfaces, in Proc. of the 23rd International Conference on Software Engineering ICSE’01 (Toronto, 12–19 May 2001), IEEE Computer Society Press, Los Alamitos, 2001, pp. 453–462.Google Scholar
  3. [3]
    Dix, A., Finlay, J., Abowd, G., and Beale, R., Human Computer Interaction, Prentice Hall, Englewood Cliffs, 1998.Google Scholar
  4. [4]
    Drechsler, R., Binary Decision Diagrams: Theory and Implementation, Kluwer Academics Publishers, Dordrecht, 1998.Google Scholar
  5. [5]
    Ferraiolo, J., Jackson, D., and Jun, F., Scalable Vector Graphics (SVG) 1.1 Specification, Recommendation, W3C, 2003, accessible at Scholar
  6. [6]
    Gansner, E. and North, S., An Open Graph Visualization System and its Applications to Software Engineering, Software Practice & Experience, Vol. 30, No. 11, 2000, pp. 1203–1233.Google Scholar
  7. [7]
    Harell, D. and Marelly, R., Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer Verlag, Berlin, 2003.Google Scholar
  8. [8]
    Ivory, M.Y. and Hearst, M.A., The State of the Art in Automating Usability Evaluation of User Interfaces, ACM Computing Surveys, Vol. 33, No. 4, 2001, pp. 470–516.CrossRefGoogle Scholar
  9. [9]
    Jacob, R.J.K, Deligiannidis, L., and Morrison, S., A Software Model and Specification Language for Non-WIMP User Interfaces, ACM Transactions on Computer-Human Interaction, Vol. 6, No. 1, March 1999, pp. 1–46.CrossRefGoogle Scholar
  10. [10]
    Magee, J., Behavioral Analysis of Software Architectures Using LTSA, in Proc. of 21st International Conference on Software Engineering ICSE’99 (Los Angeles, 16–22 May 1999), ACM Press, New York, 1999, pp. 634–637.Google Scholar
  11. [11]
    Newman, W.M., A System for Interactive Graphical Programming, in Proceedings of the AFIPS 1968 Spring Joint Computer Conference (Atlantic City, 30 April–2 May 1968), Vol. 32, American Federation of Information Processing Societies, Thomson Book Company, Washington, 1968, pp. 47–54.Google Scholar
  12. [12]
    Palanque, P. and Paternò, F., Formal Methods in Human-Computer Interaction, Springer-Verlag, Berlin, 1997.Google Scholar
  13. [13]
    Parnas, D.L., On the Use of Transition Diagrams in the Design of a User Interface For an Interactive Computer System, in Proc. of the 24th ACM National Conference (26–28 August 1969), ACM Press, New York, 1969, pp. 379–385.Google Scholar
  14. [14]
    Thimbleby, H., Combining Systems and Manuals, in J.L. Alty, D. Diaper, S.P. Guest (eds.), People and Computers VIII, Proceedings of the BCS-HCI Conference on Human-Computer Interaction HCI’93 (Loughborough, 7–10 September 1993), Cambridge University Press, Cambridge, 1993, pp. 479–488.Google Scholar
  15. [15]
    Thimbleby, H., Permissive User Interfaces, International Journal of Human Computer Studies, Vol. 54, No. 3, 2001, pp. 333–350.CrossRefzbMATHGoogle Scholar
  16. [16]
    Thimbleby, H., User Interface Design with Matrix Algebra, ACM Transactions on Computer-Human Interaction, Vol. 11, No. 2, 2004, pp. 181–236.CrossRefGoogle Scholar
  17. [17]
    Thimbleby, H., Cairns, P., and Jones, M., Usability Analysis with Markov Models, ACM Transactions on Computer-Human Interaction, Vol. 8, No. 2, 2001, pp. 99–132.CrossRefGoogle Scholar
  18. [18]
    Wasserman, A.I., Extending State Transition Diagrams for the Specification of Human Computer Interaction, IEEE Transactions on Software Engineering, SE-11, No. 8, 1985, pp. 699–713.Google Scholar

Copyright information

© Kluwer Academic Publishers 2005

Authors and Affiliations

  • Jeremy Gow
    • 1
  • Harold Thimbleby
    • 1
  1. 1.UCL Interaction Centre (UCLIC)University College LondonLondonUK

Personalised recommendations