工作流管理系统中动态性质检测的设计框架  

FRAMEWORK DESIGN OF CHECKING PROPERTIES OF WORKFLOW MANAGEMENT SYSTEMAT RUN-TIME

作　　者：王少锋[1] 何志均[2] 王克宏[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]浙江大学计算机科学与工程系,浙江杭州310027

出　　处：《小型微型计算机系统》2001年第6期660-662,共3页Journal of Chinese Computer Systems

摘　　要：目前 ,工作流管理系统的开发已成为信息系统领域的最重要的研究内容之一 ,设计 Wf MS是一个非常复杂的过程 ,涉及到许多困难的任务 ,而采用框架技术能有效地解决工作流管理系统设计中存在的问题 .文中重点讨论了工作流管理系统中的关键问题 ,即动态性质检测的设计 ,提出采用连通无圈图的方法对工作流管理系统中的动态性质进行检测 .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.

关 键 词：工作流管理系统 框架 算法 动态性质检测 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]