Abstract FR:

Dans le domaine des tâches opératoires, une approche procédurale est efficace pour décrire le programme d'exécution d'une tâche par une liste d'instructions, qui sera transmise à la machine pour l'exécuter dans un ordre bien defini. Cependant, ce style de programmation devient inoperant dès lors qu'il s'agit de programmer des tâches imprédictibles : tâches dont le processus d'exécution n'obéit pas à un schéma algorithmique prédéfini. Un exemple typique est celui des tâches d'assemblage. Pour répondre, à une telle problématique, il faut recourir à une approche, permettant la description de la tâche d'une manière fonctionnelle et structurée, suivant plusieurs niveaux d'abstraction. Aussi, l'objectif du travail consiste à : a) dégager un ensemble d'outils pour formaliser la description de la tâche opération ; b) en s'appuyant sur les outils élaborés, une méthode de description fonctionnelle est proposée. Cette méthode consiste à décrire chaque tâche à l'aide d'une expression canonique, chercher ensuite à raffiner récursivement cette expression en terme d'un ensemble de fonctions plus simples, pour en dériver une expression terminale, composée uniquement de fonctions primitives et pouvant être interprétée directement par la machine. Cette approche implique, des transformations successives des expressions fonctionnelles. Ces transformations sont obtenues par décomposition de fonctions et structuration des objets décrivant l'espace opératoire, auxquels s'appliquent les fonctions