为了验证工作流结构方面的问题,提出和证明了过程结构验证等同定理和无环工作流结构验证定理,并在这两个定理的基础上,给出了基于语义推理的工作流结构验证算法。最后,在运算复杂程度、循环路由、死锁和同步丢失等4个方面,与其他验证方法进行了比较。
科研之友
微信
新浪微博
Facebook
分享链接
