Description and Analyzing the Reliability of Web Services Composition Based on Petri Nets

Web Service has become a newly distributed computing paradigm. Modeling and analyzing the workflow of composite web services is the most important task in the process of developing service oriented software. BPEL is the industry standard used for combining a set of web services to define a new composite web service. A Petri net model- WS_Net is defined which suitable for describing the business processes of composite web services. Then, a method used for translating a BPEL process to WS_Net is presented. The reliable data of a composite web services is collected by extending UDDI model. WS_RPN which captures the reliability aspect of the web services composition and can be used for analyzing the reliability of BPEL processed through the execution paths is defined based on WS_Net. Finally an example is used to illustrate the method.