LIP6 1999/025

• 学术报告 «Spécifier et vérifier le comportement d'un système de télécommunication»
• J.-F. Dauchez, M.-P. Gervais
• 6 pages - 1999-11-13 - document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.025.ps.gz 196 Ko
• 联系方式 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).