Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach
by Puwen Cui; Ru Yang; Zhijun Ding
International Journal of Services Technology and Management (IJSTM), Vol. 26, No. 2/3, 2020

Abstract: Business Process Execution Language (BPEL) is a standard specification in service composition area. However, it is still lack of effective verification mechanisms based on formal methods. This paper describes a new modelling method for BPEL process by using a novel Petri net named variable Petri net (VPN). Several analysis methods are proposed to verify the concurrent flaws and an automated transformation and analysis tool is developed. Furthermore, the case study conducts a comparison with previous studies and validates the efficiency of our work.

Online publication date: Mon, 20-Apr-2020

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Services Technology and Management (IJSTM):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com