Transformation of BPEL Processes to Petri Nets
Haiqiang Dun, Haiying Xu, Lifu Wang · 2008
Web service composition involves the combination of a number of existing Web services to create a value-added service in ways that may not be foreseen at the time when a Web service is written. BPEL is a promising language which describes Web service composition inform of business processes. However, BPEL is an XML-based language and may suffer from ambiguities or some erroneous properties. It is necessary to analyze business processes specified in BPEL with a formal tool. In this paper, we put forward an approach to model and verify BPEL based on ServiceNet, a special class of Petri nets. We present some transformation rules of BPEL business processes into ServiceNet. Then the throughness of a BPEL business process can be verified by reducing the corresponding ServiceNet based on some reduction rules.