M

1
Méthode TOOD pour la spécification et la
conception des systèmes interactifs

• Mourad ABED
• Vendredi 07 Mai 2004
• Réunion MFI à Paris

2
Introduction générale

• Percée des NTIC, prépondérance des systèmes
  interactifs dans tous les domaines (systèmes
  dinformation, systèmes grand public,
  supervision)

Interface Utilisateur
Objectifs
Noyau
Perception
Module de sortie
Présentation
Actions
Module d entrée
Exécution

• Nécessité de maîtrise de la conception des
  systèmes interactifs
• Conception dinterface utilisateur basée sur les
  modèles (Model-Based user interface Design, MBD)

3
Plan

• Cycles de développement et outils de base en
  conception des IHM
• TOOD  Modèle générique et formalismes de base
• TOOD  Démarche méthodologique
• TOOD Environnement de développement
• CP Conclusion et perspectives de recherche

4
Cycles de développement

• Modèles classiques du génie logiciel 
• modèle en cascade Royce, 1970, Boehm, 1981
• modèle en V McDermid et Ripkin, 1984
• modèle spirale Boehm et al., 1984
• modèle en X Verilog, 1991

• Limites vis-à-vis des systèmes interactifs
• trop génériques
• analyse de tâche
• facteurs humains
• prototypage
• évaluation itérative

5
Cycles de développement

• Modèles enrichis pour le développement des
  systèmes interactifs Long et Denley, 1990
  Curtis et Hefley, 1994
• modèle en Étoile Hix et al., 1993
• modèle en V étendu Coutaz, 95
• modèle Nabla Kolski, 97

• Apports
• prise en compte des facteurs humains
• cycles itératifs

• Limites
• manque de couverture des étapes
• connaissance et acceptation par le concepteur

6
Outils de base  Modèles de la Tâche
Cycle en V
Modèles de la Tâche (MT) ALG Reisner,
1984, CLG Moran, 1981, TAG Payne et Green,
1986, ETAG Tauber, 1990, UAN Hartson et
Gray, 1992, HTA Annett et Ducan, 1967, GOMS
Card et al., 1983, KLM Card et Moran, 1980,
TKS Johnson et Johnson, 1991, KB Boy,
1989

• planification de tâches
• relations entre tâches
• représentation des états du système et des
  séquences opératoires

• Limites
• sémantique informelle
• représentation inexistante ou partielle des
  données utilisées par les tâches
• peu adaptés aux contextes multi-utilisateur
• faible prise en compte des interruptions

7
Outils de base  Modèles de lUtilisateur
Cycle en V
Modèles de lUtilisateur (MU) ACT Anderson,
1983, ICS Barnard et May, 1994, CCT Kieras et
Polson, 1985, COSIMO Cacciabue et al., 1992,
Théorie de laction Norman, 1986, Modèle de
Rasmussen Rasmussen, 1980

• Modélisation cognitive de lutilisateur
• Intervention de spécialistes des facteurs humains

• Limite
• Peu intégrés dans le cycle de développement

8
Outils de base  Architectures
Cycle en V
Architectures Conceptuelles SEEHEIM Pfaff,
1985, ARCH Bass et al., 1991, PAC Coutaz,
1987, Pac-Amodeus Nigay, 1994 ...

• Séparation entre lapplication et les fonctions
  chargées dassurer linteraction avec
  lutilisateur
• Passage à des modèles plus orientés vers
  limplémentation

