LIP6 1999/025

• Rapports de recherche
  Spécifier et vérifier le comportement d'un système de télécommunication
• J.-F. Dauchez, M.-P. Gervais
• 6 pages - 13/11/1999- document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.025.ps.gz - 196 Ko
• Contact : Jean-Francois.Dauchez (at) nulllip6.fr
• Ancien Thème : SRC
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).
• Mots clés : Logiciel de Communication, Qualité de Service, Agent, Specification
• Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr