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 / David Navarre ; sous la dir. de Philippe Palanque

Date :

Editeur / Publisher : [S. l.] : [s. n.] , 2001

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Interaction humain-machine -- Modèles mathématiques

Palanque, Philippe (1966-....) (Directeur de thèse / thesis advisor)

Université Toulouse 1 Capitole (1970-2022) (Organisme de soutenance / degree-grantor)

Relation : 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 / David Navarre ; sous la direction de Philippe Palanque / Grenoble : Atelier national de reproduction des thèses , 2001

Résumé / Abstract : 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.

Résumé / Abstract : 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.