论文部分内容阅读
为了判定工作流管理系统中过程定义的执行有效性,本文在深入分析工作流过程中基本关系的基础上,给出了一系列将过程定义转化为Horn集的规则,证明了工作流过程的执行有效性与Horn集的不可满足性之间的对应关系,从而得到了一种通过使用单元归结或输入归结判定Horn集的不可满足性来确定对应工作流过程执行有效性的方法。