9
Outils de base  Formalismes
Cycle en V
Formalismes de conception HOOD Michel,
1991, OOA, OOD Coad et Yourdon, 1992
1993, OMT Rumbaugh et al., 1991, UML Booch et
al., 1999, Formalismes à états Woods,
1970, RdP et ses variantes Petri, 1962,
Jensen, 1980, David et Alla, 1992, ICO
Palanque et Bastide, 1995 ...
Choix dun formalisme de spécification
décision stratégique du processus de
développement Critères  pouvoir dexpression,
adéquation avec le cycle de développement,
aspects (temporels, concurrence, interruptions),
analyse prédictive (vérification des propriétés
du système, performance), capacité de générer
tout ou partie du système
10
Outils de base  Implémentation
Cycle en V
Environnements et outils dimplémentation ILOG
ILOG, 1994, OpenStep Next, 1992, Java AWT
Geary et Mc Clellan, 1997, Java Swing Geary,
1999
11
Conception à base de modèles
Cycle en V
Approche à base de modèles MASTERMIND Szekely
et al., 1995, MOBI-D Puerta et Maulsby,
1997, ADEPT Johnson et al., 1993, TADEUS
Elwert et al., 1994, ALACIE Gamboa-Rodriguez,
1997, DIANE Tarby, 1993, TRIDENT Bodart et
al., 1995 ,Vanderdonckt, 1997, FUSE
Lonczewski et Schreiber, 1996, TLIM Paternò et
Mancini, 1999, CTT/ICO Navarre, 2001, ...
CADUI  CHI  UIST  IHM
12
MB-IDE   Modèle

• Modèle de la tâche (MT)
• Représente la tâche utilisateur
• Ou la tâche informatisée
• Modèle du domaine (MD)
• Objets manipulés par lapplication interactive
• Utilisation dans les tâches
• Modèle de lutilisateur (MU)
• Liste de préférences
• Représentation détaillée du comportement de
  lutilisateur

Modèle

• Modèle de la Tâche,
• Modèle du Domaine,
• Modèle de lUtilisateur

Modèle Abstrait de lInterface
Modèle Concret de lInterface
13
MB-IDE   Conclusion
Critères MB-IDE Modèles Modèles Modèles Modèles Modèles Nombre de Notation(s)
Critères MB-IDE Tâche Domaine Utilisateur Abstrait Concret Nombre de Notation(s)
MASTERMIND X X X 1
MOBI-D X X X 1
ADEPT X X X X plusieurs
TADEUS X X X X X plusieurs
ALACIE X X X plusieurs
DIANE X X X plusieurs
TRIDENT X X X X plusieurs
FUSE X X X X X plusieurs
TLIM X X X plusieurs
CTT/ICO X X X X plusieurs
14
MB-IDE   Conclusion
Critères MB-IDE Modèles Modèles Modèles Modèles Modèles Nombre de Notation(s)
Critères MB-IDE Tâche Domaine Utilisateur Abstrait Concret Nombre de Notation(s)
MASTERMIND X X X 1
MOBI-D X X X 1
ADEPT X X X X plusieurs
TADEUS X X X X X plusieurs
ALACIE X X X plusieurs
DIANE X X X plusieurs
TRIDENT X X X X plusieurs
FUSE X X X X X plusieurs
TLIM X X X plusieurs
CTT/ICO X X X X plusieurs
15
MB-IDE  Conclusion
Critères MB-IDE Modèles Modèles Modèles Modèles Modèles Nombre de Notation(s)
Critères MB-IDE Tâche Domaine Utilisateur Abstrait Concret Nombre de Notation(s)
MASTERMIND X X X 1
MOBI-D X X X 1
ADEPT X X X X plusieurs
TADEUS X X X X X plusieurs
ALACIE X X X plusieurs
DIANE X X X plusieurs
TRIDENT X X X X plusieurs
FUSE X X X X X Plusieurs
TLIM X X X Plusieurs
CTT/ICO X X X X plusieurs

TOOD X X X X X 1
16
Conclusion

• Exigences
• Représentation de la tâche utilisateur
• Intégration dun modèle de lutilisateur
• Considération dune architecture
• Utilisation de formalismes utilisables tout au
  long du cycle

17
Plan

• Cycles de développement et outils de base en
  conception des IHM
• TOOD  Modèle générique et formalismes de base
• TOOD  Démarche méthodologique
• TOOD Environnement de développement
• CP Conclusion et perspectives de recherche

18
Objectifs

