One formal model and verify method of Web services composition
Jin Ke-yin · Microcomputer Information · 2010
One of the most important issues in the Web services composition researching area is how to verify the correctness of Web services composition.This paper proposes a formal model of Web services,which is used to formally verify before the services composition,so,we can be sure that the result of the services composition meet with the designer's initial goal.π calculus is fit to describe the dynamic topology architecture of the concurrent system.Firstly,This paper introduce the basic grammar of the π calculus,then,expounds the mapping between π calculus and BPEL4WS,proposes a formal model of BPEL4WS which is based on π calculus,at last,the model verification process is also introduced through a case study.