| 跨组织工作流模型的形式化描述及分析 |
| |
| 引用本文： | 崔立真,王海洋,于庚.跨组织工作流模型的形式化描述及分析[J].系统仿真学报,2005,17(4):782-785. |
| |
| 作者姓名： | 崔立真 王海洋 于庚 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,济南,250100 |
| |
| 基金项目： | 霍英东青年教师基金项目(71065) |
| |
| 摘 要： | Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。
|
| 关 键 词： | 着色Petri网 工作流 着色跨组织工作流 合理性 |
| 文章编号： | 1004-731X(2005)04-0782-04 |
| 修稿时间： | 2004年4月12日 |
Interorganizational Workflows Modeling and Analysis |
| |
| CUI Li-zhen,WANG Hai-yang,YU Geng.Interorganizational Workflows Modeling and Analysis[J].Journal of System Simulation,2005,17(4):782-785. |
| |
| Authors: | CUI Li-zhen WANG Hai-yang YU Geng |
| |
| Abstract: | Petri net is one of the widely used modeling techniques of workflow. Interorganizational Workflows apply themselves to re-shape business processes beyond the boundaries of individual organizations. A Interorganizational workflows model based on colored Petri net is introduced, and its soundness properties are formalized and analyzed. In addition, some issues can be served as guidelines in other extensions of modeling interorganizational workflows. |
| |
| Keywords: | colored Petri net workflow interorganizational workflows soundness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
