Web services compositions modelling and choreographies analysis

Mohsen Rouached*, Walid Fdhila, Claude Godart

*Corresponding author for this work

Research output: Contribution to journalReview articlepeer-review

14 Citations (Scopus)


In Rouached et al. (2006) and Rouached and Godart (2007) the authors described the semantics of WSBPEL by way of mapping each of the WSBPEL (Arkin et al., 2004) constructs to the EC algebra and building a model of the process behaviour. With these mapping rules, the authors describe 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. The authors further the semantic mapping to include Web service composition interactions through modelling Web service conversations and their choreography. This paper elaborates the 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 while automated induction-based theorem prover is used as verification back-end.

Original languageEnglish
Pages (from-to)87-110
Number of pages24
JournalInternational Journal of Web Services Research
Issue number2
Publication statusPublished - 2010


  • Choreography
  • Orchestration
  • Semantic mapping
  • Verification and validation
  • Web service composition

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications


Dive into the research topics of 'Web services compositions modelling and choreographies analysis'. Together they form a unique fingerprint.

Cite this