首页> 中文期刊> 《机电工程》 >基于描述逻辑的工作流冲突检测算法

基于描述逻辑的工作流冲突检测算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

针对工作流模型中出现的活动冲突问题,构建了用于工作流模型检测的TBox和ABox,并提出了基于描述逻辑的冲突检测算法.通过对工作流模型网络的分解和检测,得出结论:该冲突检测算法不仅能检测出发生冲突的活动数目,而且能够检测出冲突的具体活动,有利于设计者改进工作流模型设计.

著录项

来源
《机电工程》 |2008年第3期|40-42|共3页
作者
程杰;
展开▼
作者单位

杭州电子科技大学,智能与软件技术研究所,浙江,杭州,310018;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机控制、计算机控制系统;
关键词
工作流; 描述逻辑; 冲突检测;

相似文献

中文文献
外文文献
专利

1. 基于描述逻辑的CWM元数据冲突的检测和消解 [J] . 赵晓非 ,黄志球 . 计算机科学 . 2010,第011期
2. 基于描述逻辑的策略冲突检测方法研究及实现 [J] . 王晓贺 ,蔡国永 . 计算机工程与科学 . 2008,第006期
3. 基于描述逻辑的RB-RBAC授权规则冲突检测方法 [J] . 于海波 ,车海燕 ,金淳兆 . 计算机科学 . 2006,第010期
4. 基于冲突概率的低空自由飞行冲突检测算法 [J] . 沈笑云 ,周波 ,曹博 . 电光与控制 . 2014,第006期
5. 基于TRBAC的具有冲突约束的工作流授权模型 [J] . 焦艳 ,姜月秋 ,张文波 . 科技资讯 . 2007,第029期
6. 基于Petri网的并发冲突工作流建模及验证 [C] . 谢一 ,张为群 . 2006年全国理论计算机科学学术年会 . 2006
7. 基于描述逻辑的访问控制策略冲突检测方法研究 [A] . 黄凤 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号