Communications semantics for WSBPEL Processes

Walid Fdhila 1 Mohsen Rouached 1 Claude Godart 1
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : WSBPEL opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities within the same process and dependencies between activities of different processes. In a previous work, we have described an approach for the verification of Web service compositions defined by a set of BPEL processes. The key aspect of such a verification task is the model adopted for representing the communications among the services participating to the composition. In this paper, we propose to extend this approach to handle dependencies between activities of different process orchestrations through message exchanges. Our aim is to enable supporting models of service choreography with multiple interacting Web services compositions, from the perspective of a collaborative distributed composition development environment. The process of behavior analysis moves from a single local process to that of modelling and analyzing the behavior of multiple processes across composition domains.
Type de document :
Article dans une revue
International Conference on Web Services - ICWS'08, IEEE, 2008, pp.185-194. 〈10.1109/ICWS.2008.55〉
Domaine :
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00345178
Contributeur : Walid Fdhila <>
Soumis le : lundi 8 décembre 2008 - 15:15:17
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : jeudi 11 octobre 2012 - 12:55:19

Fichier

fdhila.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Walid Fdhila, Mohsen Rouached, Claude Godart. Communications semantics for WSBPEL Processes. International Conference on Web Services - ICWS'08, IEEE, 2008, pp.185-194. 〈10.1109/ICWS.2008.55〉. 〈inria-00345178〉

Partager

Métriques

Consultations de la notice

257

Téléchargements de fichiers

145