Supervision : Amal EL FALLAH SEGHROUCHNI

CLAIM et SyMPA : Un environnement pour la programmation d'agents intelligents et mobiles

Dans cette thèse nous proposons un cadre théorique et pratique pour la programmation d'agents autonomes, intelligents, adaptatives, communicants et mobiles. A partir de notre constat qu'il y a un besoin pour des langages de haut niveau permettant de programmer des agents à la fois intelligents et mobiles et qu'aujourd'hui il n'existe pas un formalisme unifiant satisfaisant ces besoins, cette thèse propose un environnement de programmation orientée agent composé de deux éléments principaux: le langage CLAIM et la plateforme associée SyMPA. CLAIM est un langage de programmation de haut niveau permettant d'implanter des agents intelligents (avec un état mental complexe et des mécanismes de raisonnement puissants), communicants et mobiles, en utilisant les mêmes concepts pour la conception et l'implantation des applications d'agents, afin de réduire le décalage entre ces deux phases, en réduisant ainsi les efforts et la durée de développement. Le langage permet aussi l'adaptabilité dynamique du système multi-agents construit, à l'aide d'une représentation hiérarchique des agents et des outils du langage permettant aux agents de s'auto-reconfigurer de manière autonome, d'acquérir des nouvelles connaissances et capacités, et d'adapter leur structure en fonction des changements dans l'environnement et des besoins des applications cibles. CLAIM a une sémantique opérationnelle décrivant le comportement du système multi-agents et représentant un premier pas vers la vérification formelle des programmes d'agents. SyMPA est une plateforme distribuée implantée en Java qui supporte des agents CLAIM. Elle offre des outils pour définir des agents et des classes d'agents, un compilateur pour CLAIM et des mécanismes pour le déploiement, l'exécution, la communication et la mobilité des agents, en assurant en même tems un haut niveau de sécurité et de tolérance aux pannes. SyMPA offre également des interfaces graphiques pour la gestion des agents et pour visualiser leur exécution, communication et migration. CLAIM et SyMPA ont déjà été utilisées pour développer plusieurs applications complexes prouvant ainsi l'expressivité du langage et la robustesse de la plateforme.

2004-2007 Publications

• 2007
  • A. Suna, A. El Fallah‑Seghrouchni : “Programming mobile intelligent agents: an operational semantics”, Web Intelligence and Agent Systems, vol. 5 (1), pp. 47-67, (IOS Press) (2007)
• 2005
  • A. Suna : “CLAIM et SyMPA : Un environnement pour la programmation d’agents intelligents et mobiles”, thesis, phd defence 12/07/2005, supervision El fallah seghrouchni, Amal (2005)
  • A. Suna, A. El Fallah‑Seghrouchni : “Adaptive Mobile Multi-agent Systems”, CEEMAS 2005 - 4^th International Central and Eastern European Conference on Multi-Agent Systems, vol. 3690, Lectures Notes in Artificial Intelligence, Budapest, Hungary, pp. 41-50, (Springer-Verlag) (2005)
  • T. Melliti, S. Haddad, A. Suna, A. El Fallah‑Seghrouchni : “Web-MASI: Multi-Agent Systems Interoperability Using a Web Sevices Based Approach”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiègne, France, pp. 739-742, (IEEE Computer Society) (2005)
  • A. El Fallah‑Seghrouchni, A. Suna : “CLAIM and SyMPA: A Programming Environment for Intelligent and Mobile Agents”, chapter in Multi-Agent Programming: Languages, Platforms and Applications, pp. 95-122, (Springer-Verlag), (ISBN: 0387245685) (2005)
  • A. Suna, Ch. Lemaitre, A. El Fallah‑Seghrouchni : “E-commerce using an agent oriented approach”, Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, vol. 9 (25), pp. 89-98, (Spanish Association for Intelligence Artificial (AEPIA).) (2005)
• 2004
  • A. El Fallah‑Seghrouchni, A. Suna : “Himalaya framework: Hierarchical Intelligent Mobile Agents for Building Large-scale and Adaptive sYstems based on Ambients”, MMAS 2004 - 1^st International Workshop on Massively Multi-Agent Systems, vol. 3446, Lecture Notes in Artificial Intelligence, Kyoto, Japan, pp. 202-216, (Springer-Verlag) (2004)
  • A. El Fallah‑Seghrouchni, S. Haddad, T. Melliti, A. Suna : “Interopérabilité des systèmes multi-agents à l’aide des Services Web”, JFSMA 2004 - 12^es Journées Francophones sur les Systèmes Multi-Agents, Paris, France, pp. 91-104, (Hermès Lavoisier) (2004)
  • A. El Fallah‑Seghrouchni, A. Suna : “Programming Mobile Intelligent Agents: an Operational Semantics”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Beijing, China, pp. 65-71, (IEEE Computer Society) (2004)
  • A. Suna, G. Klein, A. El Fallah‑Seghrouchni : “Using mobile agents for resource sharing”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Beijing, China, pp. 389-392, (IEEE Computer Society) (2004)
  • A. Suna, A. El Fallah‑Seghrouchni : “A mobile agents platform: architecture, mobility and security elements”, PROMAS 2004 - 2^nd International Workshop on Programming Multiagent Systems Languages and tools, vol. 3346, Lecture Notes in Computer Science, New York, United States, pp. 126-146, (Springer-Verlag) (2004)
  • G. Klein, A. Suna, A. El Fallah‑Seghrouchni : “Resource Sharing and Load Balancing Based on Agent Mobility”, ICEIS 2004 - 6^th International Conference on Enterprise Information Systems, Porto, Portugal, pp. 350-355 (2004)
  • A. Suna, A. El Fallah‑Seghrouchni, Ch. Fouqueré, P. Baillot : “Mobile Multi-Agent Systems: A Programming Language and Its Semantics.”, AAMAS 2004 - 3^rd International Joint Conference on Autonomous Agents and Multi-Agents Systems, New York, United States, pp. 1386-1387, (IEEE Computer Society Press) (2004)