Consistency verification for Web service business process
Ying Jing · Jisuanji yingyong yanjiu · 2010
During Web service business process modeling and implementing,Web choreography described collaborations and interactions among service participants globally,Web orchestration depicted the interaction between single service participant and other parties. So conjunction of the two methods could enhance efficiency and veracity of the business process modeling and implementing greatly. But the problem,how to verify the behavioral consistency of Web choreography and Web orchestration, must be solved. This paper outlined how to use CSP as the formal basis to check the behavioral consistency of Web service choreography description language WS-CDL and Web service orchestration specification WS-BPEL. After translating WS-CDL and WS-BPEL into CSP language,the consistency check could be finished by model checking tool PAT,which was CSP language based. In the end,gave a case study,which demonstrates effectiveness of the approach.