Dynamic Service Generation: Agent interactions for service exchange on the Grid. (Génération dynamique de service : Interactions entre agents pour l'échange de service Grid)

C. Jonquet

Abstract:L'objet de cette these est la modelisation de l'echange dynamique de services. La notion de service joue desormais un role cle dans le developpement, la diffusion et l'implementation des systemes distribues. Cette these propose une reflexion sur la notion de service et introduit le concept de Generation Dynamique de Service (GDS) comme une approche differente de l'echange de service en informatique, dans laquelle des services sont dynamiquement construits, fournis et utilises par des agents (humains ou artificiels). Ces echanges de services sont bases sur des conversations qui ont lieu au sein de differentes communautes. Deux caracteristiques de la GDS sont particulierement mises en avant~: l'aspect oriente agent et l'aspect oriente Grid. La these se situe donc a l'intersection de trois domaines : le Service-Oriented Computing (SOC), les Systemes Multi-Agents (SMA) et GRID. Les trois contributions majeures sont : (i) la proposition d'un nouveau modele de representation et de communication agent, appele STROBE, qui permet aux agents de developper dynamiquement un langage different pour chacun de leurs interlocuteurs. Ils sont capables d'interpreter des messages et d'executer des services dans des contextes de conversation dedies; (ii) une fonction, appelee i-dialogue, qui modelise les conversations agents a l'aide des principes de la programmation applicative/fonctionnelle (i. E. , flots, evaluation paresseuse, procedures de premiere classe) ; (iii) un modele d'integration GRID-SMA qui represente les capacites des agents par des services Grid. Dans ce modele, un langage formel, appele Agent-Grid Integration Language (AGIL), decrit semantiquement et graphiquement les concepts cles de GRID et SMA, leurs relations, ainsi que les regles de leur integration. AGIL integre tous les resultats de la these en proposant une formalisation des interactions entre agents pour l'echange de services sur le Grid