Pi-calculus based formal description model for Web services

Currently,the formal models for Web service are based on the Abstraction of a particular Web service composition specification,and can not take into account both global and local design method.Also all the current models can not describe the dynamic architecture of Web service composition.Beside of a short view of recent research efforts of Web service formal description,this paper presented a Pi-calculus based formal description model for Web service,and gave the mapping of BPEL4WS specification and WS-CDL specification.Used an example to instruct that the mapping above was consistent in the model.The dynamic architecture of Web service composition can be described by the method when it was used to design Web service composition directly.