Assessing usability from formal user-interface designs

The authors demonstrate the usability analysis of Object-Z user-interface designs. Usability can be defined in terms of five salient properties of an interactive system: task efficiency, reuse, user-computer communication, robustness and flexibility Formal user interface designs have been advocated as a basis for determining the usability of an interactive system prior to the expense of system development. However, to date, a comprehensive demonstration of the utility of formal designs for this purpose has not been forthcoming. We investigate the limitations of model-based methods, such as Object-Z as a basis for analysis of user interface designs.

[1]  Sebastiano Pizzutilo,et al.  Formal description and evaluation of user-adapted interfaces , 1998, Int. J. Hum. Comput. Stud..

[2]  Jifeng He,et al.  Specification, analysis and refinement of interactive processes , 1990 .

[3]  Ann Blandford,et al.  Using Formal Models to Explore Display-Based Usability Issues , 1999, J. Vis. Lang. Comput..

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

[5]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[6]  Michael D. Harrison,et al.  From Formal Models to Formal Methods , 1994, ICSE Workshop on SE-HCI.

[7]  Philippe A. Palanque,et al.  Validating interactive system design through the verification of formal task and system models , 1995, EHCI.

[8]  Karsten Loer,et al.  Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? , 2000, DSV-IS.

[9]  Rainer Gimnich.  Usability engineering and user interface management , 1991 .

[10]  David A. Duce,et al.  User interface management and design : proceedings of the Workshop on User Interface Management Systems and Environments, Lisbon, Portugal, June 4-6, 1990 , 1991 .

[11]  L. J. Johnston,et al.  Principles for a usability-oriented pattern language , 1998, Proceedings 1998 Australasian Computer Human Interaction Conference. OzCHI'98 (Cat. No.98EX234).

[12]  B. Schneirdeman,et al.  Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .

[13]  Michael D. Harrison,et al.  Verifying the Behaviour of Virtual Environment World Objects , 2000, DSV-IS.

[14]  David Carrington,et al.  Which widgets? deriving implementations from user-interface specifications , 1998, DSV-IS.

[15]  H. Rex Hartson,et al.  Temporal Aspects of Tasks in the User Action Notation , 1992, Hum. Comput. Interact..

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

[17]  David A. Carrington,et al.  Translating UAN into CSP , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[18]  David A. Carrington,et al.  Specifying Interactive Systems in Object-Z and CSP , 1999, IFM.

[19]  Michael D. Harrison,et al.  Mapping user requirements to implementations , 1995, Softw. Eng. J..

[20]  Gary Herrin,et al.  A guide to practical human reliability assessment , 1996 .

[21]  Graeme Smith,et al.  A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems , 1997, FME.

[22]  Andrew Hussey.  Formal object-oriented user-interface design , 2000, Proceedings 2000 Australian Software Engineering Conference.

[23]  Fabio Paternò,et al.  Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties , 2000, DSV-IS.

[24]  Brenda Laurel,et al.  Computers as theatre , 1991 .

[25]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[26]  Rocco De Nicola,et al.  An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..

[27]  DesignsAndrew Hussey,et al.  Assessing Usability from Formal User-Interface , 2000 .