Communications semantics for WSBPEL processes

Walid Fdhila, Mohsen Rouached, Claude Godart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

WSBPEL [2] 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, vie 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.

Original languageEnglish
Title of host publicationProceedings of the IEEE International Conference on Web Services, ICWS 2008
Pages185-194
Number of pages10
DOIs
Publication statusPublished - 2008
EventIEEE International Conference on Web Services, ICWS 2008 - Beijing, China
Duration: Sep 23 2008Sep 26 2008

Other

OtherIEEE International Conference on Web Services, ICWS 2008
CountryChina
CityBeijing
Period9/23/089/26/08

Fingerprint

Semantics
Communication
Web services
Chemical analysis

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software
  • Electrical and Electronic Engineering

Cite this

Fdhila, W., Rouached, M., & Godart, C. (2008). Communications semantics for WSBPEL processes. In Proceedings of the IEEE International Conference on Web Services, ICWS 2008 (pp. 185-194). [4670175] https://doi.org/10.1109/ICWS.2008.55

Communications semantics for WSBPEL processes. / Fdhila, Walid; Rouached, Mohsen; Godart, Claude.

Proceedings of the IEEE International Conference on Web Services, ICWS 2008. 2008. p. 185-194 4670175.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fdhila, W, Rouached, M & Godart, C 2008, Communications semantics for WSBPEL processes. in Proceedings of the IEEE International Conference on Web Services, ICWS 2008., 4670175, pp. 185-194, IEEE International Conference on Web Services, ICWS 2008, Beijing, China, 9/23/08. https://doi.org/10.1109/ICWS.2008.55
Fdhila W, Rouached M, Godart C. Communications semantics for WSBPEL processes. In Proceedings of the IEEE International Conference on Web Services, ICWS 2008. 2008. p. 185-194. 4670175 https://doi.org/10.1109/ICWS.2008.55
Fdhila, Walid ; Rouached, Mohsen ; Godart, Claude. / Communications semantics for WSBPEL processes. Proceedings of the IEEE International Conference on Web Services, ICWS 2008. 2008. pp. 185-194
@inproceedings{f263a540904a4019a97a266d23a46c88,
title = "Communications semantics for WSBPEL processes",
abstract = "WSBPEL [2] 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, vie 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.",
author = "Walid Fdhila and Mohsen Rouached and Claude Godart",
year = "2008",
doi = "10.1109/ICWS.2008.55",
language = "English",
isbn = "9780769533100",
pages = "185--194",
booktitle = "Proceedings of the IEEE International Conference on Web Services, ICWS 2008",

}

TY - GEN

T1 - Communications semantics for WSBPEL processes

AU - Fdhila, Walid

AU - Rouached, Mohsen

AU - Godart, Claude

PY - 2008

Y1 - 2008

N2 - WSBPEL [2] 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, vie 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.

AB - WSBPEL [2] 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, vie 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.

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

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

U2 - 10.1109/ICWS.2008.55

DO - 10.1109/ICWS.2008.55

M3 - Conference contribution

SN - 9780769533100

SP - 185

EP - 194

BT - Proceedings of the IEEE International Conference on Web Services, ICWS 2008

ER -