论文部分内容阅读
工作流建模过程中存在的结构冲突很有可能导致整个系统无法正常运行,因此验证工作流中的结构合理性是非常重要的。目前尚无一种简单的算法能够验证循环结构及交叉结构的合理性,为此提出了一种改进的工作流合理性验证方法。该方法基于Pe-tri网模型,将逻辑推导和真值表相结合,能够简单而有效地检测出工作流中的各种结构冲突。应用示例表明了该方法的有效性。