基于约束满足性的工作流执行成功率提高方法  

Success rate improving approach for workflow execution based on constraint satisfiability

作　　者：李海波[1] 郭春丽[1] 战德臣[2] 

机构地区：[1]华侨大学计算机科学与技术学院,福建厦门361021 [2]哈尔滨工业大学企业与服务智能计算研究中心,黑龙江哈尔滨150001

出　　处：《计算机集成制造系统》2010年第6期1300-1306,共7页Computer Integrated Manufacturing Systems

基　　金：国家863计划CIMS主题资助项目(2006AA04Z150;2007AA01Z128);华侨大学高层次人才科研启动费资助项目(09BS405)~~

摘　　要：为了能在工作流运行阶段预知执行的成功性,便于及时调整企业资源等因素,提高工作流运行的成功率,通过分析约束在模型和运行层次的不同作用,找出约束满足性对工作流执行成功性的影响因素;基于约束的相关性和满足的时效性,提出基于约束满足性的工作流执行路径的有效性识别方法,并给出相应的识别算法。通过示例进行了定性分析,结果表明了该方法的可行性。Enterprise managers can do strategic readjust in time,such as readjusting resource,and improve the success rate of workflow execution eventually according to the prediction for the success of workflow execution at runtime.By analyzing what roles different constraints play in model and execution level respectively,the impact of constraint satisfaction factors on success of workflow execution were found out.Based on the correlation of constrations and time dependency of constraint satisfaction,an approach to identify the validity of workflow execution path was proposed,as well as its algorithms was also presented.Finally,qualitative analysis provided by a practical case shows the feasibility of this approach.

关 键 词：工作流 执行 成功率 约束满足性 识别算法 模型 

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