Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods

M.-P. Gervais, A. Diagne

LIP6 1997/036: Rapport de Recherche LIP6 / LIP6 research reports
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

Résumé : Afin d'être compétitifs, les fournisseures de services de télécommunication ont besoin de nouvelles technologies qui facilitent l'introduction rapide et à moindre coût de services validés. L'ingénierie de services est une nouvelle discipline permettant au secteur des télécommunications de mettre au point les technologies et processus d'ingénierie nécessaires à la création de services. Parallèlement à ces études, le développement d'applications sur Internet illustre une façon nouvelle de concevoir des services de télécommunication fondée sur le paradigme agent mobile.
Celui-ci offre de nouveaux concepts qui répond aux besoins de l'ingénierie de services. La fusion de ces approches permet alors d'améliorer le processus de la création de services. Nous l'illustrons en présentant un cadre de conception formelle de services de télécommunication fondée sur la technologie agent mobile complétée par l'utilisation de méthodes formelles.
La contribution de ce travail est double. D'une part, elle s'appuie sur le modèle de référence ODP et montre comment adapter ses concepts à l'approche agent. D'autre part, elle offre à un concepteur de services utilisant l'approche agent des outils de validation et de vérification lui permettant de prouver la qualité de ses spécifications.

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.

Mots-clés : ingénierie de service de télécommunication, RM-ODP, agent mobile, réseau de Petri, validation, vérification

Key-words : Telecommunication Service Engineering, Mobile Agent, Petri Nets, Validation, Verification

Publications internes LIP6 1997 / LIP6 research reports 1997

Responsable Éditorial / Editor
webmaster@lip6.fr