MAUI: An Interface Design Tool Based on Matrix Algebra

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.

[1]  Robert J. K. Jacob,et al.  A software model and specification language for non-WIMP user interfaces , 1999, TCHI.

[2]  Harold W. Thimbleby,et al.  User interface design with matrix algebra , 2004, TCHI.

[3]  Antoine Quint,et al.  Scalable Vector Graphics , 2020, Definitions.

[4]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

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

[6]  Emden R. Gansner,et al.  An open graph visualization system and its applications to software engineering , 2000, Softw. Pract. Exp..

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

[8]  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.

[9]  Stefano Crespi-Reghizzi,et al.  A scalable formal method for design and automatic checking of user interfaces , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[10]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[11]  Philippe A. Palanque,et al.  Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).

[12]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[13]  Rolf Drechsler,et al.  Binary Decision Diagrams - Theory and Implementation , 1998 .

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

[15]  Jeff Magee,et al.  Behavioral analysis of software architectures using LTSA , 1999, ICSE '99.

[16]  Harold Thimbleby.  Combining systems and manuals , 1998 .

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

[18]  C. Peng,et al.  SCALABLE VECTOR GRAPHICS (SVG) , 2000 .

[19]  G. Plotkin,et al.  Proof, language, and interaction: essays in honour of Robin Milner , 2000 .

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

[21]  David A. Duce,et al.  Scalable Vector Graphics SVG 1.0 Specification , 2000 .

[22]  J. Magree,et al.  Behavioral analysis of software architectures using LTSA , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).