Paper Title:
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.

  Info
Periodical
Key Engineering Materials (Volumes 467-469)
Edited by
Dehuai Zeng
Pages
1206-1211
DOI
10.4028/www.scientific.net/KEM.467-469.1206
Citation
L. Z. Zhu, 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
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Tie Zhou Wu, Jian Feng Xiang, Ming Yue Wang
Abstract:Because the traditional Web service lacks of the description of the semantic level. Construction semantic Web service has become the...
75
Authors: Ting Wei Chen, Shuo Yang Geng
Abstract:The work of Web Service verification mainly concentrated in testing service functional correctness, the non-functioning attribute description...
1094
Authors: Ling Fang Wang, Wu Qi Gao
Chapter 4: Materials Processing Technology
Abstract:Based on BPEL,Web services can be composed into complex business process. However, BEPL does neither support to modify Web services during...
856
Authors: Lin Lin Xu, Jian Liang Xu, Mo Ji Wei
Chapter 7: Other Topics
Abstract:To meet the increasingly requirements of users in smart home and improve Web service reusable rate, this paper introduces a service...
492
Authors: Xiao Ling Yin, Bo Yang, Hai Tao Li
Chapter 12: Product Design, Planning, Projects Management and Industrial Engineering
Abstract:To take a wonderful understanding of design process, a modeling method based on colored hierarchical timed Petri nets and a model for a...
957