LIP6 1997/013

• 学术报告 «Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles»
• M.-P. Gervais, N. Ruffel
• 6 pages - 1997-7-29 - document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.013.ps.gz 30 Ko
• 联系方式 Marie-Pierre.Gervais (at) nulllip6.fr, Nicolas.Ruffel (at) nulllip6.fr
• Ancien Thème : SRC
We propose in this paper an approach based on the software agent technology and the formal methods for designing telecommunication services. This approach aims to identify agent and interaction-oriented design patterns and to describe them with a formalism enabling to prove their quality. These patterns are based on a classification of agents interactions using the interaction model of the Reference Model of Open Distributed Processing (RM-ODP). The formalism offers a methodology for validation and verification based on Petri nets. With such an approach, it is possible to specify some components with proved properties that guarantee their quality. We illustrate it with an example: a Multi-Agent System of a contract monitoring.