Web services compositions modelling and choreographies analysis

Mohsen Rouached*, Walid Fdhila, Claude Godart

*المؤلف المقابل لهذا العمل

نتاج البحث: المساهمة في مجلةReview articleمراجعة النظراء

14 اقتباسات (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.

اللغة الأصليةEnglish
الصفحات (من إلى)87-110
عدد الصفحات24
دوريةInternational Journal of Web Services Research
مستوى الصوت7
رقم الإصدار2
المعرِّفات الرقمية للأشياء
حالة النشرPublished - 2010

ASJC Scopus subject areas

  • ???subjectarea.asjc.1700.1712???
  • ???subjectarea.asjc.1700.1710???
  • ???subjectarea.asjc.1700.1705???


أدرس بدقة موضوعات البحث “Web services compositions modelling and choreographies analysis'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا