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

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

• Auteur / Autrice : Khadir Ouriachi
• Direction : Michel Bourton
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Valenciennes

Mots clés

Mots clés libres

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.