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

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

Abstract: The workflow merging requirements are formally described through relationship-rules and activity-rules. Moreover, an algorithm to check conflicts in the merging rule set is proposed based on the reachability relationships. This algorithm can find out combinations of conflict merging rules from the given rule set through tracing new reachability relationships and corresponding deriving rules, which provides the basis for the adjustment of the merging rule set. Concrete example analysis shows the effectiveness of the proposed algorithm. This research provides support for the successful deployment of workflow merging.

Key words: workflow, relationship-rule, activity-rule, conflict detection, reachability relationships

中图分类号: 

• TP311