Specifying and verifying the behavior of telecommunications services

J.-F. Dauchez, M.-P. Gervais

LIP6 1999/025: Rapport de Recherche LIP6 / LIP6 research reports
6 pages - Novembre/November 1999 - Document en anglais.

PostScript : 191 Ko /Kb

Contact : par mail / e-mail

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

Titre français : Spécifier et vérifier le comportement d'un système de télécommunication
Titre anglais : Specifying and verifying the behavior of telecommunications services

Résumé : Le rapport présente les travaux actuellement terminé 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 and 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).

Abstract : 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).

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

Key-words : Communication Software, Quality Assurance, Agent, Specification

Publications internes LIP6 1999 / LIP6 research reports 1999

Responsable Éditorial / Editor :Denis.Poitrenaud@lip6.fr