Web services compositions modelling and choreographies analysis

Mohsen Rouached, Walid Fdhila, Claude Godart

Research output: Contribution to journalReview article

12 Citations (Scopus)

Abstract

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
Volume7
Issue number2
DOIs
Publication statusPublished - Apr 2010

Fingerprint

Web services
Chemical analysis
Semantics
WSDL
Algebra

Keywords

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

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications

Cite this

Web services compositions modelling and choreographies analysis. / Rouached, Mohsen; Fdhila, Walid; Godart, Claude.

In: International Journal of Web Services Research, Vol. 7, No. 2, 04.2010, p. 87-110.

Research output: Contribution to journalReview article

@article{d6508ca0467c4f9b8f21b0dfaa2f5bcb,
title = "Web services compositions modelling and choreographies analysis",
abstract = "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.",
keywords = "Choreography, Orchestration, Semantic mapping, Verification and validation, Web service composition",
author = "Mohsen Rouached and Walid Fdhila and Claude Godart",
year = "2010",
month = "4",
doi = "10.4018/jwsr.2010040105",
language = "English",
volume = "7",
pages = "87--110",
journal = "International Journal of Web Services Research",
issn = "1545-7362",
publisher = "IGI Publishing",
number = "2",

}

TY - JOUR

T1 - Web services compositions modelling and choreographies analysis

AU - Rouached, Mohsen

AU - Fdhila, Walid

AU - Godart, Claude

PY - 2010/4

Y1 - 2010/4

N2 - 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.

AB - 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.

KW - Choreography

KW - Orchestration

KW - Semantic mapping

KW - Verification and validation

KW - Web service composition

UR - http://www.scopus.com/inward/record.url?scp=77954106854&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77954106854&partnerID=8YFLogxK

U2 - 10.4018/jwsr.2010040105

DO - 10.4018/jwsr.2010040105

M3 - Review article

VL - 7

SP - 87

EP - 110

JO - International Journal of Web Services Research

JF - International Journal of Web Services Research

SN - 1545-7362

IS - 2

ER -