I2am : une methode orientee agent pour la construction de systemes distribues

par MICHEL CORIAT

Thèse de doctorat en Sciences appliquées

Sous la direction de P. ESTRAILLIER.

Soutenue en 1996

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 327 P.
  • Annexes : 274 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1996 94
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.