Support des propriétés transactionnelles dans les services web

Abstract

Les dernières décennies ont été marquées par le développement rapide des systèmes d'information distribues, et tout particulièrement par la vulgarisation de l'accès a Internet. Cette évolution a entrainé le développement de nouveaux paradigmes d'interaction entre applications tel que les «services web». La composition de services web permet la création de nouveaux services web (appelés services web composés) par le regroupement des services web existants. Ainsi, les services web composés peuvent être vus comme des applications distribués avec des caractéristiques spécifiques. Ces caractéristiques influencent le traitement transactionnel dans ce domaine et propose une solution flexible pour la composition des services web avec des propriétés transactionnelles. Dans cet article, nous proposons AdapS « Adaptable Composite Web Services » un modèle adaptable et flexible pour la composition de services web avec propriétés transactionnelles. Nous utilisons le formalisme ACTA pour valider et prouver des propriétés d’atomicité du modèle.

Mots clés: Composition de services web, modèles transactionnels avancés, propriétés transactionnelles de services web, modèle transactionnel flexible et adaptable pour les services web

English Title: Transactional properties support in web services

English Abstract

The latest decades have been marked by the rapid development of the distributed information systems, and particularly by the popularization of Internet access. This evolution led to the development of new paradigms for interaction between applications such as "Web Services". The composition of web services permits to create new web services (called composite web services) by regrouping web services that already exist. Thus, a composite web service can be seen as a distributed application that has specific characteristics. These characteristics influence the transactional aspects in this domain and generate the need for flexible and adaptable solutions for the composition of web services with transactional properties. In this paper, we propose "AdapS" (Adaptable Composite Web Services) a flexible and adaptable model to support the composition of web services with transactional properties. We used the ACTA formalism to validate and prove the atomicity properties of the model.

Keywords: Web service composition, Advanced transactional models, Transactional properties of web services, transactional flexible and adaptable model for web services