LIP6 1997/036
- Rapports de recherche
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 - 16/12/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
- Mots clés : ingénierie de service de télécommunication, RM-ODP, agent mobile, réseau de Petri, validation, vérification
- Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr
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.
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.