Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition


Article Preview

Web services composition is a complex and error-prone process, but there are no effective verification mechanisms among the existing composition specifications. Based on the semantics of web services ontology language OWL-S, a formal description and modeling method using Hierarchical Colored Petri nets(HCPN) for web services composition processes is proposed. In the method, the control and data flow information of web services composition process model which is described by the OWL-S can be transformed into HCPN model, with the ease of simulation and verification. On the other hand, the state space explosion problem can be transfered into the memory limit of computer which is not a serious problem now. With the help of CPN-Tools, the established HCPN model can be simulated dynamicly, the dynamic behaviors of the model can be obtained, and the correctness and effectiveness of web services composition can be verified. The method can be used to analyze and verify complex systems. An instance of hospital services is given to illustrate the modeling and analysis of the service composition process with HCPN.



Key Engineering Materials (Volumes 467-469)

Edited by:

Dehuai Zeng




L. Z. Zhu and L. X. Sun, "Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition", Key Engineering Materials, Vols. 467-469, pp. 1206-1211, 2011

Online since:

February 2011




[1] S. Narayanan, S. McIlraith, Simulation: Verification and Automated Composition of Web Services, WWW2002, May 7-11, 2002, Honolulu, Hawaii, USA.

[2] Cheng Yongshang, Wang Zhijian, Research on Formal Description and Verification of Semantic Web Service Composition: Computer Science, Volume 35, Issue 4(2008), p.40.

[3] R. Hamadi, B. Benatallah, A Petri net based model for Web service composion: Proceedings of the 14th Australasian Database Conference, Sydney, Australian Computer Society (2003) , pp.191-200.

[4] S. Narayanan,S . Mcilraith, Analysis and simulation of Web services: Computer Networks, Volume 42, Issue 5(2003), pp.675-693.

DOI: https://doi.org/10.1016/s1389-1286(03)00228-7

[5] Ni Yue, Fan Yushun, Formal verification for semantic Web services composition based on colored Petri nets: Journal of Tsinghua University(Science and Technology), Volume 50, Issue 5(2010), pp.715-716.

[6] Luo Nan, Yan Junwei, Verification mechanism for semantic Web service composition based on colored Petri nets: Computer Integrated Manufacturing Systems, Volume 13, Issue 11(2007), pp.2204-2205.

[7] He Feng, Research on Some Key Technologies of Web serviees composition [D]: Phd thesis, Dong Hua University (2008).

[8] Song Xiaowei, The Researeh of Web service Application Approach Based on Colored Petri Net [D]: Master thesis, Dalian University of Technology (2009).

[9] CPN Tools State Space Manual, http: /wiki. daimi. au. dk/cpntools-help. University of Aarhus.