Abstract FR:

La thèse est consacrée à l’étude des problèmes de spécification d'interface utilisateur dans la perspective de réaliser un système de gestion d'interface adapté au processus de décision des opérateurs dans l'environnement CIM. L’étude porte essentiellement sur les modèles de spécification adaptés à l'environnement CIM aux niveaux conceptuel, sémantique, syntaxique et lexical. Dans ce contexte, une étude originale sur la méthode de spécification est effectuée et débouche sur une architecture du système de gestion d'interface, prenant en compte la spécificité de l'environnement CIM. Enfin un modèle de communication homme-machine adapté à cet environnement au niveau conceptuel est proposé. Ce concept est ensuite concrétisé et mis en œuvre selon la méthode proposée. En vue d'une étude de faisabilité du système de gestion d'interface graphique, basé sur un scénario de conduite d'une cellule flexible, a été réalisé. Les tests effectués sur ce prototype permettant de valider la méthode proposée et d'identifier les problèmes rencontrés.