Title:
A Petri Net Approach to Analysis and Composition of Web Services

dc.contributor.author Xiong, PengCheng
dc.contributor.author Fan, YuShun
dc.contributor.author Zhou, MengChu
dc.contributor.corporatename Georgia Institute of Technology. College of Computing
dc.contributor.corporatename Georgia Institute of Technology. Center for Experimental Research in Computer Systems
dc.contributor.corporatename New Jersey Institute of Technology. Electrical and Computer Engineering
dc.contributor.corporatename Tsinghua University (Beijing, China). Dept. of Automation
dc.date.accessioned 2009-03-13T21:02:55Z
dc.date.available 2009-03-13T21:02:55Z
dc.date.issued 2009
dc.description.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 re-design the composition. The process must then repeat itself until no deadlock is found. In this paper, multiple web services 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 it can offer a good solution that can be mapped back into the BPEL models automatically. en
dc.identifier.uri http://hdl.handle.net/1853/27247
dc.language.iso en_US en
dc.publisher Georgia Institute of Technology en
dc.relation.ispartofseries CERCS ; GIT-CERCS-09-02 en
dc.subject Business process en
dc.subject Discrete event systems en
dc.subject Petri nets en
dc.subject Siphons en
dc.subject Web service en
dc.title A Petri Net Approach to Analysis and Composition of Web Services en
dc.type Text
dc.type.genre Technical Report
dspace.entity.type Publication
local.contributor.corporatename Center for Experimental Research in Computer Systems
local.relation.ispartofseries CERCS Technical Report Series
relation.isOrgUnitOfPublication 1dd858c0-be27-47fd-873d-208407cf0794
relation.isSeriesOfPublication bc21f6b3-4b86-4b92-8b66-d65d59e12c54
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
git-cercs-09-02.pdf
Size:
563.15 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Item-specific license agreed upon to submission
Description: