基于生成图的工作流多过程动态时序一致性验证方法  

A Sprouting Graph Based Approach to Dynamic Check the Temporal Consistency of Workflow Multi-Process

作　　者：杜彦华[1] 范玉顺[2] 

机构地区：[1]北京科技大学机械工程学院,北京100083 [2]清华大学自动化系,北京100084

出　　处：《电子学报》2009年第10期2181-2186,2192,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60674080);国家863高技术研究发展计划(No.2006AA04Z151;No.2006AA04Z166)

摘　　要：提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.This paper proposes a sprouting graph based approach to dynamic check temporal consistency for workflow multi-process.Firstly,the sprouting graph is constructed from the TWF-net models of multi-process,which describes the paths and temporal information of workflow instances in graphics format.Secondly,when temporal constraints are checked,we update the sprouting graph according to the temporal information of accomplished activities,and check the temporal constraints based on the temporal information in the sprouting graph.The method can not only can dynamic check the temporal consistency for concurrent workflows with resource constraints,but also give the paths violating the constraints which are useful to users in exception handling and modifying workflow models.Furthermore,it is reusable,namely sprouting graph can be used by more than one temporal constraints.

关 键 词：时间工作流网 生成图 时序约束 多过程 动态验证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]