工作流合并规则中的冲突检测方法

摘要：

在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法.通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位.实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并.

关键词：工作流、关系型规则、活动型规则、冲突检测、可达关系

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61003040

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：44-45,57