Contribution à la spécification formelle des tâches opératoires : outils en vue d'une approche fonctionnelle basée sur l'agrégation des données

Abstract

La volonte d'implanter les programmes pouvant conferer a un robot la faculte d'executer des tâches impredictibles se heurte a une barriere de complexite: la difficulte, en l'absence de tout schema algorithmique preetabli, de formuler ces tâches, en termes acceptables pour une solution informatique. L’une des voies qui est exploree pour tenter de repondre a cette problematique consiste a elaborer une theorie de specification formelle. L’objectif est de degager un ensemble d'outils sur lesquels s'appuie une demarche methodologique de formulation des tâches operatoires visant la construction d'un enonce formel et structure a partir duquel peut etre derive un programme efficace. Aussi, la contribution du present memoire concerne trois points: 1) le premier s'attache a definir les differents domaines d'entites de base du systeme en degageant, pour chacun, une semantique denotationnelle et une structure syntaxique d'implantation; 2) le second aborde la constructibilite de la specification. La specification des donnees recourt a deux modeles de donnees: l'agregation componentielle (hierarchie entre les types d'objets) et l'agregation fonctionnelle (abstraction horizontale). La specification des traitements met en œuvre un processus de transformation de l'enonce fonctionnel formalise aa l'aide d'une grammaire de Wijngaarden; 3) enfin, le troisieme traite du probleme de l'interpretation formelle d'une tâche. La technique proposee distingue deux niveaux d'abstraction: 1) le niveau fonctionnel implique un modele de machine d'interpretation sous forme d'un automate d'etat fini; 2) le niveau operationnel met en œuvre un modele de machine d'interpretation satisfaisant aux specifications d'un automate a regles de derivation.