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.

Analytical Method of Web Service Composition Based on Petri Net

Colored Petri Net-Based Service Composition Modeling and Verification

Analyzing Services Composition Using Petri Nets

Petri net based web service interactive behavior compatibility analysis

Verifying web services composition based on hierarchical colored petri nets.

The Composition and Analysis of Web Service Based on Petri Net

A Testing Model for Service Composition and Its Analysis Based on Petri Nets

Modeling And Analysis For Grid Service Cooperative Scheduling Based On Petri Nets

Analysis And Verification Of Composite Web Services

A Semantic Service Composition Method Based on Fuzzy Colored Petri Net

A Petri Net Approach to Analysis and Composition of Web Services

Web Service Composition and Analysis: A Petri-net Based Approach

Semantic Web Service Composition Based on Extended Petri Net Model

A Petri Nets-based Model for Web Service Composition

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

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

Hierarchical Colored Petri Net Description Model for Web Service Composition

Analyzing Time Constrained Service Composition Based on Petri net

A Petri Net Solution To Protocol-Level Mismatches In Service Composition

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow

An EPN-based Method for Web Service Composition