工作流合理性验证中的事件平衡分析  

Analysis of Event Balance in the Verification of Workflow Soundness

作　　者：罗海滨[1] 范玉顺[1] 吴澄[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《软件学报》2002年第8期1686-1691,共6页Journal of Software

基　　金：~~ 国家863高科技发展计划资助项目(863-511-944-002)

摘　　要：工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.Verification of workflow soundness is a problem that has not been solved well in the workflow research. Many workflow management systems lack of the effective tolls which can guarantee the correctness of workflow. In this paper, a necessary condition of sound workflow based on the event balance is put forward. Theorem of event balance in the workflow execution history is proved. Also the calculation of event balance is introduced in the workflow model in order to analyze the model structure which may destroy the soundness of workflow. This method is not bound to any specific workflow model so that it can be used in a wide range of models. Also this method can be finished in polynomial time.

关 键 词：工作流合理性验证 事件平衡 工作流管理系统 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]