Modeling exception management in multi-agent systems

Les systèmes multiagents (SMA) constituent une approche de conception logicielle dont les propriétés d'ouverture, d'hétérogénéité et d'autonomie sont reconnues comme particulièrement adaptées à la conception de systèmes complexes. Ces propriétés posent cependant des problèmes de robustesse. Ce travail de thèse présente la notion d'exception de fonctionnement dans les SMA et propose un cadre de conception adapté. L'approche développée repose sur un modèle de traitement des exceptions qui garantit les propriétés des SMA : un agent peut décider seul si un événement doit être considéré comme une exception d'après des prédictions générées automatiquement et exactement sur les futurs événements attendus. Ce modèle est décrit formellement et accompagné d'une architecture logicielle pour faciliter ses implémentations. L'approche est appliquée à un système complet afin de la comparer à des travaux existants et d'évaluer son coût d'exécution.PARIS-BIUSJ-Thèses (751052125) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSudocFranceF