Contribution à la modélisation et à l'analyse des systèmes coopératifs : application à la e-maintenance
Auteur / Autrice : | David Saint-Voirin |
Direction : | Hervé Guyennet |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Besançon |
Partenaire(s) de recherche : | autre partenaire : Université de Franche-Comté. UFR des sciences et techniques |
Mots clés
Mots clés contrôlés
Résumé
Nous proposons une approche globale permettant de modéliser les différents aspects de la coopération au travers des systèmes distribués. Cette approche est décrite sous la forme d'une méthodologie (Scoop). Un ensemble de variables représentatives du système est d'abord défini. Puis, grâce à notre nomenclature concrète des systèmes coopératif, la structure instantanée du système coopératif est dessinée. Les interactions sont modélisées grâce au formalisme des réseaux de Petri, retenu pour sa faculté de représentation de l'exclusion mutuelle. Pour ce faire, nous avons développé une méthode reliant les types d'interaction de la nomenclature concrète à un mode de construction du réseau de Petri associé. Les réseaux ainsi créés sont utilisés à des fins de vérification formelle sur les propriétés de vivacité par exemple. Nous les utilisons également dans un but de simulation des interactions. Pour cela, nous proposons d'ajouter la dimension stochastique à ces réseaux. Les étapes suivantes de la méthode Scoop permettent la définition formelle des connaissances et des comportements des membres composant le système en s'appuyant respectivement sur les formalismes XML et PLOOM-UNITY. Ces définitions nous ont permis de créer un simulateur multi-agent des systèmes coopératifs. Dans celui-ci, les membres peuvent être instanciés selon les directives des formalismes précédents. Nous avons réalisé un ensemble d'expériences avec ce simulateur prouvant l'influence de paramètres qualitatifs sur le déroulement de la coopération. L'ensemble de cette méthodologie est valorisé dans un exemple d'application issu du projet européen PROTEUS.