Formalisation de Protocolesd'Interaction FIPA avec Maude Déploiement sous Jade du SMA / Samir Bouchiha  

Public ISBD 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’interaction Index. 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 : pdf 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’interaction Index. 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 : pdf

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0660	MAI/0660	Mémoire	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)