Spécifier et vérifier le comportement d'un système de télécommunication
Jean-François Dauchez, Marie‐Pierre Gervais · HAL (Le Centre pour la Communication Scientifique Directe) · 1999
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).