Title :
A Petri Net Semantics for Web Service in Choreography Description Language
Author :
Li, Jieying ; Zhang, Huijuan ; Dun, Haiqiang
Author_Institution :
Sch. of Comput. & Inf. Eng., Henan Univ. of Econ. & Law, Zhengzhou, China
Abstract :
Web service composition refers to the process of combining several value-added services. It has received much interest in enterprise applications. Web Service Choreography Description Language (WSCDL) is a W3C specification for the description of peer-to-peer collaborations of participants from a global viewpoint. As an XML-based language aimed to become a Web service composition standard for choreography, WSCDL may clarify the opaque points, detect and repair design errors in the language definition, yet provide the theoretical grounding for relative tools development. Petri net is a first-class formal modeling tool that has been widely used in many fields. Based on a Petri net, this paper proposed a formal model that can be used to clarify the semantics of WSCDL and verify some relative properties throughout. The model helps analyze the semantic compatibility between a business process specified in Business Process Execution Language (BPEL) and a WSCDL process.
Keywords :
Petri nets; Web services; XML; peer-to-peer computing; specification languages; BPEL; Petri net semantics; W3C specification; WSCDL; Web service choreography description language; Web service composition; XML-based language; business process execution language; first-class formal modeling tool; peer-to-peer collaborations; value-added services; Business; Educational institutions; Engines; Semantics; Synchronization; Web services; Petri net semantics; Service Net; WSCDL;
Conference_Titel :
Internet Computing for Science and Engineering (ICICSE), 2012 Sixth International Conference on
Conference_Location :
Henan
Print_ISBN :
978-1-4673-1683-5
DOI :
10.1109/ICICSE.2012.39