|
| Titre : |
Formalisation des systèmes Multi-Agents Temps Réel avec Real-Time Maude |
| Type de document : |
texte imprimé |
| Auteurs : |
Lekired, Chahinez, Auteur ; Laouadi ,Mohamed Amin, Directeur de thèse |
| Editeur : |
Setif:UFA |
| Année de publication : |
2018 |
| Importance : |
1 vol (81 f .) |
| Format : |
29 cm |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Catégories : |
Thèses & Mémoires:Informatique
|
| Mots-clés : |
système multi-agent
temps réel
organisations
Moise
formelle
Maude
Real Time Maude
Jade |
| Résumé : |
Résumé
La technologie agent est un paradigme permettant d’implémenter des applications distribuées complexes. Dans le but d’assister le développement des systèmes multi-agent (SMA), des méthodologies de développement ainsi que des modèles organisationnels ont été proposées ces dernières années afin de supporter la modélisation d’un grand nombre d’applications complexes. Ils doivent être capable de ‘’capturer et représenter les structures organisationnelles, définir les interactions et les modèles de collaboration entre les agents, leurs rôles interne et les dépendances entre les groupes d’agents’’.
Récemment, les chercheurs s’intéressent beaucoup aux aspects organisationnels liés aux sociétés d’agent. Pour cette raison, que le processus de développement des systèmes est guidé par les concepts : d’organisation, de groupes, de normes et de rôles.
Notre travail à un double objectif, en premier c’est l’analyse des caractéristiques du modèle organisationnel Moise que nous devons prendre en considération afin de mieux répondre aux exigences des systèmes actuels. Particulièrement, on s’intéresse à la perspective organisationnelle pour améliorer et enrichir la conception des SMA temps réel qui sont une catégorie des SMA mais ayant en plus des contraintes temporelles à respecter. Et deuxièmement proposer une formalisation du modèle Moise en utilisant un langage basé sur la logique de réécriture nommé Real Time Maude.
Ce mémoire est organisé comme suit : nous commençons par une introduction au domaine des SMA et sa branche temps réel tout en mettant l’accent sur le modèle organisationnel Moise (chapitre 1), après nous décrivons les formalismes utilisés au développement de notre approche à savoir Agent UML pour la modélisation ; Maude et son extension pour le temps réel notée Real Time Maude pour la spécification formelle ainsi qu’à la vérification du Framework à développer et la plateforme d’agent Jade pour le déploiement de la solution (chapitre 2). Par la suite, nous présentons le Framework formel développé et son application sur un exemple concret qui est celui du système de gestion de conférence (SGC) (Chapitre 3). Et nous terminons bien sûr des conclusions et quelques perspectives. |
| Note de contenu : |
Sommaire
Résumé ................................................................................................................................... i
Abstract ................................................................................................................................. ii
Remerciements .................................................................................................................... iv
Dédicaces ............................................................................................................................... v
Contenu ................................................................................................................................ vi
Liste des figures .................................................................................................................... x
Introduction générale .......................................................................................................... 1
Chapitre 01 Les Systèmes Multi-Agents Temps Réel ............................................. 3
1. Introduction ............................................................................................................. 3
2. Les Agents ................................................................................................................. 4
2.1 Définition d’agent ............................................................................................. 4
2.2 Les Modèles d'Agent ......................................................................................... 5
2.2.1 Modèle d’Agents Réactif ............................................................................ 5
2.2.2 Modèle d'Agent Cognitif ............................................................................ 5
2.2.3 Modèle d’Agents Hybrides ........................................................................ 6
3. Les Systèmes Multi Agent (SMA) .......................................................................... 7
3.1 Définition .......................................................................................................... 7
3.2 Caractéristique d’un SMA ........................................................... …………….8
3.3 Les Constituants d’un Système Multi-Agents .................................................. 8
3.3.1 Agent .......................................................................................................... 8
3.3.2 Environnement ........................................................................................... 8
3.3.3 Organisation ............................................................................................... 9
3.3.4 Interaction ................................................................................................ 11
3.4 Mode d’interaction .......................................................................................... 12
3.4.1 La coopération .......................................................................................... 12
3.4.2 La coordination ........................................................................................ 12
3.4.3 La négociation .......................................................................................... 12
3.5 Infrastructure d’interaction.............................................................................. 12
3.5.1 La Communication ................................................................................... 12
3.6 Domaine d’application des SMA .................................................................... 14
4. Les Système Multi-Agent Temps Real ................................................................ 14
4.1. Système Temps Réel ...................................................................................... 14
4.1.1 Définition ................................................................................................... 14
4.2 Les systèmes multi-agents temps réel ............................................................. 15
5. Conclusion ............................................................................................................ 15
Chapitre 02 Outils de développement des SMA ..................................................... 16
1. Introduction ........................................................................................................... 16
2. Le Langage Maude ................................................................................................ 16
2.1 Présentation ....................................................................................................... 16
2.2 Caractéristique Maude .................................................................................... 17
2.3 Niveaux de Maude .......................................................................................... 17
2.3.1 Core Maude .............................................................................................. 17
2.3.2 Full Maude ............................................................................................... 19
2.4 Syntaxe du Langage Maude ............................................................................ 20
2.4.1 La Déclaration de Sort et Subsort ............................................................ 21
2.4.2 La Déclaration des Opérations ................................................................. 21
2.4.3 Les Variables ............................................................................................ 22
2.4.4 Importation de Modules ........................................................................... 22
2.5 Maude et Vérification de Modèles ................................................................... 23
2.5.1 LTL et Maude .......................................................................................... 23
2.5.2 Structure de Kripke et Logique de Réécriture .......................................... 24
2.5.3 Vérification de Modèles avec Mande ...................................................... 25
3 Real Time-Maude (RT-Maude) ............................................................................. 28
4 La plateforme Jade ................................................................................................. 33
4.1 Les comportements « Behaviours » en JADE................................................. 34
4.1.1 Les Behaviours simples ........................................................................... 36
4.1.2 Les Behaviours planifiés .......................................................................... 37
4.1.3 Les Behaviours Composés ....................................................................... 37
5. Langage de Modélisation AUML ........................................................................... 38
5.1 Présentation ..................................................................................................... 38
5.1.1 Définition d’UML .................................................................................... 38
5.1.2 Insuffisance d'UML .................................................................................. 39
5.2 AUML « Agent Unified Modeling Language » .............................................. 40
5.2.1 Définition d’AUML ................................................................................... 40
5.2.2 Les Diagrammes AUML .......................................................................... 40
6. Conclusion .............................................................................................................. 42
Chapitre 03 Formalisation du modèle Moise+ .......................................................... 43
1. Introduction ........................................................................................................... 43
2 Spécification formelle de Moise+ .......................................................................... 43
2.1 Architecture du Framework Proposé .............................................................. 44
3 Cas d’étude : Système de Gestion de Conférence (SGC) ...................................... 52
3.1 Description ........................................................................................................ 52
3.2 Décomposition selon Moise+ du Système de Gestion de Conférence ............ 54
3.2.1 La Spécification Structurelle ...................................................................... 54
3.2.2 La Spécification Fonctionnelle ................................................................ 55
3.3 Modélisation AUML du Système de Gestion de Conférence ......................... 57
3.3.1. Diagramme de class du Système de Gestion de Conférence .................... 57
3.3.2. Diagramme de cas d’utilisation du Système de Gestion de Conférence ... 58
3.3.3. Diagramme de Communication du Système de Gestion de Conférence . 59
3.3.4 Diagrammes d’état transition du Système de Gestion de Conférence ...... 59
3.3.5. Diagramme de Protocole du Système de Gestion de Conférence ............ 61
3.3.6. Diagrammes de Temps du Système de Gestion de Conférence ................ 63
3.4 Application du Processus de Translation ........................................................ 64
3.4.1. Translation................................................................................................. 64
3.4.2. Validation de la Description Générée ....................................................... 67
3.5 Vérification de la Description Générée ........................................................... 69
3.5.1. Propriétés du comportement individuel .................................................... 70
3.5.2. Vérification des propriétés ........................................................................ 72
3.6 Déploiement du Framework du Système de Gestion de Conférence sous JADE ........................... 74
3.6.1 Déploiement ............................................................................................. 75
4 Conclusion ............................................................................................................. 78
Conclusion & Perspectives ................................................................................................ 80
Bibliographie ........................................................................................
|
| Côte titre : |
MAI/0253 |
| En ligne : |
https://drive.google.com/file/d/1g_BmDE6IsalwmsWEzOI-ey1UtBbskGlC/view?usp=shari [...] |
| Format de la ressource électronique : |
pdf |
Formalisation des systèmes Multi-Agents Temps Réel avec Real-Time Maude [texte imprimé] / Lekired, Chahinez, Auteur ; Laouadi ,Mohamed Amin, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (81 f .) ; 29 cm. Langues : Français ( fre) Langues originales : Français ( fre)
| Catégories : |
Thèses & Mémoires:Informatique
|
| Mots-clés : |
système multi-agent
temps réel
organisations
Moise
formelle
Maude
Real Time Maude
Jade |
| Résumé : |
Résumé
La technologie agent est un paradigme permettant d’implémenter des applications distribuées complexes. Dans le but d’assister le développement des systèmes multi-agent (SMA), des méthodologies de développement ainsi que des modèles organisationnels ont été proposées ces dernières années afin de supporter la modélisation d’un grand nombre d’applications complexes. Ils doivent être capable de ‘’capturer et représenter les structures organisationnelles, définir les interactions et les modèles de collaboration entre les agents, leurs rôles interne et les dépendances entre les groupes d’agents’’.
Récemment, les chercheurs s’intéressent beaucoup aux aspects organisationnels liés aux sociétés d’agent. Pour cette raison, que le processus de développement des systèmes est guidé par les concepts : d’organisation, de groupes, de normes et de rôles.
Notre travail à un double objectif, en premier c’est l’analyse des caractéristiques du modèle organisationnel Moise que nous devons prendre en considération afin de mieux répondre aux exigences des systèmes actuels. Particulièrement, on s’intéresse à la perspective organisationnelle pour améliorer et enrichir la conception des SMA temps réel qui sont une catégorie des SMA mais ayant en plus des contraintes temporelles à respecter. Et deuxièmement proposer une formalisation du modèle Moise en utilisant un langage basé sur la logique de réécriture nommé Real Time Maude.
Ce mémoire est organisé comme suit : nous commençons par une introduction au domaine des SMA et sa branche temps réel tout en mettant l’accent sur le modèle organisationnel Moise (chapitre 1), après nous décrivons les formalismes utilisés au développement de notre approche à savoir Agent UML pour la modélisation ; Maude et son extension pour le temps réel notée Real Time Maude pour la spécification formelle ainsi qu’à la vérification du Framework à développer et la plateforme d’agent Jade pour le déploiement de la solution (chapitre 2). Par la suite, nous présentons le Framework formel développé et son application sur un exemple concret qui est celui du système de gestion de conférence (SGC) (Chapitre 3). Et nous terminons bien sûr des conclusions et quelques perspectives. |
| Note de contenu : |
Sommaire
Résumé ................................................................................................................................... i
Abstract ................................................................................................................................. ii
Remerciements .................................................................................................................... iv
Dédicaces ............................................................................................................................... v
Contenu ................................................................................................................................ vi
Liste des figures .................................................................................................................... x
Introduction générale .......................................................................................................... 1
Chapitre 01 Les Systèmes Multi-Agents Temps Réel ............................................. 3
1. Introduction ............................................................................................................. 3
2. Les Agents ................................................................................................................. 4
2.1 Définition d’agent ............................................................................................. 4
2.2 Les Modèles d'Agent ......................................................................................... 5
2.2.1 Modèle d’Agents Réactif ............................................................................ 5
2.2.2 Modèle d'Agent Cognitif ............................................................................ 5
2.2.3 Modèle d’Agents Hybrides ........................................................................ 6
3. Les Systèmes Multi Agent (SMA) .......................................................................... 7
3.1 Définition .......................................................................................................... 7
3.2 Caractéristique d’un SMA ........................................................... …………….8
3.3 Les Constituants d’un Système Multi-Agents .................................................. 8
3.3.1 Agent .......................................................................................................... 8
3.3.2 Environnement ........................................................................................... 8
3.3.3 Organisation ............................................................................................... 9
3.3.4 Interaction ................................................................................................ 11
3.4 Mode d’interaction .......................................................................................... 12
3.4.1 La coopération .......................................................................................... 12
3.4.2 La coordination ........................................................................................ 12
3.4.3 La négociation .......................................................................................... 12
3.5 Infrastructure d’interaction.............................................................................. 12
3.5.1 La Communication ................................................................................... 12
3.6 Domaine d’application des SMA .................................................................... 14
4. Les Système Multi-Agent Temps Real ................................................................ 14
4.1. Système Temps Réel ...................................................................................... 14
4.1.1 Définition ................................................................................................... 14
4.2 Les systèmes multi-agents temps réel ............................................................. 15
5. Conclusion ............................................................................................................ 15
Chapitre 02 Outils de développement des SMA ..................................................... 16
1. Introduction ........................................................................................................... 16
2. Le Langage Maude ................................................................................................ 16
2.1 Présentation ....................................................................................................... 16
2.2 Caractéristique Maude .................................................................................... 17
2.3 Niveaux de Maude .......................................................................................... 17
2.3.1 Core Maude .............................................................................................. 17
2.3.2 Full Maude ............................................................................................... 19
2.4 Syntaxe du Langage Maude ............................................................................ 20
2.4.1 La Déclaration de Sort et Subsort ............................................................ 21
2.4.2 La Déclaration des Opérations ................................................................. 21
2.4.3 Les Variables ............................................................................................ 22
2.4.4 Importation de Modules ........................................................................... 22
2.5 Maude et Vérification de Modèles ................................................................... 23
2.5.1 LTL et Maude .......................................................................................... 23
2.5.2 Structure de Kripke et Logique de Réécriture .......................................... 24
2.5.3 Vérification de Modèles avec Mande ...................................................... 25
3 Real Time-Maude (RT-Maude) ............................................................................. 28
4 La plateforme Jade ................................................................................................. 33
4.1 Les comportements « Behaviours » en JADE................................................. 34
4.1.1 Les Behaviours simples ........................................................................... 36
4.1.2 Les Behaviours planifiés .......................................................................... 37
4.1.3 Les Behaviours Composés ....................................................................... 37
5. Langage de Modélisation AUML ........................................................................... 38
5.1 Présentation ..................................................................................................... 38
5.1.1 Définition d’UML .................................................................................... 38
5.1.2 Insuffisance d'UML .................................................................................. 39
5.2 AUML « Agent Unified Modeling Language » .............................................. 40
5.2.1 Définition d’AUML ................................................................................... 40
5.2.2 Les Diagrammes AUML .......................................................................... 40
6. Conclusion .............................................................................................................. 42
Chapitre 03 Formalisation du modèle Moise+ .......................................................... 43
1. Introduction ........................................................................................................... 43
2 Spécification formelle de Moise+ .......................................................................... 43
2.1 Architecture du Framework Proposé .............................................................. 44
3 Cas d’étude : Système de Gestion de Conférence (SGC) ...................................... 52
3.1 Description ........................................................................................................ 52
3.2 Décomposition selon Moise+ du Système de Gestion de Conférence ............ 54
3.2.1 La Spécification Structurelle ...................................................................... 54
3.2.2 La Spécification Fonctionnelle ................................................................ 55
3.3 Modélisation AUML du Système de Gestion de Conférence ......................... 57
3.3.1. Diagramme de class du Système de Gestion de Conférence .................... 57
3.3.2. Diagramme de cas d’utilisation du Système de Gestion de Conférence ... 58
3.3.3. Diagramme de Communication du Système de Gestion de Conférence . 59
3.3.4 Diagrammes d’état transition du Système de Gestion de Conférence ...... 59
3.3.5. Diagramme de Protocole du Système de Gestion de Conférence ............ 61
3.3.6. Diagrammes de Temps du Système de Gestion de Conférence ................ 63
3.4 Application du Processus de Translation ........................................................ 64
3.4.1. Translation................................................................................................. 64
3.4.2. Validation de la Description Générée ....................................................... 67
3.5 Vérification de la Description Générée ........................................................... 69
3.5.1. Propriétés du comportement individuel .................................................... 70
3.5.2. Vérification des propriétés ........................................................................ 72
3.6 Déploiement du Framework du Système de Gestion de Conférence sous JADE ........................... 74
3.6.1 Déploiement ............................................................................................. 75
4 Conclusion ............................................................................................................. 78
Conclusion & Perspectives ................................................................................................ 80
Bibliographie ........................................................................................
|
| Côte titre : |
MAI/0253 |
| En ligne : |
https://drive.google.com/file/d/1g_BmDE6IsalwmsWEzOI-ey1UtBbskGlC/view?usp=shari [...] |
| Format de la ressource électronique : |
pdf |
|
Ajouter le résultat dans votre panier Affiner la recherche
