Thèse de doctorat en Mathématiques et informatique appliquées aux sciences sociales
Sous la direction de Marie-France Barthet.
Soutenue en 1993
à Toulouse 1 .
Cette thèse s'inscrit dans le domaine des interfaces homme-machine (ihm). Elle s'articule autour de deux thèmes principaux qui sont la spécification et la gestion automatique du dialogue homme-machine. Le travail présenté est basé sur la méthode diane+ conçue initialement pour la spécification du dialogue homme-machine. Diane+ repose sur la planification hiérarchique et intègre le niveau de l'utilisateur. Elle est utilisée pour spécifier la répartition des taches entre l'homme et la machine tout en laissant une latitude décisionnelle à l'utilisateur. Cette spécification utilise un formalisme simple et concis prenant en compte les répartitions les plus complexes. Ce formalisme permet, à partir des spécifications, de : Générer l'interface homme-machine en intégrant des règles d'ergonomie générale, générer une partie du code des traitements, gérer automatiquement la dynamique de l'application (noyau fonctionnel et interface homme-machine), gérer automatiquement l'aide d'utilisation, l'aide fonctionnelle étant quant à elle implémentée par le concepteur. De par les origines de diane+ et les caractéristiques des ihm, ce travail utilise conjointement le modèle tâche et le modèle objet.
Automatic management of human-dialogue from conceptual specifications
This dissertation is about human-computer interfaces (hci). It is built on two main themes which are the specification of human-computer dialogue and the automatic management of human-computer dialogue. This work is based on the diane+ method which was initially created for the specification of human-computer dialogue. Diane+ is based upon hierarchical planning and integrates the level of users. It is used to specify the tasks distribution between human and computer while leaving a decisional freedom to the user. This specification uses a simple and concise formalism which takes the most complex specifications into consideration. This formalism permits, from specifications: To generate the human-computer interface including general ergonomics rules, To generate a part of processing code, To manage automatically the dynamics of the application (functional core and human-computer interface), To manage automatically the utilisation help. As to functional help, it is implemented by the designer. Because of diane+'s origins and the human-computer interfaces features, this works uses both task model and object model.
Cette thèse a donné lieu à une publication en 2007 par [CCSD] à Villeurbanne
Gestion automatique du dialogue homme-machine à partir de spécifications conceptuelles