|
|||||
|
|
| 基于状态空间的工作流模型验证 | |
| 引用本文： | 赵磊,钱乐秋,赵文耘. 基于状态空间的工作流模型验证[J]. 计算机工程与应用, 2004, 40(10): 220-222 |
| 作者姓名： | 赵磊 钱乐秋 赵文耘 |
| 作者单位： | 复旦大学计算机与信息技术系,上海,200433 |
| 基金项目： | 国家863高技术研究发展计划项目基金资助 |
| 摘 要： | 工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型。 |
| 关 键 词： | 工作流模式 依赖 断言 状态空间 验证算法 |
| 文章编号： | 1002-8331-(2004)10-0220-03 |
State-space Based Verification of Workflow Model |
|
| Zhao Lei Qian Leqiu Zhao Wenyun. State-space Based Verification of Workflow Model[J]. Computer Engineering and Applications, 2004, 40(10): 220-222 | |
| Authors: | Zhao Lei Qian Leqiu Zhao Wenyun |
| Abstract: | The correctness and reliability of workflow model is the basis of the robustness of the workflow management system.This article indicates a state-space based verification method of workflow model,to ensure producing the effective workflow model in the building time. |
| Keywords: | workflow scheme dependency predicate state-space verification algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |