Comparing non-deterministic models of tasks and de- vices

This paper discusses a simple model of the temporal behaviour of users and devices. A range of possible comparisons that can be drawn between the two models is examined. Without assuming a theory of cognition or a process model for user interface software design, this exercise reveals a significant range design issues and demonstrates how the simplest models of interaction can provide a framework for reasoning about usability.

[1]  Juan Quemada,et al.  State Exploration by Transformation with LOLA , 1989, Automatic Verification Methods for Finite State Systems.

[2]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[3]  Fabio Paternò,et al.  Reusable structures in task models , 1997, DSV-IS.

[4]  Stephen W. Draper.  The notion of task in HCI , 1993, CHI '93.

[5]  José A. Mañas,et al.  Getting to Use the Lotosphere Integrated Tool Environment (Lite) , 1995 .

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

[7]  Fabio Paternò,et al.  On the use of LOTOS to describe graphical interaction , 1993 .

[8]  Gerrit C. van der Veer,et al.  ETAG: Some applications of a formal representation of the user interface , 1990, INTERACT.

[9]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[10]  Peter Johnson,et al.  Bridging the Generation Gap: From Work Tasks to User Interface Designs , 1996, CADUI.

[11]  Gregory D. Abowd,et al.  Modelling status and event behaviour of interactive systems , 1996, Softw. Eng. J..

[12]  Peter Johnson,et al.  Human computer interaction: Psychology, task analysis, and software engineering , 1992 .

[13]  Joseph Sifakis,et al.  A Toolbox For The Verification Of LOTOS Programs , 1992, International Conference on Software Engineering.

[14]  Thomas P. Moran,et al.  The Command Language Grammar: A Representation for the User Interface of Interactive Computer Systems , 1981, Int. J. Man Mach. Stud..

[15]  Panagiotis Markopoulos,et al.  A compositional model for the formal specification of user interface software , 2013 .

[16]  Steve Howard,et al.  Human-Computer Interaction INTERACT ’97 , 1997, IFIP — The International Federation for Information Processing.

[17]  Joseph Sifakis,et al.  Automatic Verification Methods for Finite State Systems , 1989, Lecture Notes in Computer Science.

[18]  Mark Green,et al.  Report on Dialogue Specification Tools , 1984, Comput. Graph. Forum.

[19]  Peter Johnson,et al.  Formal aspects of task based design , 1997, DSV-IS.

[20]  Hendrik Brinksma,et al.  A Theoretical and Methodological Framework to Conformance Testing , 1990 .

[21]  Johnny Accot,et al.  A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems , 1996, DSV-IS.