A C_net-based Verification of Web Service Compositions.

Hui Zhu,Jian Wu,Ying Li
DOI: https://doi.org/10.1109/ICSS.2010.86
2010-01-01
Abstract: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.
What problem does this paper attempt to address?