一种工作流时间约束的动态验证方法  

Method of Verifying the Time Constraints in Workflow Dynamically

作　　者：石祥滨[1,2] 高扬[2] 鲜宏[2] 

机构地区：[1]沈阳航空工业学院计算机学院,辽宁沈阳110034 [2]辽宁大学信息科学与技术学院,辽宁沈阳110036

出　　处：《小型微型计算机系统》2008年第12期2268-2271,共4页Journal of Chinese Computer Systems

基　　金：辽宁省教育厅攻关计划项目(2004D116)资助;辽宁省自然科学基金项目(20052007)资助

摘　　要：时间约束的动态验证是保障工作流及时、有效的完成的关键.本文采用具有满足、弱不满足、强不满足3种状态的时间约束,改进了时间约束的动态验证方法.对于部分弱不满足的时间约束,通过基于角色信任度和时间延迟的松弛时间分配方法,可调整其状态至满足的,降低了异常的触发频率,提高了运行效率.实验表明,该方法有效地降低了异常处理的代价.In order to finish the workflow in time and effectively, it is critical to verify the time constraints dynamically. This paper adopts three-state time constraints that are consistency, weak inconsistency, and strong inconsistency, and it improves the verification methods. For the weak inconsistency time constraints, this paper decomposes their relaxation time, and uses a compensatory algorithm base on roles＇ trust and time delay to adjust it to consistency, which can reduce the frequency of exception triggering and improve the efficiency. The experimentation indicates that this method can reduce the cost of exception handling effectively.

关 键 词：工作流 时间约束 角色信任度 时间延迟 

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