Skip to Main content Skip to Navigation
Reports

Construction et vérification de spécifications d'Interfaces Homme-Machine

Franck Chalaux 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce mémoire présente un cadre pour l'aide à la spécification d'interfaces homme-machine de haut niveau qui comprote un formalisme et un environnement de développement spécifique. Le formalisme est fondé sur un modèle conceptuel de spécification qui prend en compte l'aspect utilisateur (modèles cognitifs) et les aspects fonctionnels (modèles d'architecture). Les outils initialement disponibles dans l'environnement consistaient en un éditeur syntaxique et un générateur de prototypes exécutables. l'ambition de ce travail consiste à augmenter la panoplie d'outils disponibles. Tout d'abord, un outil de validation statique a été implanté. Ce travail, qui a permis de polir la définition du formalisme, a également permis d'en analyser plus finement la structure. Il est ainsi apparu une forte redondance structurelle entre les trois parties qui composent une spécification. Ces observations ont conduit à la définition et à l'implantation d'opérateurs d'aide à la construction de spécifications. Ces opérateurs permettent de générer du texte vérifiant formellement des propriétés sémantiques et d'interface, à partir d'informations saisies par le spécifieur. Une autre ambition de ce travail est des donner une sémantique rigroureuse au formalisme et aux outils associés. Pour cela, nous utilison le langage de description sémantique TYPOL, associé au générateur d'environnements CENTAUR, pour décrire et programmer nos outils.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00098535
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:10 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098535, version 1

Collections

Citation

Franck Chalaux. Construction et vérification de spécifications d'Interfaces Homme-Machine. [Stage] 98-R-370 || chalaux98a, 1998, 87 p. ⟨inria-00098535⟩

Share

Metrics

Record views

138