University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Samir Bouchiha |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la 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