Abstract FR:

I2am (acronyme derive de methode agent basee interaction et intention) est une methode d'analyse et de conception de systemes distribues. I2am est orientee agent parce qu'elle utilise des notions de l'iad et des systemes multi-agents telles que l'interaction, la cooperation, ou l'intention. Il est demontre que ces notions sont utiles pour l'analyse de la distribution des traitements et des ressources dans un systeme distribue. La methode i#2am repose sur les modeles suivants: ' la table d'actes qui est une notation basee sur les actes de langages qui decrit le comportement attendu systeme au stade de l'analyse des besoins, ' la logique actl* (agent ctl*) qui etend la logique temporelle ctl* par des connecteurs modaux (bel, intend, able, do, send, mable, mintend) permettant d'attribuer des proprietes (invariants) a un agent ou groupe d'agents, ' le diagramme de cooperation defini une organisation d'agents via des relations de cooperation ou d'interaction entre les agents. A ces relations sont associees des elements de base de type action, ressource, ou influence, ' le diagramme de conversation permet de decrire et d'analyser le flot d'informations entre les differents agents du systeme ce qui permet de specifier des sequences bien formees d'actes de langage, ' l'architecture bis (belief, intention, strategy) decrit le modele d'agent. L'architecture est composee de quatre vues: (i) structurelle definissant les relations de l'agent et son attitude intentionnelle, (ii) contrainte exprimant des invariants statiques et dynamiques en actl*, (iii) dynamique representant le comportement de l'agent par reseau de petri colore, (iv) raffinement permettant de mener a bien la conception et l'implantation du systeme. Le processus de i2am dirige dans l'analyse et la conception de systeme par l'utilisation des notations et concepts associes et integre des notions d'obligation de preuve. Un ensemble d'outils (les i#2am-tools) illustre la methode