Sémantique et outil pour la modélisation des tâches utilisateur : n-mda
Institution:
PoitiersDisciplines:
Directors:
Abstract EN:
The development process of an interactive application follows a cycle that is made of several parts. There is a stage of analysis, another focusing on design and a final stage of evaluation. Each stage is provided a suitable specification technique. In the analysis stage are specified the user needs through several possible user tasks models. Such models are the topic of this research. None of these models are based on a “formalized semantic” so that they cannot pretend to both augment they “generative capacity” and participate efficiently to such a user centred design. A careful examination of existing task models led to suggest a generic task models structure. The new model is built starting from Diane+, GTA, CTT and MAD* to remove ambiguites. In such a structure called “Projet MDA", a generic “kernel” (N-MDA) that concerns user activity description can be added diverse specialized “modules” on demand. The expressive power of our kernel is based on our classification of previous models, their tool and their use. Among the examination of several modules, one is related to user objects, others use languages that allow specifying tasks pre-conditions, iterations and post-conditions with such objects. In order to fill the lack of semantic in such previous models, kernel and modules data were described through EXPRESS language. This allows checking unambiguous structure of data in the model. The behaviour of the model, that is particularly important for scenarii composition, is built over several parameters. Those parameters are the “opérateur d'ordonnancement”, whether the task is mandatory or not, interrupts (with resume or skip), tasks pre-conditions, iterations, post-conditions, user choice and events. Beyond theoretical models, an implementation has been developed (K-MADe), that contains the kernel (N-MDA) and its previously described modules (Projet MDA in EXPRESS). This implementation can check user data inputs and simulate user activity. Thanks to EXPRESS use, NMDA project can be part of generic tools implementing specification techniques that cover a wider part of the lifecycle. This tool architecture allows user activity description so that data and their semantic can be used for other tools that complete the user development cycle. Whenever one limitation of this work is the lack of application feedback, its development is mandatory to additional extensive task models use studies, in particular concerning their generative capacity within interactive systems development.
Abstract FR:
La construction d'une application interactive suit un cycle de développement qui est décomposé en plusieurs parties, comprenant traditionnellement l'analyse, la conception et l'évaluation. Chacune s'accommode d'une technique de spécification appropriée. En amont, les modèles de tâches orientés utilisateur soutiennent la description de l'activité du futur utilisateur afin, notamment, d'en connaître les besoins. C'est ce modèle qui est l'objectif de la thèse. Une des lacunes, pour ces types de modèle, est qu'ils manquent de sémantique formelle pour prétendre augmenter leurs capacités génératrices et recouvrir plus largement ce cycle. Une étude de leur usage au travers des exemples de modélisations existants ainsi qu'une réflexion plus générale sur leur utilisation a abouti à structurer ces modèles. Il en ressort la proposition d'un découpage qui distingue une partie centrale et générique appelée " noyau " (N-MDA) pour la description de l'activité, d'une partie " modules " liées aux objectifs plus spécialisés. Le tout est appelé Projet MDA. Il est construit à partir des modèles : Diane+, GTA, CTT, MAD* pour supprimer les ambiguïtés. Le pouvoir d'expression du Projet MDA est construit à partir de notre classification, faite sur les 4 modèles, sur leur outillage et à partir des usages existants. Plusieurs modules sont aussi étudiés. L'un a trait à la description des objets utilisés par l'utilisateur, les autres proposent des langages pour exprimer les préconditions, les itérations et les postconditions des tâches à partir de ces objets. Pour répondre au manque de sémantique les informations, du projet MDA, ont été décrites par des schémas en EXPRESS afin de contrôler la cohérence des données. De plus, la dynamique du modèle, qui revêt un intérêt particulier dans l'élaboration des scénarii d'usage, est établie en tenant compte des opérateurs d'ordonnancement, de la nécessité de la tache, des interruptions (avec reprise ou avec abandon), des préconditions, des itérations, des postconditions, du choix de l'utilisateur et des événements. Un modèle ayant un intérêt particulier lorsqu'il est outillé, un environnement a été développé (K-MADe), il contient le noyau (N-MDA) et les modules (objets utilisateurs, conditions, etc. ) cités précédemment, c'est le Projet MDA en EXPRESS. De plus, K-MADe intègre des outils : éditeur du Projet MDA, Simulateur de l'activité, ainsi que des services (fonctions d'évaluations, comparaisons, etc. ). Grâce à l'utilisation d'EXPRESS les schémas et les données sont indépendantes de l'outil de description et de son langage. Ainsi, le Projet MDA peut être intégré dans des outils implémentant des techniques de spécifications qui recouvre une autre partie du cycle de vie. Ceci contribue indirectement à étendre la place des modèles de tâches orientés utilisateur dans le cycle de développement.