• Fournir un support méthodologique pour lanalyse
  de la tâche et la conception dinterface
• Utiliser un formalisme unique
• Modéliser les contextes multi-utilisateurs
• Fournir un outil de capitalisation de conception

19
TOOD  modèle générique
Modèle de la Tâche
Modèle des Objets du Domaine
Modèle de lUtilisateur
Modèle Local de lInterface
Spécialisation
Modèle Abstrait de lInterface
Modèle dImplémentation de lInterface
Modèle Générique
20
TOOD  modèle générique

• Prise en compte simultanée des aspects statiques
  et des aspects dynamiques

• Orientation Objet
• (Aspects de structuration
• classification, encapsulation, héritage)
• Réseaux de Petri Objet
• (Aspects dynamiques ou comportementaux
• concurrence, synchronisation)

21
Structure de la Classe_TOOD
Classe_TOOD Interface dentrée, Interface de
sortie, Identificateurs
Nom
Ox
22
Identificateurs de la Classe-TOOD
Nom

• Nom
• Définit lobjet dans le vocabulaire utilisé par
  les utilisateurs
• Description
• Explication dans les termes usuels du domaine

Ox
23
Identificateurs de la Classe-TOOD
Nom

• Indice
• identifiant formel de lobjet
• Hiérarchie
• Organisation de composition
• Les carrés représentent le nombre dobjets fils
  composant lobjet composé

Ox
24
Descripteurs de la Classe-TOOD
Enclencheurs Evénements qui déclenchent la
réalisation d'un service par l'objet
E
25
Descripteurs de la Classe-TOOD
Contrôles Informations qui doivent être
vérifiées durant un service, données non
modifiables dans la réalisation dun service
C
26
Descripteurs de la Classe-TOOD
Données dentrée Informations demandées lors de
l'exécution du service, modifiables pendant
celle-ci
I
27
Descripteurs de la Classe-TOOD
Réactions Résultats produits par la réalisation
du service. En fonction de cette réaction,
répétition du service ou déclenchement dun autre
R
28
Descripteurs de la Classe-TOOD
Données de sortie Données transformées ou
créées par le service
O
29
Objets-descripteurs
Demande du service 1
Classe REACTION Nom   Indice Référence 
ok
Nom
Oi
Classe CONTROLE Nom   Indice Référence 
E
R
C
O
I
Classe SORTIE Nom   Indice Référence 
30
Modèle dynamique

• Décrire le comportement de lobjet
• Préciser les coopérations inter-objets
• Définir la structure dexécution des actions lors
  dun appel de service
• Utilisation des Réseaux de Petri Objet (RPO)
  Sibertin-blanc, 1985

31
Modèle dynamique  ObCS
32
Communications inter-objets
Objet i
Oi
Flux Externe
Objet i2
Oi2
Flux Interne
Objet i1
Oi1
P1
P1
ltii2-1gt
ltei2-1gt
ltei1-1gt
ltci2-1gt
ltOi2-1gt
t3 (Op2)
Ei-1
Ri-1
Afficher ...
Oi-1
Ei2-1 Ei2-2
Ci-1
ltei2-2gt
Ei1-1
P2
Ri2-1 Ri2-2
Ci2-1
Ii-1
Ri1-1
t2 (Op2)
Oi2-1
Ii2-1
Intégrer ...
ltri1-1gt
P3
Fermer ...
t3 (Op3)
33
TOOD  modèle générique
O1
Objet
Classe ltNomgt Identification Indice 
Oi Description  Est_un  Objet_père  Objets_fils
  Spécification Evénements - E1-1 -- -
Contrôle/Commande - C1-1 Entrées -
I1-1 Sorties - O1-1 Réactions -
R1-1 -- - Implémentation Attributs -
att1 -- - att2 -- Actions - t1
DECLENCHEMENT -- Param lt E1-1 C1-1
I1-1 gt Précon C1-1 vrai Act Att1
1 Att2 I1-1 //Description du service
//.
P1
Précondition
ltegt
t1
Action 1
E1-1
ltogt
R1-1
?
P2
C1-1
ltcgt
O1-1
ltigt
ltogt
ltrgt
t2
I1-1
Action 2
ltogt
ltxgt
?
P3
ltxgt
t3
Action 3
34
Plan

