| 基于CPN的业务流程执行语言建模 |
| |
| 引用本文： | 付强,林闯,尹浩.基于CPN的业务流程执行语言建模[J].微计算机信息,2007,23(3):4-6. |
| |
| 作者姓名： | 付强 林闯 尹浩 |
| |
| 作者单位： | 100084,北京,北京清华大学 |
| |
| 基金项目： | 国家自然科学基金(60173012和90412012) |
| |
| 摘 要： | 提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。
|
| 关 键 词： | 业务流程执行语言 着色Petri网 建模 |
| 文章编号： | 1008-0570(2007)01-3-0004-03 |
| 修稿时间： | 2006年10月25 |
Modeling of BPEL4WS Based on Colored Petri Net |
| |
| FU QIANG,LIN CHUANG,YIN HAO.Modeling of BPEL4WS Based on Colored Petri Net[J].Control & Automation,2007,23(3):4-6. |
| |
| Authors: | FU QIANG LIN CHUANG YIN HAO |
| |
| Affiliation: | (Department of Computer Science and Technology,Tsinghua University,Beijing,100084)Fu Qiang Lin Chuang Yin Hao |
| |
| Abstract: | This paper introduces the modeling method of BPEL4WS based on colored petri net, describes the basic structure of business flow using the colored petri net. After the analysis of the basic activities and structured activities in business processes defined by BPEL4WS,it gives a modeling algorithm using the colored petri nets.Then by a sample,it explains the detailed modeling course using the algorithm and validates the property of the outcome model. |
| |
| Keywords: | BPEL4WS CPN Web Modeling |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
