Nouri, ZakaryaMarir, Toufik2021-06-302021-06-302020http://hdl.handle.net/123456789/10498L’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.frSpécification formelleSystème multi-agent normatifLangage de spécificationOther