• Cycles de développement et outils de base en
  conception des IHM
• TOOD  Modèle générique et formalismes de base
• TOOD  Démarche méthodologique
• TOOD Environnement de développement
• CP Conclusion et perspectives de recherche

35
Cycle de développement de TOOD
Analyse des besoins
Modèle des Objets du Domaine (MOD)
T
Nom Tâche
T
Nom Tâche
0
0
T
T
T
x
T
x
1
1
(objets descripteurs)
(objets descripteurs)
Modèle de la tâche
Modèle Statique de la Tâche (MST)
Modèle Dynamique de la Tâche (MDT)
T
T
x2
x2
Spécification
T
T
Ex1
-
1
Ex1
-
1
x1
x1
Description
Description
Attribut
Attribut
Priorit
é

Priorit
é

Cx1
-
1
Rx1
-
1
Cx1
-
1
Rx1
-
1
Description
Description
Description
Description
Attribut
Attribut
Attribut
Attribut
Priorit
é

Priorit
é

Priorit
é

Priorit
é

Ix1
-
1
Ix1
-
1
OIx1
-
1
OIx1
-
1
Description
Description
M11
-
1
Mx1
-
1
Description
M11
-
1
Mx1
-
1
Description
Attribut
Attribut
Attribut
Attribut
Description
Pilote
Description
Priorit
é

Description
Pilote
Description
Priorit
é

Priorit
é

Priorit
é

Attribut
Attribut
Attribut
Attribut
R
ô
le Humain
R
ô
le Humain
R
ô
le Humain
R
ô
le Humain
Modèle opérationnel
Modèle Local de l'Interface (MLI) Spécification
desobjets-interactifs IHM utilisés dans
lexécutionde chaque tâche terminale
Modèle de l Utilisateur (MU) Spécification
desprocédures utilisateuradoptées pour
lexécutionde chaque tâche terminale
Conception globale
Agrégation
Modèle Abstrait de l'Interface (MAI) Description
de haut niveauspécification en termes
dobjets,dattributs, détats, dactions, etc.
Conception détaillée
Modèle d'Implémentation de l'Interface (MII) Descr
iption de bas niveau (en termes de menus, barres
doutils, liste, etc.)
Implémentation
Évaluation
Implémentation
Évaluation
IHM
36
Cycle de développement de TOOD
Analyse des besoins
Spécification
Conception globale
Conception détaillée
Implémentation
Évaluation
37
Modèle des objets du domaine
38
Modèle statique  Classe_Tâche
Nom Tâche
Ti
Interface dEntrée (IE)
Interface de Sortie (IS)
Types de tâche Ressources Humaines Ressources Système
Manuelle 1..1 0
Automatique 0 1..N
Interactive 1..1 1..N
Coopérative 2..N 0..N
39
Construction du modèle de la tâche

1. Identifier la classe-tâche globale
2. Spécifier les objets descripteurs
3. Décomposer la classe-tâche en sous classes-tâches
4. Identifier de façon informelle les relations
   inter-tâches
5. Continuer le processus itératif jusquà
   lidentification de toutes les classes-tâches
   terminales

40
Décomposition hiérarchique
Effectuer une conduite de tir a
T0
Préparer les options de tir
T1

Sélectionner une bombe a
T11
Sélectionner point d emport (PE)
T12
Sélectionner fusée
T13

