LIP6 1997/036: Rapport de Recherche
7 pages - Décembre/December 1997 - Document en anglais.
PostScript : 31 Ko /Kb
Contact : par mail / e-mail
Thème/Team: Systèmes Répartis et Coopératifs
Titre français : 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
Titre anglais : Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods
Abstract : 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.
Key-words : Telecommunication Service Engineering, Mobile Agent, Petri Nets, Validation, Verification
Publications internes LIP6 1997 / LIP6 research reports 1997
Éditorial / Editor