Contribution à la conception et à l'implémentation d'un langage de spécification formelle dédié à la e-maintenance des systèmes de production par l'approche des Systèmes Multi-Agents

Abstract

Dans cette thèse, nous proposons un modèle d'interaction dédié Système Multi-Agent (SMA) qui répond à un modèle d'organisation basé sur les principes AGIRAT (Agent, Groupe, Interaction, Autorité et Tâche) et s'appliquant, mais dans un cadre coopératif, à la gestion de ressources matérielles d'une façon générale et, comme cas d'application, à la pièce de rechange sur une plateforme de e-maintenance. En e et, nous avons établi une architecture SMA interne au site qui prévoit, entre autres, un agent cognitif dédié, dont le rôle est de guetter, et même de prévenir, les cas de sous-stockage et de surstockage des articles qui peuvent arriver, et ce, sur la base de la consommation antérieure. L'architecture SMA globale de tous les sites en interaction avec le SMA interne du site, dans ce même cadre coopératif, assure l'émergence d'un équilibrage de charge en matière des ressources, que nous avons appelé " équilibrage de ressources ", et permet de quanti er la disponibilité d'articles. Cette solution évite à l'ensemble des sites des situations de dépassement de seuil de stockage. La mise en oeuvre de l'architecture que nous proposons requiert l'utilisation d'un langage de communication dépendant d'un middleware dédié SOAP/XML pouvant être un moyen de supporter cette solution comme une architecture Web-Service dans une e-plateforme.