Sélectionner automatiquement PE
T121
Sélectionner manuellement PE
T122
41
Objets descripteurs de T11
Sélectionner une bombe a
T11
42
TCS Structure de Contrôle de la Tâche
Tx
T1 Transition d'entrée
T2 Transition de sortie
E
Activité
R
C
O
I
M
43
TCS Interface dentrée
TS
TE
E
R
activité
C
O
I
M
44
TCS Transition dentrée
TS
T E
E
R
activité
C
fonction de priorité ? fonction de cohérence ?
préaction
O
I
M
45
TCS Place dactivité
TS
TE
E
R
activité
C
O
I
M
46
TCS Transition de sortie
TS
TE
E
R
activité
fonction de synchronisation ?
C
postaction
O
I
M
47
TCS Interface de sortie
TS
TE
E
R
activité
C
O
I
M
48
De lObCS à la TCS
...
49
Tâche T12   Sélectionner PE
50
Cycle de développement de TOOD
Analyse des besoins
Spécification
Conception globale
Conception détaillée
Modèle d'Implémentation de l'Interface (MII)
Implémentation
Évaluation
Implémentation
IHM
51
Modèle opérationnel
Tx
Objet-tâche terminal
Objet-compo. 1
Objet-compo. 2
O. H.
IHM
Objet-compo. 3
Objet-compo. 4
52
Modèle Opérationnel de T11
T11
Sélectionner une bombe a
Pilote
Zone de sélection de bombe a
E11-1
R11-1 R11-2
C11-1 C11-2 C11-3
O11-1O11-2O11-3
I11-1
M11-1 M11-2
53
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
Pilote
Lecture
E11-1
R11-1 R11-2
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
Prise décision
Agir/Contrôler
54
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
R2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
R2-1 R2-2 R2-3 R2-4 R2-5
C11-4
I11-1
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
O-1 O2-2
T6
i2-1 I2-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Mettre sous tension t
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
R1-2
R1-4
55
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
R2-1 R2-2 R2-3 R2-4 R2-5
C11-4
I11-1
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
O-1 O2-2
T6
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Mettre sous tension t
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
R1-2
R1-4
56
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
R2-1 R2-2 R2-3 R2-4 R2-5
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
O-1 O2-2
i2-1 I2-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Mettre sous tension t
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
R1-2
R1-4
57
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
R2-1 R2-2 R2-3 R2-4 R2-5
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
O-1 O2-2
i2-1 I2-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Alarme b
Mettre sous tension t
P5
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
58
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
C11-4
I11-1
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
T6
i2-1 I2-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Alarme b
Mettre sous tension t
P5
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
E2-2
Valider bON I11-1 ON
T7
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
R1-2
R1-4
59
Modèle Opérationnel de T11
Sélectionner une bombe a
T11
U1
OI2
Pilote
Zone de sélection de bombe a
E1-5
Pas daffichage
P1
E1-2
E1-4
t et incitation
P3
Lecture
E2-5
P2
Fermer options t
T3
a et options de tir
E11-1
R11-1 R11-2
E1-1
E1-3
E2-1 E2-2 E2-3 E2-4 E2-5
C11-4
I11-1
C11-1 C11-2 C11-3 C11-4
O11-1 O11-2
C2-1 C2-2 C2-3 C2-4
T6
i2-1 I2-2
Evaluer/Lire
Réagir/lire
I11-1 I11-2
R2-1
R2-2
Alarme b
Mettre sous tension t
P5
Mettre sous tension b
R1-1
R1-3
Prise décision
Agir/Contrôler
E2-2
Valider bON I11-1 ON
T7
Prendre décision a
Valider t
Valider b
O11-2
O11-1
R1-1
60
Modèle Abstrait de lInterface
Modèle Local de l'Interface Spécification des
objets-interactifs (IHM) de chaque objet-tâche
terminal
Mécanisme d'Agrégation Duplication des
objets-interactifs

Modèle Abstrait de l'Interface Spécification de
haut niveau de l'interface finale

61
Fusion de places

• Construction de l'ObCS d'une classe IHM par
  fusion de places
• Composition par fusion de places
• fusion des places modélisant le même état

