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
AN - SCOPUS:57749179266
SN - 9780769533100
T3 - Proceedings of the IEEE International Conference on Web Services, ICWS 2008
SP - 185
EP - 194
BT - Proceedings of the IEEE International Conference on Web Services, ICWS 2008
T2 - IEEE International Conference on Web Services, ICWS 2008
Y2 - 23 September 2008 through 26 September 2008
ER -