A Method for Translating Petri-net to BPEL

YAO Shu-zhen,ZHANG Liang
2007-01-01
Abstract:To translate a Petri-based enterprise process model to BPEL(Business Process Execution Language) code,a method called PN2BPEL 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 Petri-Net 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 can preserve the correctness of original Petri-Net. An algorithm was given for translating Petri-Net to BPEL code. Finally,a simple example was introduced for illustrating how to use the PN2BPEL method in business application. The method also can be used to translating other language to BPEL code.
What problem does this paper attempt to address?