Design of Telecommunication Services Based on Software Agent Technology and Formal Methods
Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles
Résumé
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.
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...