Web Services Compositions Modelling and Choreographies Analysis

Mohsen Rouached 1 Walid Fdhila 2 Claude Godart 2
2 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : In (Rouached, Godart and al. 2006; Rouached, Godart 2007), we have described the semantics of WSBPEL by way of mapping each of the WSBPEL (Arkin, Askary and al. 2004) constructs to the EC algebra and building a model of the process behaviour. With these mapping rules, we have described a modelling approach of a process defined for a single Web service composition. However, this modelling is limited to a local view and can only be used to model the behaviour of a single process. A series of compositions in Web service choreography need specific modelling activities that are not explicitly derived from an implementation. An elaboration of modelling is then required to represent the behaviour of interacting compositions across partnered processes. This elaboration provides a representation that enables us to perform analysis of service interaction for behaviour properties. The ability to perform verification and validation between execution and design, and within the process compositions themselves, is a key requirement of the Web services architecture specification. In this paper, we further the semantic mapping to include Web service composition interactions through modelling Web service conversations and their choreography. We describe this elaboration of models to support a view of interacting Web service compositions extending the mapping from WSBPEL to EC, and including Web service interfaces (WSDL) for use in modelling between services. The verification and validation techniques are also exposed. An automated induction-based theorem prover is used as verification back-end.
Document type :
Journal articles
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/inria-00537943
Contributor : Walid Fdhila <>
Submitted on : Monday, November 29, 2010 - 2:59:24 PM
Last modification on : Tuesday, December 18, 2018 - 4:26:01 PM
Long-term archiving on : Saturday, December 3, 2016 - 3:31:21 AM

Files

JWSR-VF.pdf
Files produced by the author(s)

Identifiers

Citation

Mohsen Rouached, Walid Fdhila, Claude Godart. Web Services Compositions Modelling and Choreographies Analysis. International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩. ⟨inria-00537943⟩

Share

Metrics

Record views

472

Files downloads

1380