Title :
A C_net-based Verification of Web Service Compositions
Author :
Zhu, Hui ; Wu, Jian ; Li, Ying
Author_Institution :
Coll. of Comput. Sci. & Technol., Zhejiang Univ., Hangzhou, China
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.
Keywords :
Web services; XML; business data processing; formal verification; BPEL4WS; C_net based verification; Web service compositions; XML based business protocol specification languages; business-to-business application integration; semantic information; Application software; Companies; Computer science; Data structures; Educational institutions; Protocols; Specification languages; Web and internet services; Web services; XML; BPEL; C_net; Petri Net; services composition; web services;
Conference_Titel :
Service Sciences (ICSS), 2010 International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-0-7695-4017-7
DOI :
10.1109/ICSS.2010.86
