University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'SMA Protocoles d’interaction'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Formalisation de Protocolesd'Interaction FIPA avec Maude Déploiement sous Jade du SMA / Samir Bouchiha
Titre : Formalisation de Protocolesd'Interaction FIPA avec Maude Déploiement sous Jade du SMA Type de document : texte imprimé Auteurs : Samir Bouchiha, Auteur ; Mounir Selmi, Auteur ; Mohamed Amin Laouadi, Directeur de thèse Année de publication : 2022 Importance : 1 vol (77 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : SMA
Protocoles d’interactionIndex. décimale : 004 Informatique Résumé :
Pour accomplir un but dans les Systèmes Multi-Agents (SMA), les agents interagissent
entre eux pour échanger des informations, collaborer et coordonner leurs tâches. Les interactions
consistent à une description d’un protocole, ce protocole d’interaction joue un rôle important
pour le développement des systèmes multi-agents, en définissant les séquences de messages
échangés enter les agents. L’objectif de notre travail est la formalisation du protocole
d’interaction FIPA-Request en utilisant le langage de spécification formelle Maude.
La démarche qu'on a suivie consiste à étudier d’abord les Systèmes Multi-Agents et les
principaux protocoles d’interaction standardisés par FIPA, plus particulièrement le protocole
d’interaction FIPA-Request. Cette étude consiste à analyser le fonctionnement de protocole
FIPA-Request pour identifier les données que doit spécifier un développeur afin de l’intégrer Ã
l’agent en se basant sur le langage de modélisation AUML. Grâce à cette étude on a pu
construire un Framework formel générique, extensible qui illustre bien les concepts du protocole
FIPA Request en utilisant le langage Maude. Ensuite, on a essayé d'améliorer ce système en
combinant entre deux protocoles (Contrat-net, FIPA-Request). Afin de valider ce Framework on
a développé une application de SMA «Secourisme» en utilisant JADE et JavaFX.Côte titre : MAI/0660 En ligne : https://drive.google.com/file/d/1E92okWskf77EGasx_FaMMjv0s4tOZ1Jp/view?usp=share [...] Format de la ressource électronique : Formalisation de Protocolesd'Interaction FIPA avec Maude Déploiement sous Jade du SMA [texte imprimé] / Samir Bouchiha, Auteur ; Mounir Selmi, Auteur ; Mohamed Amin Laouadi, Directeur de thèse . - 2022 . - 1 vol (77 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : SMA
Protocoles d’interactionIndex. décimale : 004 Informatique Résumé :
Pour accomplir un but dans les Systèmes Multi-Agents (SMA), les agents interagissent
entre eux pour échanger des informations, collaborer et coordonner leurs tâches. Les interactions
consistent à une description d’un protocole, ce protocole d’interaction joue un rôle important
pour le développement des systèmes multi-agents, en définissant les séquences de messages
échangés enter les agents. L’objectif de notre travail est la formalisation du protocole
d’interaction FIPA-Request en utilisant le langage de spécification formelle Maude.
La démarche qu'on a suivie consiste à étudier d’abord les Systèmes Multi-Agents et les
principaux protocoles d’interaction standardisés par FIPA, plus particulièrement le protocole
d’interaction FIPA-Request. Cette étude consiste à analyser le fonctionnement de protocole
FIPA-Request pour identifier les données que doit spécifier un développeur afin de l’intégrer Ã
l’agent en se basant sur le langage de modélisation AUML. Grâce à cette étude on a pu
construire un Framework formel générique, extensible qui illustre bien les concepts du protocole
FIPA Request en utilisant le langage Maude. Ensuite, on a essayé d'améliorer ce système en
combinant entre deux protocoles (Contrat-net, FIPA-Request). Afin de valider ce Framework on
a développé une application de SMA «Secourisme» en utilisant JADE et JavaFX.Côte titre : MAI/0660 En ligne : https://drive.google.com/file/d/1E92okWskf77EGasx_FaMMjv0s4tOZ1Jp/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0660 MAI/0660 Mémoire Bibliothéque des sciences Français Disponible
Disponible