Sémantique et outil pour la modélisation des tâches utilisateur : n-mda

La construction d'une application interactive suit un cycle de developpement qui est decompose en plusieurs parties, comprenant traditionnellement l'analyse, la conception et l'evaluation. Chacune s'accommode d'une technique de specification appropriee. En amont, les modeles de tâches orientes utilisateur soutiennent la description de l'activite du futur utilisateur afin, notamment, d'en connaitre les besoins. C'est ce modele qui est l'objectif de la these. Une des lacunes, pour ces types de modele, est qu'ils manquent de semantique formelle pour pretendre augmenter leurs capacites generatrices et recouvrir plus largement ce cycle. Une etude de leur usage au travers des exemples de modelisations existants ainsi qu'une reflexion plus generale sur leur utilisation a abouti a structurer ces modeles. Il en ressort la proposition d'un decoupage qui distingue une partie centrale et generique appelee " noyau " (N-MDA) pour la description de l'activite, d'une partie " modules " liees aux objectifs plus specialises. Le tout est appele Projet MDA. Il est construit a partir des modeles : Diane+, GTA, CTT, MAD* pour supprimer les ambiguites. Le pouvoir d'expression du Projet MDA est construit a partir de notre classification, faite sur les 4 modeles, sur leur outillage et a partir des usages existants. Plusieurs modules sont aussi etudies. L'un a trait a la description des objets utilises par l'utilisateur, les autres proposent des langages pour exprimer les preconditions, les iterations et les postconditions des tâches a partir de ces objets. Pour repondre au manque de semantique les informations, du projet MDA, ont ete decrites par des schemas en EXPRESS afin de controler la coherence des donnees. De plus, la dynamique du modele, qui revet un interet particulier dans l'elaboration des scenarii d'usage, est etablie en tenant compte des operateurs d'ordonnancement, de la necessite de la tache, des interruptions (avec reprise ou avec abandon), des preconditions, des iterations, des postconditions, du choix de l'utilisateur et des evenements. Un modele ayant un interet particulier lorsqu'il est outille, un environnement a ete developpe (K-MADe), il contient le noyau (N-MDA) et les modules (objets utilisateurs, conditions, etc. ) cites precedemment, c'est le Projet MDA en EXPRESS. De plus, K-MADe integre des outils : editeur du Projet MDA, Simulateur de l'activite, ainsi que des services (fonctions d'evaluations, comparaisons, etc. ). Grâce a l'utilisation d'EXPRESS les schemas et les donnees sont independantes de l'outil de description et de son langage. Ainsi, le Projet MDA peut etre integre dans des outils implementant des techniques de specifications qui recouvre une autre partie du cycle de vie. Ceci contribue indirectement a etendre la place des modeles de tâches orientes utilisateur dans le cycle de developpement.