Transformation of BPEL Processes to Petri Nets
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 in form 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.
Haiqiang Dun Haiying Xu Lifu Wang
School of Electronics Engineering and Computer Science, Peking University Beijing, P.R.China, 100871 Henan Province Information Consultation & Designing Research Co.,LTD.Zhengzhou, P.R.China, 450008
国际会议
南京
英文
166-173
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）