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

par Khadir Ouriachi

Thèse de doctorat en Informatique

Sous la direction de Michel Bourton.

Soutenue en 1991

à Valenciennes .

mots clés

• Spécification formelle
• Tâche imprédictible
• Taches opératoires
• Type abstrait de données
• Agrégation componentielle

Résumé

La volonté d'implanter les programmes pouvant conférer à un robot la faculté d'exécuter des tâches imprédictibles se heurte à une barrière de complexité: la difficulté, en l'absence de tout schéma algorithmique préétabli, de formuler ces tâches, en termes acceptables pour une solution informatique. L’une des voies qui est explorée pour tenter de répondre à cette problématique consiste à élaborer une théorie de spécification formelle. L’objectif est de dégager un ensemble d'outils sur lesquels s'appuie une démarche méthodologique de formulation des tâches opératoires visant la construction d'un énoncé formel et structure à partir duquel peut être dérivé un programme efficace. Aussi, la contribution du présent mémoire concerne trois points: 1) le premier s'attache à définir les différents domaines d'entités de base du système en dégageant, pour chacun, une sémantique dénotationnelle et une structure syntaxique d'implantation; 2) le second aborde la constructibilité de la spécification. La spécification des données recourt à deux modèles de données: l'agrégation componentielle (hiérarchie entre les types d'objets) et l'agrégation fonctionnelle (abstraction horizontale). La spécification des traitements met en œuvre un processus de transformation de l'énoncé fonctionnel formalisé àa l'aide d'une grammaire de Wijngaarden; 3) enfin, le troisième traite du problème de l'interprétation formelle d'une tâche. La technique proposée distingue deux niveaux d'abstraction: 1) le niveau fonctionnel implique un modèle de machine d'interprétation sous forme d'un automate d'état fini; 2) le niveau opérationnel met en œuvre un modèle de machine d'interprétation satisfaisant aux spécifications d'un automate a règles de dérivation.

Titre traduit

Contribution in formal specification of operative tasks : tools for a functional approach based on data aggregation

Pas de résumé disponible.