Abstract FR:

Les modeles de taches permettent de representer des raisonnements utilises pour resoudre des problemes. Ils permettent de construire des environnements de resolution de problemes (erp) pour le pilotage d'une bibliotheque de programmes scientifiques. Une tache represente une classe de problemes (par ses donnees d'entree et de sortie) ainsi qu'une strategie pour les resoudre. Une strategie de resolution d'un probleme est composee d'une ou plusieurs etapes a accomplir pour resoudre le probleme. Chacune de ces etapes indique a son tour un nouveau probleme de moindre complexite lequel peut egalement etre represente par une nouvelle tache. Les decompositions successives d'une tache en sous-taches conduisent a une hierarchie de taches ou la complexite des problemes representes par les taches se reduit a chaque niveau. Les taches representees par les feuilles d'une hierarchie sont dites taches elementaires, elles representent des problemes dont la resolution correspond a l'execution d'un programme de la bibliotheque. Or, differentes strategies peuvent etre decrites pour resoudre une meme classe de problemes. Par consequent, un erp base sur un modele de taches peut contenir plusieurs taches indiquant ces differentes strategies. Ainsi, si l'on sait reconnaitre que deux taches representent une meme classe de problemes, on pourra presenter a l'utilisateur ces differentes options. Ce travail traite de la comparaison de structures de decomposition de taches en sous-taches. Il permet de verifier si deux taches, existantes dans un erp pour le pilotage de bibliotheque de programmes, contiennent des strategies differentes pour resoudre une meme classe de problemes. La comparaison de strategies se fera par l'intermediaire des e-tache-graphes, definis dans cette these. Ce modele permet non seulement de representer le lien d'execution entre les programmes existants dans une bibliotheque mais aussi l'ensemble des sequences de programmes decrit par une strategie.