Spécification formelle des systèmes multi-agents - Une approche basée sur le langage MAUDE
No Thumbnail Available
Date
2020
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Univérsité Oum El Bouaghi
Abstract
L’utilisation des normes est une approche prometteuse pour contrôler l'autonomie et assurer la
régularisation des comportements dans les systèmes multi-agents. Ainsi, les systèmes multiagents
normatifs représentent le domaine émergeant de l’intersection des systèmes multiagents
avec les systèmes normatifs. La spécification de ces systèmes est un défi réel à cause
de nouveautés apportées par ces nouveaux systèmes. Dans ce cadre, nous avons proposé dans
ce mémoire une approche pour la spécification des systèmes multi-agents normatifs. Cette
approche est écrite en langage Maude. Ce dernier est un langage de spécification et de
programmation multi-paradigmes basé sur la logique de réécriture, il offre plusieurs avantages
comme la simplicité de la syntaxe et l’existence des outils de simulation et de vérification. A
la fin, notre approche est validée par une étude de cas pour la spécification d'une partie d’un
système de gestion de conférence.
Description
Keywords
Spécification formelle, Système multi-agent normatif, Langage de spécification