A petri net-based method for compatibility analysis and composition of web services in business process execution language

Document Type

Article

Publication Date

1-1-2009

Abstract

Automatic Web Service composition is gaining momentum as the potential silver bullet in Service Oriented Architecture. The need for interservice compatibility analysis and indirect composition has gone beyond what the existing service composition/verification technologies can handle. Given two services whose interface invocation constraints are described by a Web Services-Business Process Execution Language (WS-BPEL or BPEL), we analyze their compatibility and adopt mediation as a lightweight approach to make them compatible without changing their internal logic. We first transform a BPEL description into a service workflow net, which is a kind of colored Petri net (CPN). Based on this formalism, we analyze the compatibility of two services, and then devise an approach to check whether there exists any message mediator so that their composition does not violate the constraints imposed by either side. The method for mediator generation is finally proposed to assist the automatic composition of partially compatible services. Our approach is validated through a real-life case and further research directions are pointed out. © 2006 IEEE.

Identifier

58149495956 (Scopus)

Publication Title

IEEE Transactions on Automation Science and Engineering

External Full Text Location

https://doi.org/10.1109/TASE.2008.916747

ISSN

15455955

First Page

94

Last Page

106

Issue

1

Volume

6

Grant

2006CB705407

Fund Ref

International Business Machines Corporation

This document is currently not available here.

Share

COinS