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

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