The Interoperation Between Heterogeneous Web Service Compositions Based on π-calculus
Chunming Gao · China Science and Technology Information · 2007
In this paper ,we use the expanded π-calculus, which is used to formalize the behavior of the Web Service composition abstractly. We describe the middle adapting specification for interoperating between the processes described by different Web Service composition language, generating specification of adaptor and adaptor generating navigated by the specification . With the formal description of the adaptor generating process, we can automatically generate the adaptor. Also, we realize the formal description of the adaptor for the interoperation between BPEL4WS and WSCI with an instance, so that it shows the interoperation between the processes described by different Web Service composition language can be feasible on the abstract level.