Title: Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach

Authors: Puwen Cui; Ru Yang; Zhijun Ding

Addresses: Department of Computer Science and Technology, Tongji University, 201800, Shanghai, China ' Department of Computer Science and Technology, Tongji University, 201800, Shanghai, China ' Department of Computer Science and Technology, Tongji University, 201800, Shanghai, China

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.

Keywords: Business Process Execution Language; BPEL; concurrent flaws; data; variable Petri net; VPN.

DOI: 10.1504/IJSTM.2020.106745

International Journal of Services Technology and Management, 2020 Vol.26 No.2/3, pp.182 - 201

Received: 19 Jul 2018
Accepted: 26 Mar 2019
Published online: 20 Apr 2020 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article