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

fYear

2008

fDate

17-19 June 2008

Firstpage

166

Lastpage

173

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/TASE.2008.27

Filename

4549902