基于Horn集的工作流过程执行有效性判断*

摘要：

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

关键词： 工作流管理系统 过程定义 过程执行 执行有效性 Horn集

作者: 邱小平 汤永川 裴峥 徐扬

作者单位: 西南交通大学智能控制开发中心 四川 成都 610031 浙江大学计算机科学学院 浙江 杭州 310027

会议类型: 国内会议

会议名称: 中国人工智能学会第10届全国学术年会

会议地点: 广州

会议语种:中文

页码: 772-776

在线出版日期: 2003-09-21（万方平台首次上网日期，不代表论文的发表时间）