Spécification Formelle Des Systèmes Multi-agents - Une Approche Basée Sur Le Langage Maude
Résumé: 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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
