Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/18448
Title: Verifying the concurrent properties in BPEL based web service composition process
Authors: Li, B
Ji, S
Qiu, D
Leung, H 
Zhang, G
Issue Date: 2013
Publisher: Institute of Electrical and Electronics Engineers
Source: IEEE transactions on network and service management, 2013, v. 10, no. 4, p. 410-424 How to cite?
Journal: IEEE transactions on network and service management 
Abstract: The relatively new web service software paradigm involves services which are loosely coupled, highly reusable and flexible. By specifying the workflow of individual services, Web service composition enhances the ability to handle more complex business processes and provides many value-added services. In this article, we propose an extended control flow graph (XCFG) to formally model the workflow of Web service composition specified in BPEL, and corresponding techniques to verify concurrent properties, such as deadlock-free, non-conflict, and link non-redundant. XCFG can model not only the workflow of BPEL but also the synchronization control dependencies among concurrent activities. Meanwhile, each element of XCFG keeps record of related information of corresponding activity in BPEL so as to support further analysis and verification. Experimental study validates the effectiveness and efficiency of the proposed XCFG-based technique.
URI: http://hdl.handle.net/10397/18448
ISSN: 1932-4537
DOI: 10.1109/TNSM.2013.111113.120379
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

SCOPUSTM   
Citations

5
Last Week
0
Last month
Citations as of Apr 16, 2018

WEB OF SCIENCETM
Citations

3
Last Week
0
Last month
0
Citations as of Apr 24, 2018

Page view(s)

58
Last Week
0
Last month
Citations as of Apr 23, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.