Modélisation et analyse de la flexibilité dans les systèmes workflow

Cette these est consacree a la modelisation formelle et la gestion des systemes workflows. Nous nous interessons a apporter une solution a l'un des principaux problemes des systemes workflows est celui de la flexibilite : les modeles aussi bien que les systemes actuels ne sont pas suffisamment flexibles et adaptables. Dans ce but, nous proposons un modele de tâches et d'acteurs precisant les relations formelles entre les tâches workflow et les acteurs et permettant une assignation flexible des acteurs ux activites workflow. L'allocation des tâches workflows est fondee sur le concept de distance acteur/tâche et sur le processus de formation de coalitions d'agents. Le modele permet de verifier l'interchangeabilite des acteurs et la coherence des tâches workflows suite a l'evolution de l'environnement. Nous proposons une architecture orientee agent distribuee integrant le modele formel et permettant de realiser les fonctionnalites requises par les systemes workflows. Cette architecture est capable de s'adapter de facon reactive aux changements tout en assurant la reutilisabilite du systeme Workflow. Nous avons implemente le modele sur la plate forme JADE en utilisant le systeme expert JESS et nous l'avons valide sur une reelle application.