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

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