LIP6 1997/036
- Reports
Améliorer l'ingénierie de services de télécommunication par l'utilisation conjointe de la technologie agent mobile et des méthodes formelles - M.-P. Gervais, A. Diagne
- 7 pages - 12/16/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.036.ps.gz - 31 Ko
- Contact : Marie-Pierre.Gervais (at) nulllip6.fr, Alioune.Diagne (at) nulllip6.fr, Denis.Poitrenaud (at) nulllip6.fr
- Ancien Thème : SRC
- Keywords : Telecommunication Service Engineering, Mobile Agent, Petri Nets, Validation, Verification
- Publisher : Denis.Poitrenaud (at) nulllip6.fr
In order to be competitive, telecommunication service providers need new technologies that facilitate the rapid introduction of validated services in a cost-effective manner. Service engineering is a new discipline in which the telecommunication sector adresses the technologies and engineering processes required for the service creation. Concurrently with these studies, the development of applications in Internet shows a new way to design telecommunication services based on the mobile agent paradigm.
This brings new concepts that fit the requirements of service engineering. Therefore merging the approaches enables to improve the service creation process. We illustrate it by presenting a framework for the formal design of telecommunication services using the mobile agent technology complemented with formal methods. The contribution of this work is twofold. First, it relies on the RM-ODP and shows how to adapt its concepts to agent orientation. Second, it provides agent-based service designers with validation and verification tools to state about the quality of their specifications.
This brings new concepts that fit the requirements of service engineering. Therefore merging the approaches enables to improve the service creation process. We illustrate it by presenting a framework for the formal design of telecommunication services using the mobile agent technology complemented with formal methods. The contribution of this work is twofold. First, it relies on the RM-ODP and shows how to adapt its concepts to agent orientation. Second, it provides agent-based service designers with validation and verification tools to state about the quality of their specifications.