| 工作流管理系统中动态性质检测的设计框架 |
| |
| 引用本文： | 王少锋,何志均,王克宏.工作流管理系统中动态性质检测的设计框架[J].小型微型计算机系统,2001,22(6):660-662. |
| |
| 作者姓名： | 王少锋 何志均 王克宏 |
| |
| 作者单位： | 1. 清华大学计算机科学与技术系北京 100084
2. 浙江大学计算机科学与工程系浙江杭州 310027 |
| |
| 摘 要： | 目前，工作流管理系统的开发已成为信息系统领域的最重要的研究内容之一，设计WfMS是一个非常复杂的过程，涉及到许多困难的任务，而采用框架技术能有效地解决工作流管理系统设计中存在的问题。文中重点讨论了工作流管理系统中的关键问题，即动态性质检测的设计，提出采用连通无圈图的方法对工作流管理系统中的动态性质进行检测。
|
| 关 键 词： | 工作流管理系统 框架 算法 动态性质检测 |
| 文章编号： | 1000-1220(2001)06-0660-03 |
FRAMEWORK DESIGN OF CHECKING PROPERTIES OF WORKFLOW MANAGEMENT SYSTEMAT RUN-TIME |
| |
| WANG Shao feng,HE Zhi jun,WANG Ke hong.FRAMEWORK DESIGN OF CHECKING PROPERTIES OF WORKFLOW MANAGEMENT SYSTEMAT RUN-TIME[J].Mini-micro Systems,2001,22(6):660-662. |
| |
| Authors: | WANG Shao feng HE Zhi jun WANG Ke hong |
| |
| Affiliation: | WANG Shao feng 1 HE Zhi jun 2 WANG Ke hong 1 1 |
| |
| Abstract: | Now the development of workflow management system(WfMS) has become one of the most important work in the information system field. Designing WfMS is a very complicated procedure and involves many difficult tasks. The framework technology can effectively solve the problems associated with the design of WfMS. In this paper, we mainly discuss the critical problem, i.e. checking properties at run time, in the design of the WfMS and propose the method of using directed acyclic graph to check properties at run time. |
| |
| Keywords: | WfMS Framework Algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
