| 基于语义推理的工作流结构验证方法 |
| |
| 引用本文： | 凌鸿,周江波,胥正川.基于语义推理的工作流结构验证方法[J].计算机集成制造系统,2006,12(6):893-898. |
| |
| 作者姓名： | 凌鸿 周江波 胥正川 |
| |
| 作者单位： | 复旦大学,管理学院,上海,200433 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划);国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理，并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂程度、循环路由、死锁和同步丢失等4个方面，与其他验证方法进行了比较。
|
| 关 键 词： | 工作流 工作流验证 过程 |
| 文章编号： | 1006-5911（2006）06-0893-06 |
| 收稿时间： | 2005-04-13 |
| 修稿时间： | 2005-11-29 |
Semantic deduction-based workflow structure verification method |
| |
| LING Hong,ZHOU Jiang-bo,XU Zheng-chuan.Semantic deduction-based workflow structure verification method[J].Computer Integrated Manufacturing Systems,2006,12(6):893-898. |
| |
| Authors: | LING Hong ZHOU Jiang-bo XU Zheng-chuan |
| |
| Affiliation: | Sch. of Management, Fudan Univ. , Shanghai 200433, China |
| |
| Abstract: | To solve the verification problem of workflow structure,the process structure verification equal theorem and the acyclic workflow structure verification theorem were proposed and proved.Based on these two theorems and semantic tables,semantic deduction-based workflow verification algorithm was proposed.Finally comparisons with other verification methods were conducted from four aspects(computation complexity,iterative route,deadlock and lack of synchronization). |
| |
| Keywords: | workflow workflow verification process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
