Browsing by Author "Nouri, Zakarya"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Spécification formelle des systèmes multi-agents - Une approche basée sur le langage MAUDE
    (Univérsité Oum El Bouaghi, 2020) Nouri, Zakarya; Marir, Toufik
    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.