Abstract
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.
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
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.
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.
Dix, A., Finlay, J., Abowd, G., and Beale, R., Human Computer Interaction, Prentice Hall, Englewood Cliffs, 1998.
Drechsler, R., Binary Decision Diagrams: Theory and Implementation, Kluwer Academics Publishers, Dordrecht, 1998.
Ferraiolo, J., Jackson, D., and Jun, F., Scalable Vector Graphics (SVG) 1.1 Specification, Recommendation, W3C, 2003, accessible at http://www.w3.org/TR/SVG11.
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.
Harell, D. and Marelly, R., Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer Verlag, Berlin, 2003.
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.
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.
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.
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.
Palanque, P. and Paternò, F., Formal Methods in Human-Computer Interaction, Springer-Verlag, Berlin, 1997.
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.
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.
Thimbleby, H., Permissive User Interfaces, International Journal of Human Computer Studies, Vol. 54, No. 3, 2001, pp. 333–350.
Thimbleby, H., User Interface Design with Matrix Algebra, ACM Transactions on Computer-Human Interaction, Vol. 11, No. 2, 2004, pp. 181–236.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Kluwer Academic Publishers
About this paper
Cite this paper
Gow, J., Thimbleby, H. (2005). MAUI: An Interface Design Tool Based on Matrix Algebra. In: Jacob, R.J., Limbourg, Q., Vanderdonckt, J. (eds) Computer-Aided Design of User Interfaces IV. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3304-4_7
Download citation
DOI: https://doi.org/10.1007/1-4020-3304-4_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3145-8
Online ISBN: 978-1-4020-3304-9
eBook Packages: Computer ScienceComputer Science (R0)