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


Première édition

Édité par Similar

This thesis describes a task model-based approach for developing interactive systems, where task models succeeded in supporting the various phases of the software development life cycle: from design, to verification,  to evaluation... Lire la suite

This thesis describes a task model-based approach for developing interactive systems, where task models succeeded in supporting the various phases of the software development life cycle: from design, to verification, to evaluation. Different techniques


This thesis describes a task model-based approach for developing interactive systems, where task models succeeded in supporting the various phases of the software development life cycle: from design, to verification, to evaluation. Different techniques have been used in the phases, all of them taking benefits from the expressiveness and flexibility provided by the CTT notation and the related tool.An application of the proposed approach to a case study in the Air Traffic Control domain has been illustrated in the thesis.


Livre broché - En anglais 11,80 €
Info Les commandes en ligne se font via notre partenaire i6doc.

Spécifications


Éditeur
Presses universitaires de Louvain
Auteur
Carmen Santoro,
Édité par
Similar,
Collection
SIMILAR
Langue
anglais
Catégorie (éditeur)
Sciences appliquées > Informatique
BISAC Subject Heading
COM000000 COMPUTERS
Code publique Onix
06 Professionnel et académique
CLIL (Version 2013-2019 )
3238 Réseaux et Télécommunications
Date de première publication du titre
01 janvier 2005
Subject Scheme Identifier Code
Classification thématique Thema: Technologie des communications / télécommunications
Type d'ouvrage
Thèse
Langue originale
anglais

Livre broché


Date de publication
2005
ISBN-13
978-2-93034-486-7
Ampleur
Nombre de pages de contenu principal : 214
Code interne
9782930344867
Format
16 x 24 x 1,2 cm
Poids
309 grammes
Prix
11,80 €
ONIX XML
Version 2.1, Version 3

Google Livres Aperçu


Publier un commentaire sur cet ouvrage

Si vous avez une question, utilisez plutôt notre formulaire de contact

Sommaire


A TASK MODEL-BASED APPROACH FOR THE DESIGN AND EVALUATION OF INNOVATIVE USER INTERFACES ....................... 3

CHAPTER 1- INTRODUCTION.................................................................. 5

1.1 OBJECTIVES ............................................................................................. 7

1.2 OUTLINE .................................................................................................. 8

CHAPTER 2 - TASK MODEL -RELATED CONCEPTS ....................... 11

2.1 MODEL-BASED APPROACHES ................................................................ 11

2.2 NORMAN'S ACTION CYCLE MODEL....................................................... 14

2.3 TASK ANALYSIS METHODS.................................................................... 15

2.3.1 Task Analysis ................................................................................. 15

2.3.2 Groupware Task Analysis (GTA)................................................... 19

2.4 TASK MODELLING ................................................................................. 20

2.4.1 Methode Analytique de Description des Taches (MAD)................ 21

2.4.2 Goals, Operators, Methods, and Selection Rules (GOMS) .......... 23

2.4.3 User Action Notation (UAN).......................................................... 24

2.4.4 Activity Diagrams .......................................................................... 25

2.4.5 Conclusions.................................................................................... 26

CHAPTER 3 - THE CONCURTASKTREES NOTATION AND THE RELATED ENVIRONMENT ..................................................................... 29

3.1 INTRODUCTION ...................................................................................... 29

3.2 THE CONCURTASKTREES NOTATION (CTT).......................................... 31

3.2.1 Task Properties .............................................................................. 32

3.2.2 Operators ....................................................................................... 35

3.3 CTT ENVIRONMENT (CTTE)................................................................. 37

CHAPTER 4 - A TASK MODEL-BASED APPROACH FOR THE DESIGN, VERIFICATION AND EVALUATION OF INTERACTIVE SYSTEMS............ 41

4.1 INTRODUCTION ...................................................................................... 41

4.2 THE MEFISTO APPROACH ...................................................................... 42

4.2.1 The Process Cycle.......................................................................... 43

4.2.2 The Design Cycle ........................................................................... 45

4.2.3 The Abstraction Cycle.................................................................... 46

