A petri net approach to analysis and composition of web services

Document Type

Article

Publication Date

3-1-2010

Abstract

Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling Web-service-based business processes. Behavioral compatibility for Web service composition is one of the most important topics. The commonly used reachability exploration method focuses on verifying deadlock freeness. When this property is violated, the states and traces in the reachability graph only give clues to redesign the composition. The redesign must then repeat itself until no deadlock is found. In this paper, multiple Web service interaction is modeled with a Petri net called Composition net (C-net for short). The problem of behavioral compatibility among Web services is hence transformed into the deadlock structure problem of a C-net. If services are incompatible, a policy based on appending additional information channels is proposed. It is proved that the policy can offer a good solution that can be mapped back into the BPEL models automatically. © 2009 IEEE.

Identifier

77249176545 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans

External Full Text Location

https://doi.org/10.1109/TSMCA.2009.2037018

ISSN

10834427

First Page

376

Last Page

387

Issue

2

Volume

40

Grant

2006AA04Z151

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS