Modélisation et analyse des systèmes multi agents Cas d'étude: Protocoles de communication

Abstract

Les systèmes multi-agents (SMA) se caractérisent par un comportement complexe lié à l’interaction entre les entités réparties qui échangent des données et coordonnent leurs activités afin d'atteindre des objectifs communs. Ces dernières années, de nombreux efforts de recherche se sont focalisés sur la spécification et la vérification des SMA. Agent UML (AUML), a été révélée utile pour la spécification des systèmes multi-agents. AUML étend les diagrammes UML pour modéliser les SMA en quatre vues, l’agent, l'environnement, l'interaction et l'organisation. Cependant, AUML manque une sémantique formelle et, en conséquence, il ne permet pas de vérifier les propriétés requises de protocoles d'interaction. L’objectif de ce travail est d’utiliser une méthode formelle afin de vérifier/analyser les protocoles de communication dans les SMA