基于描述逻辑的工作流冲突检测算法 |
| |
引用本文: | 程杰.基于描述逻辑的工作流冲突检测算法[J].机电工程,2008,25(3):40-42. |
| |
作者姓名: | 程杰 |
| |
作者单位: | 杭州电子科技大学,智能与软件技术研究所,浙江,杭州,310018 |
| |
摘 要: | 针对工作流模型中出现的活动冲突问题,构建了用于工作流模型检测的TBox和ABox,并提出了基于描述逻辑的冲突检测算法.通过对工作流模型网络的分解和检测,得出结论:该冲突检测算法不仅能检测出发生冲突的活动数目,而且能够检测出冲突的具体活动,有利于设计者改进工作流模型设计.
|
关 键 词: | 工作流 描述逻辑 冲突检测 |
文章编号: | 1001-4551(2008)03-0040-03 |
收稿时间: | 2007-10-09 |
修稿时间: | 2007年10月9日 |
本文献已被 维普 万方数据 等数据库收录! |
|