论文部分内容阅读
一个工作流纲要是对工作流模型处理的企业的抽象描述，；在分析起一个关键作用，执行；重新组织企业过程。复杂工作流纲要的正确性上的确认问题在工作流的地里是困难的。我们在这篇论文做它的集中的研究。我们在场这里本地错误；在工作流纲要的纲要逻辑错误(全球错误) 详细，；提供试着在当模特儿期间避免纲要错误的一些限制规则。另外，我们基于图减小建议一条确认途径；图传播，；给算法。算法在一个工作流原型系统电子范围工作被实现。