《机电工程》杂志,月刊( 详细... )
中国标准连续出版物号: ISSN 1001-4551 CN 33-1088/TH
主办单位:浙江省机电集团有限公司
浙江大学
主编:陈 晓
副 主 编:唐任仲、罗向阳(执行主编)
总 经 理:罗向阳
出 版:浙江《机电工程》杂志社有限公司
地 址:杭州市上城区延安路95号浙江省机电集团大楼二楼211、212室
电话Tel:+86-571-87041360、87239525
E-mail:meem_contribute@163.com
国外发行:中国国际图书贸易总公司
订阅:全国各地邮局 国外代号:M3135
国内发行:浙江省报刊发行局
邮发代号:32-68
广告发布登记证:杭上市管广发G-001号
在线杂志 |
当前位置: 机电工程 >>在线杂志 |
基于描述逻辑的工作流冲突检测算法
作者:程 杰 日期:2008-04-17/span> 浏览:3446 查看PDF文档
基于描述逻辑的工作流冲突检测算法
程 杰
(杭州电子科技大学 智能与软件技术研究所,浙江 杭州 310018)
摘 要:针对工作流模型中出现的活动冲突问题,构建了用于工作流模型检测的TBox和ABox,并提出了基于描述逻辑的冲突检测算法。通过对工作流模型网络的分解和检测,得出结论:该冲突检测算法不仅能检测出发生冲突的活动数目,而且能够检测出冲突的具体活动,有利于设计者改进工作流模型设计。
关键词:工作流;描述逻辑;冲突检测
Workflow conflict detection algorithm based on description logic
CHENG Jie
(Institute of Intelligent and Software Technology, Hangzhou Dianzi University, Hangzhou 310018, China)
Abstract: The TBox and ABox for workflow models were constructed, and a conflict detection algorithm was presented based on description logic, for activities conflict problems usually occurred in workflow models. It can not only detect the number of conflict activities, but also can detect these specific activities, so as to help improve design.
Key words: workflow; description logic; conflict detection
参考文献(Reference):
[1]LUO H B, FAN Y S, WU C. Workflow technology survey[J]. Journal of Software, 2000,11(7):899-907.
[2]HOLLINGSWORT H D. The Workflow Reference Model [M]. Workflow Management Coalition, 1995.
[3]范玉顺.工作流管理技术基础[M].北京:清华大学出版社,2001.
[4]BAADER F, NUTT W. Basic description logics[M]∥BAADER F, CALVANESE D, MCGUINNESS D, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press,2003.47-100.
[5]董明楷,蒋运承,史忠植.一种带缺省推理的描述逻辑[J].计算机学报,2003,26(6):729-736.
[6]PETER B, ULRICH F, MARGRET G H, et al. Optimizing the evaluation of XPath using Description Logics[C]∥Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), v 3392, Applications of Declarative Prog. and Know. Manage.: 15th Int. Conf. on App. of Declarative Prog. and Know. Manage., INAP 2004 and 18th Workshop on Logic Prog., WLP 2004. Revised Selected Papers, 2005:1-15.
[7]LIEBIG T, ROSNER D. Action hierarchies in description logics[C]∥BRACHMAN R J, DONINI F M, FRANCONI E, et al. Proc. of the 1997 Intl Workshop on Description Logics. AAAI Press, 1997:99-103.
[8]ARTALE A, FRANCONI E. A temporal description logic for reasoning about actions and plans[J]. Journal of Artificial Intelligence Research, 1998,9(2):463-506.
[9]史忠植,蒋运承,张海俊,等.基于描述逻辑的主体服务匹配[J].计算机学报,2004,27(5):625-635.
友情链接