Assessing Usability from Formal User-Interface

In this paper we demonstrate usability analysis of Object-Z user-interface designs. Usability can be deened in terms of ve salient properties of an interactive system: task eeciency, reuse, user-computer communication, robustness and exibility. Formal user-interface designs have been touted 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 show that formal user-interface designs provide a valuable basis for usability analysis.

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

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

[3]  Ann Blandford,et al.  Using Interaction Framework to guide the design of interactive systems , 1995, Int. J. Hum. Comput. Stud..

[4]  Fabio Paterno.  A formal approach to the evaluation of interactive systems , 1994, SGCH.

[5]  Allen Newell,et al.  The keystroke-level model for user performance time with interactive systems , 1980, CACM.

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

[7]  Anthony Hall.  Using Formal Methods to Develop an ATC Information System , 1996, IEEE Softw..

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

[9]  Gregory D. Abowd.  Formal descriptions of user interfaces , 1991 .

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

[11]  Gregory D. Abowd,et al.  Formal Aspects of Human-computer Interaction , 1991 .

[12]  Philippe A. Palanque,et al.  Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism , 1994, DSV-IS.

[13]  Mark Green,et al.  A survey of three dialogue models , 1986, TOGS.

[14]  Harold Thimbleby.  Specification-led design for interface simulation, collecting use-data, interactive help, writing manuals, analysis, etc , 1998 .

[15]  Gregory D. Abowd,et al.  Agents: Communicating interactive processes , 1990, IFIP TC13 International Conference on Human-Computer Interaction.

[16]  Michael D. Harrison,et al.  Interaction and Task Requirements , 1995, DSV-IS.

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

[18]  Jakob Nielsen,et al.  Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared , 1993, INTERCHI.

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

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

[21]  Joëlle Coutaz,et al.  Agent-Based Architecture Modelling for Interactive Systems , 1996 .

[22]  Bernard Sufrin.  Formal Specification of a Display-Oriented Text Editor , 1982, Sci. Comput. Program..

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

[24]  Jonathan Jacky,et al.  From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine , 1995, ZUM.

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

[26]  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).

[27]  Michael D. Harrison,et al.  Folding Human Factors into Rigorous Development , 1994, DSV-IS.

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

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

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

[31]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

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

[34]  Ann Blandford,et al.  Modelling Interactive Systems and Providing Task Relevant Information , 1994, DSV-IS.

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

[36]  B. Fields,et al.  From informal requirements to agent-based specification , 1994, SGCH.

[37]  Fabio Paternó.  A Methodology for a Task-driven Modelling of Interactive Systems Architectures , 1996 .

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