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

Marie-Pierre Gervais 1 Nicolas Ruffel
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01629211
Contributor : Lip6 Publications <>
Submitted on : Monday, November 6, 2017 - 10:42:26 AM
Last modification on : Thursday, March 21, 2019 - 2:39:05 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

43