Vers une approche d´eclarative pour l’analyse de l’impact de l’´evolution dynamique des protocoles des services web
No Thumbnail Available
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Les services web constituent la nouvelle g´en´eration de composants logiciels favori sant l’int´egration des syst`emes d’informations h´et´erog`enes et distribu´es. Dans de tels
environnements, les organisations impl´ementent leurs processus m´etiers en tant que
services web. Par ailleurs, pour adapter leurs syst`emes d’information `a la versatilit´e
de l’environnement, les organisations investissent des budgets et des efforts colossaux
dans la gestion de l’´evolution des processus m´etiers. Cependant, l’un des probl`emes
majeurs auquel est confront´ee la technologie des services web est le d´eveloppement de
techniques et d’outils pour la prise en charge des changements qui affectent la des cription des services qui sont d´ej`a d´eploy´es et qui sont invoqu´es par divers clients. En
effet, dans le contexte des ´evolutions dynamiques, la continuit´e des instances actives,
conform´ement au nouveau processus est un probl`eme crucial qui exige une analyse de
l’impact des changements des processus m´etiers sur les instances actives d’un service.
Dans cette th`ese, nous abordons le probl`eme de l’´evolution dynamique des services
web et nous analysons l’impact des changements de leurs protocoles sur les instances
en cours d’ex´ecution.
Alors que les travaux ant´erieurs ayant trait´e ce probl`eme se sont concentr´es, es sentiellement, sur la v´erification de certains crit`eres de conformit´e ou sur le calcul des
r´egions du sch´ema du protocole qui sont affect´ees par les changements afin d’assurer
la migration des instances actives d’une mani`ere simpliste (migrables, non migrables),
nous proposons une approche d´eclarative permettant d’assurer diff´erentes strat´egies
de migration des instances actives vers la nouvelle version du protocole.
Le trait saillant de notre approche consiste en un cadre formel fond´e sur un langage
d´eclaratif pour soutenir les fournisseurs de services `a d´efinir leurs propres strat´egies
de migration, en leur donnant la possibilit´e de sp´ecifier d’une mani`ere d´eclarative
les contraintes qui gouvernent le processus de migration des instances, au lieu de les
forcer `a refl´eter le plus fid`element possible celles d’origine. Nous percevons la migration
d’instances comme ´etant le probl`eme de prendre des instances s’ex´ecutant sous un
protocole donn´e et de les convertir en de nouvelles instances dans le nouveau protocole.
Le cadre formel propos´e est fond´e sur la sp´ecification d’un langage de migration
d’instances, et sur l’identification et la formalisation d’un ensembles de patrons de
migration. L’approche propos´ee permet aux fournisseurs de services de sp´ecifier leur
propres strat´egies de migration, suite `a l’´evolution d’un protocole de service. Les stra t´egies de migration sont exprim´ees par un ensemble de patrons de migration, et chaque
patron capture un classe de contrainte et peut ˆetre instanci´e par le fournisseur de ser vice pour d´efinir des r`egles de migration sp´ecifiques dans le cadre d’une strat´egie de
migration particuli`ere. Les patterns propos´es peuvent ˆetres compos´es en utilisant les
op´erateurs logiques pour d´efinir des strat´egies de migration plus ´elabor´ees.
L’approche propos´ee a ´et´e impl´ement´ee, exp´eriment´ee et ´evalu´ee. L’outil logiciel
r´ealis´e offre des fonctionnalit´es tr`es utiles aux gestionnaires des protocoles m´etier pour
la gestion de la migration des instances actives des services web.