Using Formal Models to Explore Display-Based Usability Issues

This paper addresses how user assumptions can be expressed mathematically so that they can be integrated with an abstract device model. Such an integrated model allows usability decisions to be made about abstract system models to complement the more traditional approach of usability evaluation by user testing.In particular, we address the question of what knowledge the user requires in order to successfully achieve a given task and the role the display plays in supplying and maintaining that knowledge. We illustrate our approach using a modelled web browser.We present two abstract models of the display and discuss how these differing designs affect user knowledge and therefore behaviour. We expose an apparently paradoxical result: that improving the user knowledge about the device may lead to more error-prone behaviour. This result leads us to a discussion of what it actually means (and does not mean) for a device to be `usable?.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

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

[3]  Richard M. Young,et al.  Programmable user models for predictive evaluation of interface designs , 1989, CHI '89.

[4]  Graham Storrs.  A Conceptualisation of Multiparty Interaction , 1994, Interact. Comput..

[5]  Philippe A. Palanque,et al.  Design, specification, and verification of interactive systems , 2001, SOEN.

[6]  Alan J. Dix,et al.  Specifying history and backtracking mechanisms , 1997 .

[7]  Saul Greenberg,et al.  How people revisit web pages: empirical findings and implications for the design of history systems , 1997, Int. J. Hum. Comput. Stud..

[8]  Michael D. Harrison,et al.  Design, Specification and Verification of Interactive Systems ’97 , 1997, Eurographics.

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

[10]  R. J. Beun,et al.  Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems , 1995 .

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

[12]  Panos Markopoulos,et al.  Design, Specification and Verification of Interactive Systems ’98 , 1998, Eurographics.

[13]  Cathleen Wharton,et al.  The cognitive walkthrough method: a practitioner's guide , 1994 .

[14]  Jakob Nielsen,et al.  Usability inspection methods , 1994, CHI 95 Conference Companion.

[15]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[16]  Andy Cockburn,et al.  Which way now? Analysing and easing inadequacies in WWW navigation , 1996, Int. J. Hum. Comput. Stud..

[17]  Michael D. Harrison,et al.  A Review of Formalisms for Describing Interactive Behaviour , 1994, ICSE Workshop on SE-HCI.

[18]  Ann Blandford,et al.  Specifying user knowledge for the design of interactive systems , 1996, Softw. Eng. J..

[19]  David A. Wroblewski,et al.  Proxies and wear: three methods for feedback in interactive systems , 1995 .

[20]  Ann Blandford,et al.  Users as rational interacting agents: formalising assumptions about cognition and interaction , 1997, DSV-IS.

[21]  Ann Blandford,et al.  Programmable user models: The story so far , 2000 .

[22]  Albert R. Meyer,et al.  Proceedings of the International Conference on Theoretical Aspects of Computer Software , 1991 .

[23]  Philippe A. Palanque,et al.  Monolingual, Articulated Modeling of Users, Devices, and Interfaces , 1996, DSV-IS.

[24]  Richard M. Young,et al.  The Role of Cognitive Architecture in Modeling the User: Soar's Learning Mechanism , 1997, Hum. Comput. Interact..

[25]  A. Newell.  Unified Theories of Cognition , 1990 .

[26]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[27]  Donald A. Norman,et al.  User Centered System Design: New Perspectives on Human-Computer Interaction , 1988 .

[28]  P. Palanque,et al.  Design, Specification and Verification of Interactive Systems ’95 , 2000, Eurographics.

[29]  Richard Butterworth,et al.  On biasing behaviour to the optimal , 1997, DSV-IS.

[30]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[31]  José Luiz Fiadeiro,et al.  Sharing Actions and Attributes in Modal Action Logic , 1991, TACS.

[32]  Keith Duncan,et al.  Cognitive Engineering , 2017, Encyclopedia of GIS.