DocumentCode :
3027928
Title :
Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets
Author :
Han, Yaojun ; Luo, Xuemei
Author_Institution :
Coll. of Int. Bus., Shanghai Int. Studies Univ., Shanghai, China
fYear :
2009
fDate :
10-12 Aug. 2009
Firstpage :
659
Lastpage :
663
Abstract :
An application system for enterprises is a composite Web service that consists of a collection of Web services related by data and control flow. Itpsilas necessary to get formalizing and modeling techniques and graphic tools for reliable Web Service and its application construction. In this paper we present the formalization of Web services and the algorithm for constructing composition. Firstly, we propose a dynamic timed colored Petri net (DTCPN) to model and analyze a Web service. In this Petri net, the colors including parameters and userpsilas QoS (Quality of Service) requirements represent data flow. The time delay of transition is a function of colors in input place instead of time constant, which shows the dynamic property of Web service. The DTCPN allows the modeling of dynamic behavior of large and complex systems. Secondly, we give an algorithm for constructing composition of DTCPN model for an application composed of Web services. In order to reduce the complexity of model and the state explosion problem in reachability analysis of Petri nets, we give a reduction algorithm of DTCPN for four basic structures of the Web service composition. Finally, we discuss the correctness and time and cost performance of the Web service composition by reducing DTCPN model and analyzing the reachable service graph.
Keywords :
Petri nets; Web services; data flow computing; reachability analysis; composite Web services; control flow; data flow; dynamic timed colored Petri nets; reachability analysis; reachable service graph; reduction algorithm; user quality of service requirements; Control systems; Costs; Delay effects; Explosions; Graphics; Performance analysis; Petri nets; Quality of service; Reachability analysis; Web services; dynamic timed colored Petri net; model composition and reduction; performance analysis; web service;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing with Applications, 2009 IEEE International Symposium on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3747-4
Type :
conf
DOI :
10.1109/ISPA.2009.21
Filename :
5207864
Link To Document :
بازگشت