Résumé:
En offrant un nouveau paradigme pour les systèmes d’information distribué et hétérogènes,
les services Web présentent de fortes potentialités pour l’intégration des applications intra et
interentreprises. Mais, bien que beaucoup d’avancés ont été réalisées pour surmonter les
problèmes d’interopérabilité, les services Web n’ont pas encore atteint la maturité
technologique leur permettant de traiter de vrai processus métiers trans-organisationnels. Ce
constat est dû, essentiellement, à des insuffisances dans la prise en compte et dans la
modélisation des contraintes fonctionnelles et non fonctionnelles liées aux services Web.
Pour un déploiement effectif et une large adoption de cette technologie, les protocoles de
services, bien qu’ils décrivent certaines caractéristiques fonctionnelles liées au
comportement externe des services, nécessitent d’autres enrichissements.
Dans ce mémoire, nous traitons de la prise en compte des contraintes lors de la découverte et
l’orchestration des services Web et nous nous intéresserons, tout particulièrement, à la
modélisation des contraintes transactionnelles.
Dans un premier temps, nous proposerons une modélisation des effets transactionnels, puis
nous présenterons un enrichissement de la description du comportement externe des services
Web par la prise en compte des contraintes transactionnelles en exposant le nouveau modèle
de protocoles de services à effets transactionnels.
Dans un deuxième temps, nous nous attacherons à étudier les conséquences conceptuelles,
d’un tel enrichissement, sur l’analyse de compatibilité et d’équivalence des protocoles de
service. La première analyse est relative à la découverte des services et la deuxième concerne
le processus d’orchestration. En identifiera les classes d’équivalences des protocoles à effets
transactionnels et en présentera les algorithmes adéquats. Divers opérateurs de manipulation
des effets transactionnels et des protocoles de services seront présentés et formalisés, en vue
de consolider l’assise théorique existante pour la gestion et la manipulation des protocoles de
services à effets transactionnels.
