Abstract:Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services by composing existing ones. Service composition poses a number of challenges. A composite service can be very complex in structure, containing many temporal and data-flow dependencies between the component services. It is highly desirable therefore to be able to validate that a given composite service is well formed: proving that it will not deadlock or livelock and that it respects the sequencing constraints of the constituent services. In this paper, we propose an approach of composition analysis and verification based on Colored Petri nets (CP-nets), which is an extended version of Petri Nets, which have a sound mathematical semantics and a number of existing analysis tools. We provide translation rules of web composition language into CP-nets and a technique to analyze and verify effectively the net to investigate several behavioral properties. Our translation technique is essentially independent of which language we describe composition. As an example, to show the effectiveness of our technique, we pick up BPEL and translate the BPEL specification into CP-nets in a constructive way. These nets are analyzed and verified as prototypes of the specification.

A Method for Analyzing and Predicting Reliability of BPEL Process.

Analyzing BPEL Compositionality Based on Petri Nets

Modeling and analysis of WS-BPEL business processes based on servicenet

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

Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach.

A Petri Net Approach to Analysis and Composition of Web Services

Formal Properties and Analysis Method of Bpel Base on Petri Net

Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture

A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language

Petri Nets Based Reliability Evaluation of Services

Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification

Petri net based web service interactive behavior compatibility analysis

Analyzing Service Composition Patterns in BPEL

Dependability Prediction of WS-BPEL Service Compositions Using Petri Net and Time Series Models

Analyzing Services Composition Using Petri Nets

Petri net based techniques for constructing reliable service composition

A Method for Translating Petri-net to BPEL

A petri net based approach for reliability prediction of web services

A Petri-Net-Based Approach to Reliability Determination of Ontology-Based Service Compositions

A Petri-Net Model for Formal Modeling of WS-BPEL Processes

Formally Modeling and Analyzing the Reliability of Composite Service Evolution