P1
E1-1
t1
E2-1
t1
P2
P1
t2
Objet-interactif X (Tâche-1)
R2-2
Objet-interactif X (Tâche-2)
62
Fusion de transitions

• Construction de l'ObCS d'une classe IHM par
  fusion de transitions
• Composition par fusion de transitions
• fusion des transitions modélisant une même
  opération et une même procédure.

E1-1
C1-1
E1-1
t1
t9
P1
P5
Etat initial y
Etat initial x
E1-3
E1-3
t2
Opération j
Opération i
t10
Etat final x
P2
Etat final y
P6
objet-interactif X (Tâche-1)
objet-interactif Y (Tâche-2)
63
Zone mode (T121 et T122)
Objet-tâche Terminal Objet Interactif T11 Sélectionner une bombe a T121 Sélectionner automatiquement le point demport T122 Sélectionner manuellement le point demport T13 Sélectionner les fusées T2 Préparer les options de conduite de tir
Zone de sélection bombe a ?
Zone mode ? ?
Zone sélection point demport ?
Zone de sélection fusée ?
Zone de sélection de conduite ?
64
Agrégation de la zone mode
65
Cycle de développement de TOOD
-
-
-
-


66
Construction de la hiérarchie dagents
67
Plan

• Cycles de développement et outils de base en
  conception des IHM
• TOOD  Modèle générique et formalismes de base
• TOOD  Démarche méthodologique
• TOOD Environnement de développement
• CP Conclusion et perspectives de recherche

68
TOOD  Environnement MB-IDE
Modèle des Objets du Domaine
Modèle de la Tâche
Modèle de lUtilisateur
Modèle Local de lInterface
Modèle Abstrait de lInterface
Modèle dImplémentation de lInterface
69
TOOD  Environnement MB-IDE
70
TOOD-IDE
71
Editeur du modèle de la tâche
72
Spécification de la tâche (1)
73
TCS  constructeur
74
TCS   onglet Complétude Entrée
75
Editeur des objets
76
Code Java généré
77
Simulateur du modèle de la tâche
78
Conclusion
ANALYSE ANALYSE ANALYSE ANALYSE
Modèles Notation Supports Supports
MT, MOD RdPO Editeur du modèle de tâche, éditeur dobjets Editeur du modèle de tâche, éditeur dobjets
CONCEPTION CONCEPTION CONCEPTION CONCEPTION
Modèles Notation Guide de conception Supports
MLI, MU, MAI RdPO En perspective Editeur dobjet, Editeur MO en perspective
IMPLEMENTATION IMPLEMENTATION IMPLEMENTATION IMPLEMENTATION
Types de génération Résultats de génération Guide de style Outil de conseils et de critique
Automatique pour le dialogue, manuelle pour la présentation Dialogue, Présentation (présentation en perspective) En perspective En perspective
Cas de validation Cas de validation Cas de validation Cas de validation
Application bureautique, Contrôle aérien, Conduite de tir Application bureautique, Contrôle aérien, Conduite de tir Application bureautique, Contrôle aérien, Conduite de tir Application bureautique, Contrôle aérien, Conduite de tir
79
Perspectives liées à la méthode

• Vers une génération semi-automatique de la
  présentation
• Vers une vérification automatique des modèles
• Structurelle
• Comportementale par une simulation de scénario
• Vers une spécification multi-langage et
  multi-plateforme Thévenin, 2001, Eisenstein et
  al., 2001
• Vers une assistance intelligente

80
Quel type dévaluation ?
Modèle de l'utilisateur (Tâche à effectuer)
Concepteur
Modèle de l'IHM
Cohérence entre modèle de la tâche et le modèle
IHM
itération

-

• Vérification de performance des utilisateurs
  (ex valeur prédictive de temps d'exécution,
  accessibilité à un état)
• Simulation des procédures d'actions utilisateur
  sur lIHM

Propositions d'amélioration du modèle IHM
Propositions d'amélioration des propriétés du
modèle
Propriétés à évaluer
Cohérence du modèle de lIHM