| 基于Petri网的BPEL4WS模型的分析 |
| |
| 引用本文： | 赵晓明,谭浩.基于Petri网的BPEL4WS模型的分析[J].成都信息工程学院学报,2006,21(4):488-492. |
| |
| 作者姓名： | 赵晓明 谭浩 |
| |
| 作者单位： | 电子科技大学计算机学院,四川,成都,610054 |
| |
| 摘 要： | 描述了Web服务业务流程执行语言（BPEL4WS）的Petri网模型，并提出了模型的化简规则，用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例，进行建模和化简。
|
| 关 键 词： | Web服务业务流程执行语言 Petri网 工作流 工作流网 化简规则 |
| 文章编号： | 1671-1742(2006)04-0488-05 |
| 修稿时间： | 2005年9月15日 |
Analysis of BPEL4WS model based on Petri net |
| |
| ZHAO Xiao-ming,TAN Hao.Analysis of BPEL4WS model based on Petri net[J].Journal of Chengdu University of Information Technology,2006,21(4):488-492. |
| |
| Authors: | ZHAO Xiao-ming TAN Hao |
| |
| Abstract: | The BPEL4WS model based on Petri net is presented and a set of simplification rules is given to verify two structure conflicts of the model,i.e.deadlock and lack of synchronization.According to these rules a procedure net example is modeled and simplified. |
| |
| Keywords: | BPEL4WS Petri net workflow WF-net reduction rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
