基于Petri网的企业过程模型的BPEL实现.pdfVIP

19 1 © Vol. 19 Suppl. 1 2007 8 Journal of System Simulation Aug., 2007 Petri BPEL , 100083 PetriBPEL PN2BPELBPELXML.BPEL BPELBPEL Petri BPELPetri Petri BPELPN2BPEL PetriBPEL TP301 A 1004-731X (2007) S1-0244-04 A Method for Translating Petri-net to BPEL YAO Shu-zhen, ZHANG Liang (School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China) 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. Key words: enterprise process modeling; petri nets; BPEL; formalization