Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach. (8th April 2020)

• Record Type: Journal Article
• Authors: Cui, Puwen; Yang, Ru; Ding, Zhijun
• Is Part Of: International journal of services technology and management. Volume 26:Number 2/3(2020)
• Page Start: 182
• Page End: 201
• Publication Date: 2020-04-08
• Subjects: Business Process Execution Language -- BPEL -- concurrent flaws -- data -- variable Petri net -- VPN; Service industries -- Management -- Periodicals; Service industries -- Technological innovations -- Periodicals; 658.005
• Languages: English
• ISSNs: 1460-6720

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.