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

A Method for Translating Petri-net to BPEL

作　　者：姚淑珍[1] 张亮[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100083

出　　处：《系统仿真学报》2007年第A01期244-247,共4页Journal of System Simulation

摘　　要：为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。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.

关 键 词：企业过程建模 PETRI网 BPEL 形式化 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]