论文部分内容阅读
目前对业务流约束验证的研究着重于研究验证单路径的时间约束的满足情况,没有考虑多路径的情况,对时间一致性冲突消解的研究也很少。为验证业务流的时间一致性,从路径分支问题和单任务动态时间满足约束的情况出发,在原有约束一致性上提出路径一致性和强一致性,以及基于STN(Simple Temporal Network)方法的不一致性消解算法并分析其收敛性等性质。最后以医疗流程的业务流为例进行了分析验证。