作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2006, Vol. 32 ›› Issue (16): 70-71,8. doi: 10.3969/j.issn.1000-3428.2006.16.026

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

工作流过程模型结构性冲突中死锁的探测

顾华江1;王 华2;邵培南3   

  1. 1. 浙江省烟草公司绍兴分公司,绍兴 312000;2. 杭州电子科技大学,杭州 310018;3. 华东计算技术研究所,上海 200233
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-08-20 发布日期:2006-08-20

Detection of Deadlock Lying in Structural Confliction of Workflow Process Models

GU Huajiang1;WANG Hua2;SHAO Peinan3   

  1. 1. Zhejiang Tobacco Burea Shaoxing Branch, Shaoxing 312000; 2. Hangzhou Dianzhi University, Hangzhou 310018; 3. East-China Institute of Computer Technology, Shanghai 200233
  • Received:1900-01-01 Revised:1900-01-01 Online:2006-08-20 Published:2006-08-20

摘要: 从业务流程模型静态结构的角度分析了业务过程模型的结构性冲突中死锁发生的可能性。为了能够更清晰地阐述问题,引入两个概念——可达性和绝对可传输性,用来表示一个节点的输出点和另外一个节点的输入点之间的连接属性。阐述了死锁发生的情形并将之归结为5种模式,并说明了如果一个业务模型中存在与这5种死锁类型中的某一个模型相匹配的结构,那么这个业务模型就存在死锁的可能。

关键词: 工作流, 结构性冲突, 死锁, 可达性, 绝对可传输性

Abstract: This paper analyzes the possibility of deadlock lying in structural confliction of workflow process models from the view of static structure of process models. To expatiate the topic more clearly, it introduces two conceptions: reachability and absolute transferability, which express the connection property between output point of a node and input point of another node. The paper expounds the situation of occurring deadlock and summaries five patterns of deadlock. Furthermore, it illuminates there is deadlock in a process model possibly if there is a structure which matches one of five deadlock patterns in the process model.

Key words: Workflow, Structural confliction, Deadlock, Reachability, Absolute transferability

中图分类号: