Prise en compte des contraintes transactionnelles dans les services web : modélisation et analyse d’equivalence

L’infrastructure actuelle des services Web reste insuffisante pour une réelle prise en charge des activités métiers et pour la gestion des transactions transorganisationnelles. En effet, la description actuelle du comportement externe des services Web et les techniques de composition et de coordination ne garantissent pas une gestion fiable et efficace des transactions métiers complexes, de longue durée et manipulant des données critiques. La compensation des opérations inachevées, pour diverses raisons, s’avère, alors, inévitable. Cependant, la prise en compte des contraintes transactionnelles et la gestion de la compensation n’ont pas bénéficié de tout l’intérêt qu’elles revêtent. Dans cet article, nous nous intéressons à cet aspect important des environnements services Web. Nous proposons une modélisation formelle des effets transactionnels. Les protocoles de services enrichis per l’injection du modèle d’effets proposé seront exposés et l’analyse d’équivalence des services sera revue, en conséquence. Nous identifierons les nouvelles classes d’équivalence des services enrichis et nous présenterons les algorithmes y afferents.