A Method for Translating EPNet to BPEL

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.