A task model-based approach for the design and evaluation of innovative user interfaces

De nos jours, l'avenement de l'Internet sans fil et l'extension rapide des nouvelles technologies sur le marche grand public ont represente un stimulus important pour proposer un developpement de systemes interactifs capable de supporter une variete grandissante d'utilisateurs, de tâches, de dispositifs et de contextes. Dans cette these nous presentons les avantages lies a l'utilisation des modeles de tâches dans les diverses etapes du cycle de vie d'un systeme interactif. En effet, nous montrons comment ils peuvent jouer un role important dans la phase de specification et du recensement des besoins par exemple, en exigeant une description precise des relations temporelles entre les differentes activites qui devraient etre executees, ceci evitant ainsi toutes ambiguites. En outre, nous decrivons comment les modeles de tâches peuvent etre exploites lors du developpement du logiciel : au dela d'une pre analyse, ils peuvent fournir des informations precieuses pour la conception des systemes interactifs en donnant un certain nombre de criteres specifiant comment utiliser les donnees contenues dans les modeles de tâches dans le but de guider la conception de l'interface. De plus, nous analysons comment ils peuvent etre utilises pour faire des verifications des proprietes du systeme modelise (en le combinant avec d'autres modeles) ameliorant ainsi le niveau de confiance envers le systeme. Enfin, nous montrons les benefices qui peuvent etre retires de l'utilisation des modeles de tâches dans la phase d'evaluation.

[1]  Alistair G. Sutcliffe,et al.  Task-related information analysis , 1997, Int. J. Hum. Comput. Stud..

[2]  Philippe A. Palanque,et al.  A Visual and Formal Glue between Application and Interaction , 1999, J. Vis. Lang. Comput..

[3]  Fabio Paternò,et al.  Design and development of multidevice user interfaces through multiple logical descriptions , 2004, IEEE Transactions on Software Engineering.

[4]  James D. Foley,et al.  History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation , 1994, DSV-IS.

[5]  John Rushby,et al.  Using model checking to help discover mode confusions and other automation surprises , 2002, Reliab. Eng. Syst. Saf..

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

[7]  Mary Beth Rosson,et al.  Scenario-based design , 2002 .

[8]  Ann Blandford,et al.  Detecting Multiple Classes of User Errors , 2001, EHCI.

[9]  Rocco De Nicola,et al.  An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1991, CAV.

[10]  David E. Kieras,et al.  The GOMS family of user interface analysis techniques: comparison and contrast , 1996, TCHI.

[11]  R. Aho,et al.  Pruning Duplicate Nodes in Depth-First Search , 1993 .

[12]  Erik Hollnagel,et al.  Human Reliability Analysis: Context and Control , 1994 .

[13]  Gerrit C. van der Veer,et al.  An Ontology for Task World Models , 1998, DSV-IS.

[14]  Cathleen Wharton,et al.  Cognitive Walkthroughs: A Method for Theory-Based Evaluation of User Interfaces , 1992, Int. J. Man Mach. Stud..

[15]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[16]  John A. McDermid,et al.  A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[17]  Peter Johnson,et al.  Beyond Hacking: a Model Based Approach to User Interface Design , 1993 .

[18]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[19]  Waldemar Karwowski Goals Operators Methods and Selection Rules (GOMS) , 2006 .

[20]  K. D. Duncan,et al.  TASK ANALYSIS AND TRAINING DESIGN. , 1967 .

[21]  Fabio Paternò,et al.  Automatic Support for Usability Evaluation , 1998, IEEE Trans. Software Eng..

[22]  Fabio Paternò,et al.  A Semantics‐based Approach for the Design and Implementation of Interaction Objects , 1994, Comput. Graph. Forum.

[23]  Charles Radley,et al.  Safeware: System safety and computers. A guide to preventing accidents and losses caused by technology , 1996 .

[24]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[25]  Chris W. Johnson,et al.  Using Reason’s Model of Organisational Accidents in Formalising Accident Reports , 1999, Cognition, Technology & Work.

[26]  G. E. Pfaff,et al.  User Interface Management Systems , 1985, Eurographic Seminars.

[27]  Jacob Eisenstein,et al.  Towards a general computational framework for model-based interface development systems , 1998, IUI '99.

[28]  Radu Mateescu,et al.  An overview of CADP 2001 , 2001 .

[29]  Gregory D. Abowd,et al.  A formal technique for automated dialogue development , 1995, Symposium on Designing Interactive Systems.

[30]  Alberto Del Bimbo,et al.  A Visual Formalism for Computational Tree Logic , 1999, J. Vis. Lang. Comput..

[31]  Fabio Paternò,et al.  Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices , 2004, Human Error, Safety and Systems Development.

[32]  David V. Beard,et al.  QGOMS: a direct-manipulation tool for simple GOMS models , 1996, CHI Conference Companion.

[33]  Michael D. Harrison,et al.  Model Checking Interactor Specifications , 2001, Automated Software Engineering.

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

[35]  Angel R. Puerta,et al.  A Model-Based Interface Development Environment , 1997, IEEE Softw..

[36]  Richard Sharp 2. Related Work , 2004 .

[37]  Kimberly C. Parsons,et al.  Work with display units1215 May 1986, Stockholm , 1986 .

[38]  Ping Luo,et al.  Beyond interface builders: model-based interface tools , 1993, INTERCHI.

[39]  Mik Lamming,et al.  Interactive system design , 1995 .

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

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

[42]  John R. Lee,et al.  User Interface Management and Design , 1991, EurographicSeminars.

[43]  H B TIMMERMAN,et al.  What is task analysis? , 1951, Bulletin of the Medical Library Association.

[44]  Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..

[45]  Fabio Paterno Design, specification, verification of interactive systems: an international workshop sponsored by EUROGRAPHICS, ERCIM and CNUCE-CNR , 1994, SGCH.

[46]  Marti A. Hearst,et al.  Comparing Performance and Usability Evaluation : New Methods for Automated Usability Assessment , 1999 .

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

[48]  Michael D. Byrne,et al.  A comparison of tools for building GOMS models , 2000, CHI.

[49]  Kevin Mullet,et al.  Designing Visual Interfaces , 1996, SGCH.

[50]  Jean Vanderdonckt,et al.  A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype , 1994, DSV-IS.

[51]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[52]  Fabio Paternò A Theory of User-interaction Objects , 1994, J. Vis. Lang. Comput..

[53]  R. M. Pitblado,et al.  A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .

[54]  Gerrit C. van der Veer,et al.  Euterpe - Tool support for analyzing cooperative environments , 1998 .

[55]  Fabio Paternò,et al.  Formal verification of undesired behaviours in the CERD case study , 1995, EHCI.

[56]  Fabio Paternò,et al.  User Interface Evaluation When User Errors May Have Safety-Critical Effects , 2001, INTERACT.

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

[58]  Enrico Vicario,et al.  Engineering the usability of visual formalisms: a case study in real time logics , 1998, AVI '98.

[59]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[60]  Marc Rettig,et al.  Prototyping for tiny fingers , 1994, CACM.

[61]  Norman W. Paton,et al.  The Teallach Tool: Using Models for Flexible User Interface Design , 1999, CADUI.

[62]  Tom Carey,et al.  Human-computer interaction , 1994 .

[63]  Arthur Dainley-Neeles,et al.  The Approach , 1925 .

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

[65]  Fabio Paternò,et al.  CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..

[66]  Philippe A. Palanque,et al.  Petri net objects for the design, validation and prototyping of user-driven interfaces , 1990, INTERACT.

[67]  Fabio Paternò,et al.  Towards a UML for Interactive Systems , 2001, EHCI.

[68]  Fabio Paternò,et al.  Model-Based Design of Speech Interfaces , 2003, DSV-IS.

[69]  Roland S. Burns,et al.  2 – System modelling , 2001 .

[70]  Radu Mateescu,et al.  Vérification des propriétés temporelles des programmes parallèles , 1998 .

[71]  Philippe A. Palanque,et al.  Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques , 1997, Interact. Comput..

[72]  Shailey Minocha,et al.  An impact analysis method for safety-critical user interface design , 1999, TCHI.

[73]  Michael D. Harrison,et al.  The Role of Verification in Interactive Systems Design , 1998, DSV-IS.

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

[75]  Birgit Bomsdorf,et al.  Specification and simulation of task models with VTMB , 1999, CHI EA '99.

[76]  Fabio Paternò,et al.  Deriving Presentations from Task Models , 1998, EHCI.

[77]  Alain Kerbrat,et al.  CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.

[78]  Chin-Laung Lei,et al.  Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) , 1986, LICS.

[79]  Fabio Paternò,et al.  Tool support for designing nomadic applications , 2003, IUI '03.

[80]  Fabio Paternò,et al.  Using information in task models to support design of interactive safety-critical applications , 2000, AVI '00.

[81]  Ray Waddington,et al.  Task-Related Knowledge Structures: Analysis, Modelling and Application , 1988, BCS HCI.

[82]  M. van Welie,et al.  Task-based User Interface Design , 2001 .

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

[84]  Philippe A. Palanque,et al.  Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems , 1997, INTERACT.

[85]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[86]  Joëlle Coutaz,et al.  PAC, an Object Oriented Model for Dialog Design , 1987 .

[87]  A J McKnight,et al.  TASK ANALYSIS METHODS , 1970 .