Chapitre1 : JADE
ü Tab 1.1 : actes de communication du
modèle FIPA ACL ... 5
ü Tab 1.2 : les champs d'un
message ACL en JADE... 15
Chapitre2 : AUML
ü Tab 2.1 : les différents formats
possible pour l'étiquette du label de la ligne de vie du diagramme de
séquence AUML ... 39
Chapitre3 : Approche proposée et
présentation de l'outil
développé
ü Tab 3.1 : l'équivalence entre les
différents branchements qui existent dans le diagramme de
séquence AUML et le programme JADE ... ........53
Resume
Une nouveCCe approche de generation de diagrammes
AU.ML à partir du code JADE est proposee dans ce memoire. En effet,
cette approche se pCace dans Ce conte xte de retro-ingenierie des S.MA et vise
comme objectif d%aider Ces utiCisateurs qui ne sont pas hien
famiCiarises avec Ca pCateforme JADE de comprendre Ces appCications deveCoppees
sur JADE. Notre approche est supportee par un outiC visueC et interactif que
nous avions deveCoppe dans C%environnement ECLIPSE. Cet outiCpermet d%anaCyser
dans un premier temps C%appCication JADE avant d%en generer deux diagrammes
AU.ML: diagramme de cCasse et diagramme de sequence. Le premier est utiCise
pour capturer Ces aspects statiques de C%appCication tandis que Ce
deuxieme est utiCise pour decrire Ce comportement coCCectif des agents
impCiques dans C%interaction. Notre outiCpermet egaCement de generer
une description formeCCe ecrite en X.ML offrant une description standardpouvant
etre utiCisee par Ca pCus part des outiCs de modeCisation
agent.
Génération d~s diagrammes AlliviL dpartir
d~ programmes JADE
Introduction généra
1. Cadre et motivations
Le domaine des SMA «Systèmes Multi Agents»
est relativement jeune. Malgré que ses prémices remontent
à l'IA «Intelligence Artificielle», les SMA n'ont vraiment
été étudiés qu'a partir des années 80
[Mic05] mais prennent actuellement toute leur ampleur.
Le SMA peut être vue selon FERBER & GHALLAB (1988)
comme une communauté d'agents autonomes travaillant en commun, selon
des modes parfois complexes de coopération, coordination, concurrence,
pour aboutir à un objectif global comme par exemple : la
résolution d'un problème, l'établissement d'un diagnostic
...etc. [Mou00]. Il touche une grande
variété de domaines d'applications tels que : les systèmes
multi-experts d'aide à la décision ; l'enseignement intelligent
assisté par ordinateur ; la gestion des activités de production ;
l'imagerie médicale ; les travaux urbains ; la
télémédecine ; la simulation du comportement des fourmis
et l'étude de l'émergence des structures ;
l'interprétation des images satellitaires ; la traduction automatique ;
la robotique...etc. [Mou00]. Donc, le contexte actuel nous
amène à penser que l'utilisation des SMA va suivre une croissance
importante dans les années qui suivent. Il est alors nécessaire
d'avoir des outils pour développer facilement des SMA fonctionnels et
compétents. Ainsi que créé des langages de
modélisation, de programmation, ou des spécifications plus
générales sur les interactions entre agents
[Mic05]. Pour cela de nombreux efforts ont été
donnés par la FIPA (Foundation for Intelligent Physical Agents) pour
créer des standards dans ce domaine.
Dans ce mémoire, nous proposons une nouvelle approche
de génération de diagrammes AUML à partir du code JADE. En
effet, cette approche se place dans le contexte de
rétroingénierie des SMA et vise comme objectif d'aider les
utilisateurs qui ne sont pas bien familiarisés avec la plateforme JADE
de comprendre les applications développées sur JADE. Notre
approche est supportée par un outil visuel et interactif que nous avions
développé dans l'environnement ECLIPSE. Cet outil permet
d'analyser dans un premier temps l'application JADE avant d'en
générer deux diagrammes AUML: diagramme de classe et diagramme de
séquence. Le premier est utilisé pour capturer les aspects
statiques de l'application tandis que le deuxième est utilisé
pour décrire le comportement collectif des agents impliqués
dans
Generation d~s diagrammes AlliviL dpartir d~ programmes
JADE
| 
