Design of Telecommunication Services Based on Software Agent Technology and Formal Methods

M.-P. Gervais, N. Ruffel

LIP6 1997/013: Rapport de Recherche LIP6 / LIP6 research reports
6 pages - Juillet/July 1997 - Document en anglais.

PostScript : 29 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles
Titre anglais : Design of Telecommunication Services Based on Software Agent Technology and Formal Methods

Résumé : 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.

Abstract : We propose in this paper an approach based on the software agent technology and the formal methods for designing telecommunication services. This approach aims to identify agent and interaction-oriented design patterns and to describe them with a formalism enabling to prove their quality. These patterns are based on a classification of agents interactions using the interaction model of the Reference Model of Open Distributed Processing (RM-ODP). The formalism offers a methodology for validation and verification based on Petri nets. With such an approach, it is possible to specify some components with proved properties that guarantee their quality. We illustrate it with an example: a Multi-Agent System of a contract monitoring.

Mots-clés : agent logiciel, réseau de Petri, Traitement Réparti Ouvert (ODP), modèle d'interaction

Key-words : software agent, Petri nets, Open Distributed Processing (ODP), interaction model

Publications internes LIP6 1997 / LIP6 research reports 1997

Responsable Éditorial / Editor
webmaster@lip6.fr