Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods

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

Résumé

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.
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.
Fichier principal
Vignette du fichier
lip6.1997.036.pdf (31.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02547658 , version 1 (20-04-2020)

Identifiants

  • HAL Id : hal-02547658 , version 1

Citer

Marie-Pierre Gervais, Alioune Diagne. Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods. [Research Report] lip6.1997.036, LIP6. 1997. ⟨hal-02547658⟩
23 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More