| 基于Petri网的企业过程模型的BPEL实现 |
| |
| 引用本文： | 姚淑珍,张亮.基于Petri网的企业过程模型的BPEL实现[J].系统仿真学报,2007,19(A01):244-247. |
| |
| 作者姓名： | 姚淑珍 张亮 |
| |
| 作者单位： | 北京航空航天大学计算机学院,北京100083 |
| |
| 摘 要： | 为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。
|
| 关 键 词： | 企业过程建模 Petri网 BPEL 形式化 |
| 文章编号： | 1004-731X（2007）S1-0244-04 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007-07-11 |
A Method for Translating Petri-net to BPEL |
| |
| YAO Shu-zhen, ZHANG Liang.A Method for Translating Petri-net to BPEL[J].Journal of System Simulation,2007,19(A01):244-247. |
| |
| Authors: | YAO Shu-zhen ZHANG Liang |
| |
| Abstract: | |
| |
| Keywords: | enterprise process modeling petri nets BPEL formalization |
| 本文献已被 维普 等数据库收录！ |
|
