Research on Modeling and Transformation Method of Web Service Composition Based on Petri Net
Huaizhou Yang, Wenbo Shi · 2021
BPEL (Business Process Execution Language) is a classical Web service composition process language. In this situation, it is also known as WS-BPEL or BPEL4WS. However, BPEL is lack of formal analysis and verification methods. In order to solve this problem, a serial of rules to convert the BPEL to Petri net model are presented in this study, which enable the more intuitive and rigorous mathematical description of service composition process, and also facilitate the analysis and verification to the composite services.