Title :
Transformation of BPEL Processes to Petri Nets
Author :
Dun, Haiqiang ; Xu, Haiying ; Wang, Lifu
Author_Institution :
Sch. of Electron. Eng. & Comput. Sci., Peking Univ., Beijing
Abstract :
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.
Keywords :
Petri nets; Web services; XML; business data processing; specification languages; BPEL; Petri net; ServiceNet; Web service composition; XML-based language; business process; reduction rule; transformation rule; value-added service; Application software; Business communication; Computer science; Logic; Petri nets; Proposals; Software engineering; Web and internet services; Web services; XML; BPEL; Petri Nets; Web Service; Web Service Composition;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on
Conference_Location :
Nanjing
Print_ISBN :
978-0-7695-3249-3
DOI :
10.1109/TASE.2008.27