4.3 THE PROPOSED APPROACH .................................................................... 49

CHAPTER 5 - HOW TO DESIGN INTERACTIVE SYSTEMS FROM TASK MODELS ........................................................................................... 55

5.1 INTRODUCTION ...................................................................................... 55

5.2 RELATED WORK .................................................................................... 57

5.3 SPECIFYING ABSTRACT DESCRIPTIONS OF USER INTERFACES................ 61

5.4 THE PROPOSED APPROACH .................................................................... 63

5.5 FROM TASK MODELS TO ABSTRACT USER INTERFACES ........................ 65

5.5.1 Identifying PTS and Transitions .................................................... 65

5.5.2 Applying Heuristics........................................................................ 67

5.5.3 Mapping PTS-Based Specifications onto Interactor-Based Descriptions ............................................................................................ 69

5.6 FROM AN ABSTRACT USER INTERFACE TO ITS IMPLEMENTATION.......... 75

5.7 A SIMPLE EXAMPLE............................................................................... 76

CHAPTER 6 - USING TASK MODELS TO VERIFY PROPERTIES OF AN INTERACTIVE SYSTEM.................................................................... 81

6.1 INTRODUCTION ...................................................................................... 81

6.2 RELATED WORK ................................................................................... 83

6.3 THE APPROACH...................................................................................... 85

6.4 FROM CTT TO LOTOS.......................................................................... 90

6.4.1 Single-User Task Models ............................................................... 92

6.4.2 Cooperative Task Models .............................................................. 96

6.5 PROPERTY FORMALISATION AND VERIFICATION.................................... 98

6.5.1 The Approach................................................................................. 98

6.5.2 Sample Properties.......................................................................... 99

6.6 INTEGRATING CTTE WITH A MODEL-CHECKING TOOL....................... 102

6.7 AN EXAMPLE OF APPLICATION ............................................................ 107

CHAPTER 7 - INTEGRATING TASK MODELS AND SYSTEM MODELS..................................................................................................... 111

7.1 INTRODUCTION .................................................................................... 111

7.2 SYSTEM MODELLING ........................................................................... 113

7.2.1 Petri Nets (PN)............................................................................. 113

7.2.2 Interactive Cooperative Objects (ICO)........................................ 115

7.2.3 PetShop Environment................................................................... 117

7.3 THE INTEGRATION FRAMEWORK ......................................................... 120

7.3.1 CTT Environment......................................................................... 125

7.3.2 ICO Environment......................................................................... 125

7.3.3 The Correspondence Editor......................................................... 126

7.3.4 Execution: the Scenario Player ................................................... 127

CHAPTER 8 - TASK MODEL–BASED EVALUATION OF INTERACTIVE SYSTEMS....................................................................... 129

8.1 INTRODUCTION .................................................................................... 129

8.2 RELATED WORK .................................................................................. 130

8.3 THE METHOD....................................................................................... 134

8.3.1 Organisation of the Evaluation.................................................... 137

8.4 AN EXAMPLE OF APPLICATION ........................................................... 139

8.4.1 Evaluating a Low-Level Task....................................................... 139

8.4.2 Evaluating a High-Level Task ..................................................... 141

CHAPTER 9 - A CASE STUDY................................................................ 143

9.1 INTRODUCTION .................................................................................... 143

9.2 THE ATC DOMAIN .............................................................................. 144

9.2.1 The En-route Phase...................................................................... 146

9.2.2 The Aerodrome Phase.................................................................. 148

9.3 APPLYING THE APPROACH TO THE CASE STUDY.................................. 151

9.3.1 Designing ATC User Interfaces................................................... 151

9.3.2 Verifying Properties..................................................................... 157

9.3.3 Integrating Task Models and System Models .............................. 163

9.3.4 Deviation-Based Evaluation ........................................................ 179

CHAPTER 10 - CONCLUSIONS AND FUTURE PERSPECTIVES... 187

REFERENCES............................................................................................ 191

TABLE OF CONTENTS ........................................................................... 207


Extrait


Texte intégral en PDF à télécharger gratuitement