基于图形展开及图形归约的过程模型验证方法

摘要

工作流过程模型是业务过程的形式化定义,在业务过程的分析、运行和重组方面起着业务目标,需要正确地定义工作流过程模型,它的正确性直接影响业务目标的实现,WfMS开始调度执行之前必须对其进行分关键性的作用.为了实现预期的析.针对大规模复杂应用的特点和业务过程执行的实际需要,对复杂工作流过程模型的正确性验证进行了研究;基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误;给出了过程建模中避免错误的相关约束规则;另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法.