| 工作流合并规则中的冲突检测方法 |
| |
| 引用本文： | 刘茜萍,韩京宇. 工作流合并规则中的冲突检测方法[J]. 计算机工程, 2011, 37(17): 44-45,57 |
| |
| 作者姓名： | 刘茜萍 韩京宇 |
| |
| 作者单位： | 南京邮电大学计算机学院计算机技术研究所,南京,210003 |
| |
| 基金项目： | 国家自然科学基金资助项目(61003040) |
| |
| 摘 要： | 在关系型规则和活动型规则形式描述工作流合并需求的基础上，提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵，以及新增可达关系对应的规则集方式，为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明，该算法为规则集的合理调整提供直接依据，可有效实施工作流的合并。
|
| 关 键 词： | 工作流 关系型规则 活动型规则 冲突检测 可达关系 |
| 收稿时间： | 2010-04-18 |
Conflict Detection Method in Workflow Merging Rule |
| |
| LIU Xi-ping,HAN Jing-yu. Conflict Detection Method in Workflow Merging Rule[J]. Computer Engineering, 2011, 37(17): 44-45,57 |
| |
| Authors: | LIU Xi-ping HAN Jing-yu |
| |
| Affiliation: | LIU Xi-ping,HAN Jing-yu(Institute of Computer Technology,College of Computer,Nanjing University of Posts & Telecommunications,Nanjing 210003,China) |
| |
| 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 ... |
| |
| Keywords: | workflow relationship-rule activity-rule conflict detection reachability relationships |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
