A Web Service Orchestration Model Based on Concurrent Transaction Logic

Web services solve the problem of inter-organization business integration and are under a distributed, dynamic, autonomic and heterogeneous environment. The correctness and verification of Web service orchestration is important. Formalization is a valid method. This paper gives the model of Web service orchestration based on concurrent transaction logic. An introduction of Web service orchestration and concurrent transaction logic is given. Then the translation rules from WS-BPEL to concurrent transaction logic are given. The verification problem o Web service orchestration based on concurrent transaction logic is discussed. Finally, an actual Web service orchestration example based on concurrent transaction logic is illustrated.

[1]  Franck van Breugel,et al.  Verication of Business Processes for Web Services , 2003 .

[2]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[3]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[4]  Huaping Chen,et al.  Web Service Composition and Analysis: A Petri-net Based Approach , 2005, 2005 First International Conference on Semantics, Knowledge and Grid.

[5]  Shi Ying,et al.  Towards Model-based Verification of BPEL with Model Checking , 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[8]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[9]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[10]  Feng Liu,et al.  Transformation BPEL to CP-nets for verifying Web services composition , 2005, International Conference on Next Generation Web Services Practices (NWeSP'05).

[11]  Fangfang Liu,et al.  A Formal Specification for Web Services Composition and Verification , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).