LIP6 1999/025

• Reports
  Spécifier et vérifier le comportement d'un système de télécommunication
• J.-F. Dauchez, M.-P. Gervais
• 6 pages - 11/13/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
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).
• Keywords : Communication Software, Quality Assurance, Agent, Specification
• Publisher : Denis.Poitrenaud (at) nulllip6.fr