University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Mohamed Amin Laouadi |
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
Titre : La Gestion de Chaine Logistique Industrielle à base d’Agents Intelligents Type de document : texte imprimé Auteurs : Sarra Ghellache, Auteur ; Hanane Salem, Auteur ; Mohamed Amin Laouadi, Directeur de thèse Année de publication : 2022 Importance : 1 vol (65 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
Dans ce mémoire, nous nous intéressons au domaine de la gestion de chaîne Logistique, un domaine important et très intéressant utilisé dans de nombreux secteurs (santé, commerce, industrie, etc.). Une chaîne Logistique se charge de la production de la commande à la livraison du produit. Elle comprend plusieurs concepts tels que la saisie des commandes, la planification de la production des produits et la production elle-même.
L’objectif premier de ce travail est d’identifier clairement les acteurs et de comprendre les processus qui régissent la chaîne Logistique, modélisés et mis en oeuvre au travers de systèmes multi-agents (SMA). Un autre objectif est de mettre l’accent sur le concept d’organisation au sein du SMA à travers cet exemple.
Nous commençons par une discussion de l’état de l’art en termes d’agents et de systèmes multi-agents (SMA) et d’autres concepts connexes, ainsi qu’une introduction au modèle d’organisation Agent-Groupe-Rôle (AGR). Ensuite, nous présentons les outils de développement utilisés, à savoir le langage de modélisation UML et la plateforme de développement de SMA JADE. Après, nous appliquons le modèle organisationnel AGR à l’étude de cas "Gestion de Chaine Logistique Industrielle" (GCLI). Nous proposons une décomposition basée sur les agents de cet exemple en définissant également un ensemble de rôles et leurs groupes associés. Cette décomposition est décrite graphiquement par différents diagrammes UML et implémentée dans la plateforme de développement de SMA JADE. Enfin, nous proposons quelques cas de scénarios possibles pour valider notre travail.Côte titre : MAI/0662 En ligne : https://drive.google.com/file/d/1dO1db0whPwvQrIZF5-NtnHNWcXFl3nf-/view?usp=share [...] Format de la ressource électronique : La Gestion de Chaine Logistique Industrielle à base d’Agents Intelligents [texte imprimé] / Sarra Ghellache, Auteur ; Hanane Salem, Auteur ; Mohamed Amin Laouadi, Directeur de thèse . - 2022 . - 1 vol (65 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
Dans ce mémoire, nous nous intéressons au domaine de la gestion de chaîne Logistique, un domaine important et très intéressant utilisé dans de nombreux secteurs (santé, commerce, industrie, etc.). Une chaîne Logistique se charge de la production de la commande à la livraison du produit. Elle comprend plusieurs concepts tels que la saisie des commandes, la planification de la production des produits et la production elle-même.
L’objectif premier de ce travail est d’identifier clairement les acteurs et de comprendre les processus qui régissent la chaîne Logistique, modélisés et mis en oeuvre au travers de systèmes multi-agents (SMA). Un autre objectif est de mettre l’accent sur le concept d’organisation au sein du SMA à travers cet exemple.
Nous commençons par une discussion de l’état de l’art en termes d’agents et de systèmes multi-agents (SMA) et d’autres concepts connexes, ainsi qu’une introduction au modèle d’organisation Agent-Groupe-Rôle (AGR). Ensuite, nous présentons les outils de développement utilisés, à savoir le langage de modélisation UML et la plateforme de développement de SMA JADE. Après, nous appliquons le modèle organisationnel AGR à l’étude de cas "Gestion de Chaine Logistique Industrielle" (GCLI). Nous proposons une décomposition basée sur les agents de cet exemple en définissant également un ensemble de rôles et leurs groupes associés. Cette décomposition est décrite graphiquement par différents diagrammes UML et implémentée dans la plateforme de développement de SMA JADE. Enfin, nous proposons quelques cas de scénarios possibles pour valider notre travail.Côte titre : MAI/0662 En ligne : https://drive.google.com/file/d/1dO1db0whPwvQrIZF5-NtnHNWcXFl3nf-/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0662 MAI/0662 Mémoire Bibliothéque des sciences Français Disponible
Disponible