LIP6 1997/013

• Rapports de recherche
  Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles
• M.-P. Gervais, N. Ruffel
• 6 pages - 29/07/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.013.ps.gz - 30 Ko
• Contact : Marie-Pierre.Gervais (at) nulllip6.fr, Nicolas.Ruffel (at) nulllip6.fr
• Ancien Thème : SRC
Nous proposons dans ce papier une approche fondée sur la technologie agent et les méthodes formelles pour concevoir des services de télécommunication. Cette approche a pour objectif d'identifier des gabarits de conception orientés interaction et agent et de les décrire dans un formalisme permettant de prouver leur qualité. Ces gabarits sont fondés sur une classification des interactions entre agents qui utilise le modèle d'interaction décrit dans le modèle de référence ODP. Le formalisme offre une méthodologie de validation et de vérification basée sur les réseaux de Petri. Avec une telle approche, il est possible de spécifier des composants ayant des propriétés prouvées qui garantissent leur qualité. Nous l'illustrons par l'exemple d'un système multi-agent de suivi de contrat.
• Mots clés : agent logiciel, réseau de Petri, Traitement Réparti Ouvert (ODP), modèle d'interaction
• Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr