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

Lian Zhang Zhu; Lian Xia Sun

doi:10.4028/www.scientific.net/KEM.467-469.1206

Paper Titles

A Global Calibration Method of Multi-Vision Sensors in the Measurement of Engine Cylinder Joint Surface Holes
p.1182

Design of Water Dissolved Oxygen Test System
p.1189

The Evaluation Model of Product Satisfaction Based on Cloud Model
p.1193

Design and Application of Geomagnetic Dynamic Simulator
p.1200

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

The Analytic Measure of Human Head SAR Computed by 3-D Impedance
p.1212

Knowledge Application Model for Manufacturing Process
p.1218

Daily Maximum Electric Load Forecasting with RBF Optimized by AFSA in K-Means Clustering Algorithm
p.1225

The Initial Construction of a Information Systems Model Response to the Environment Change
p.1231

HomeKey Engineering MaterialsKey Engineering Materials Vols. 467-469Hierarchical Colored Petri Nets Based Modeling and...

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

Abstract:

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Key Engineering Materials (Volumes 467-469)

Pages:

1206-1211

DOI:

https://doi.org/10.4028/www.scientific.net/KEM.467-469.1206

Citation:

Cite this paper

Online since:

February 2011

Authors:

Lian Zhang Zhu, Lian Xia Sun

Keywords:

Hierarchical Colored Petri Net (HCPN), Modeling, Verification, Web Service Composition

Export:

RIS, BibTeX

Price:

Permissions:

Request Permissions

References

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

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

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

DOI: 10.1016/s1389-1286(03)00228-7

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

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

Google Scholar

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

Google Scholar

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

Google Scholar