计算机工程 ›› 2011, Vol. 37 ›› Issue (17): 44-45,57.doi: 10.3969/j.issn.1000-3428.2011.17.013

• 软件技术与数据库 • 上一篇    下一篇

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

刘茜萍,韩京宇   

  1. (南京邮电大学计算机学院计算机技术研究所,南京 210003)
  • 收稿日期:2010-04-18 出版日期:2011-09-05 发布日期:2011-09-05
  • 作者简介:刘茜萍(1981-),女,讲师、博士,主研方向:协同计算;韩京宇,副教授、博士
  • 基金项目:
    国家自然科学基金资助项目(61003040)

Conflict Detection Method in Workflow Merging Rule

LIU Xi-ping, HAN Jing-yu   

  1. (Institute of Computer Technology, College of Computer, Nanjing University of Posts & Telecommunications, Nanjing 210003, China)
  • Received:2010-04-18 Online:2011-09-05 Published:2011-09-05

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

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

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

中图分类号: