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

作者：程 杰 日期：2008-04-17/span> 浏览：3244 查看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.