A C_net-based Verification of Web Service Compositions

Composition of Web Services has emerged as a new method to support business-to-business application integration. And the industrial world has already proposed several xml-based business protocol specification languages. In order to address the correct integration of web services, we specify a new method based on the c_net formal model for verifying the composition of web services. This new method can use the semantic information included in the c_net model to verify the flow composition at the semantic level. The mapping between c_net and BPEL4WS is also discussed.