Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système
Institution:
Toulouse 1Disciplines:
Directors:
Abstract EN:
The complexity of the interactive systems development varies a lot as a user interface can be a command line or based on sophisticated ways to interact. The traditional processes of development showed their inaptitude for covering the case of interacitive systems. This thesis proposes : a formal description technique, which extends that of the ICO to completely model complex interactive systems and to allow a structuring of the models according to an object approach ; a development process, in which is inserted a method of design based on formal modeling and using the ICO formalism ; a design environment, which supports the editing, the checking and the execution of the models described in this formalism ; cross validation of the task models and the system models.
Abstract FR:
La complexité du développement d' un système interactif est très variable puisqu' une interface peut être une ligne de commande ou faire intervenir des moyens sophistiqués d' interaction. Les processus de développement classiques ont montré leur inaptitude à couvrir le cas des systèmes interactifs. Cette thèse propose : une technique de description formelle, qui étend celle des ICO pour modéliser complètement des systèmes interactifs complexes et permettre une structuration des modèles selon une approche à objets ; un processus de développement, dans lequel vient s' inscrire une méthode de conception basée sur la modélisation formelle et utilisant le formalisme des ICO ; un environnement de conception, qui supporte l' édition, la vérification et l' exécution des modèles décrits dans ce formalisme ; la validation croisée des modèles de tâche et des modèles du système.