Design of Telecommunication Service Based on Software Agent Technology and Formal Methods - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

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

Marie-Pierre Gervais
  • Fonction : Auteur
  • PersonId : 961875
Nicolas Ruffel
  • Fonction : Auteur

Résumé

We propose an approach based on software agent technology and 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 one 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 proven properties that guarantee their quality. We illustrate it with an example: a multi-agent system of a contract monitoring.

Dates et versions

hal-01629211 , version 1 (06-11-2017)

Identifiants

Citer

Marie-Pierre Gervais, Nicolas Ruffel. Design of Telecommunication Service Based on Software Agent Technology and Formal Methods. IEEE Globecom '97, Nov 1997, Phoenix, United States. pp.1724-1728, ⟨10.1109/GLOCOM.1997.644553⟩. ⟨hal-01629211⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More