Title :
A Method for Translating EPNet to BPEL
Author :
Zhang, Liang ; Yao, Shuzhen
Author_Institution :
Sch. of Comput. Sci. & Eng., Beihang Univ., Beijing, China
Abstract :
To translate EPNet (Extended Petri Nets) to BPEL (Business Process Execution Language), a method called EPNet2BPEL was proposed. XML representation of BPEL was very verbose. For inexperienced users, it was not an easy thing to select right one from many construct offered. There were not formal analysis techniques. So it was essential to research on the method for translating other languages to BPEL code. In this article a component set of EPNet was defined based on the workflow patterns in common use. Every component in the set was mapped onto a specific BPEL code. The fold operation of replacing every component by a simple task was proven preserving the correctness of original EPNet. An algorithm was given for translating EPNet to BPEL code. Finally, a simple example was introduced for illustrating how to use the EPNet2BPEL method in business application. The method also can be used to translating other language to BPEL code.
Keywords :
Petri nets; XML; specification languages; EPNet2BPEL method; XML representation; business process execution language; extended Petri Nets; workflow patterns; Petri nets; Proposals; Unified modeling language; Web services; XML; Petri nets; enterprise process modeling; workflow;
Conference_Titel :
Information Technology and Computer Science (ITCS), 2010 Second International Conference on
Conference_Location :
Kiev
Print_ISBN :
978-1-4244-7293-2
Electronic_ISBN :
978-1-4244-7294-9
DOI :
10.1109/ITCS.2010.32