Specifying and verifying the behavior of telecommunications services

Spécifier et vérifier le comportement d'un système de télécommunication

Jean-François Dauchez , Marie-Pierre Gervais (1)

1 SRC - Systèmes répartis et coopératifs

This article presents the work currently achieved in the ODAC project. This proposes to promote the agent technology by defining methods and tools based on a formal approach so that a designer of telecommunication services can specify and implement a new service in the form of a Multi-Agents System. It aims at providing a methodology for specifying and verifying the behavior of telecommunications services based on the Reference Model of Open Distributed Processing developed by the International Standardization Organization (ISO) and the International Telecommunication Union-Telecommunication Standardization Sector(ITU-T).

Le rapport présente les travaux actuellement terminés dans le projet ODAC. Celui propose de promouvoir la technologie agent en définissant des méthodes et outils basé sur une approche formelle pour qu'un concepteur de services de télécommunication puisse spécifier et implementer un nouveau service sous la forme d'un système multi-agents. Il a pour but de promouvoir une méthodologie pour spécifier et vérifier le comportement de services de télécommunication basé sur le modèle de référence de Traitement Répartie Ouvert (ODP) developpé par l'International Standardization Organization (ISO) et l'International Telecommunication Union-Telecommunication Standardization Sector (ITU-T).

Mots clés: Communication Software; Quality Assurance; Agent; Specification

Mots clés: Logiciel de Communication; Qualité de Service; Agent; Specification

Domaines: Informatique [cs]

Jean-François Dauchez, Marie-Pierre Gervais. Specifying and verifying the behavior of telecommunications services. [Research Report] lip6.1999.025, LIP6. 1999. ⟨hal-02548257⟩