Spécification formelle des systèmes multi-agents - Une approche basée sur le langage MAUDE

Simple item page
dc.contributor.authorNouri, Zakarya
dc.contributor.authorMarir, Toufik
dc.date.accessioned2021-06-30T08:00:01Z
dc.date.available2021-06-30T08:00:01Z
dc.date.issued2020
dc.description.abstractL’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.ar
dc.identifier.urihttp://hdl.handle.net/123456789/10498
dc.language.isofrar
dc.publisherUnivérsité Oum El Bouaghiar
dc.subjectSpécification formellear
dc.subjectSystème multi-agent normatifar
dc.subjectLangage de spécificationar
dc.titleSpécification formelle des systèmes multi-agents - Une approche basée sur le langage MAUDEar
dc.typeOtherar
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Memoire_Specification_NORMAS_MAUDE.pdf
Size:
1.17 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
قسم الإعلام الالي