10.3969/j.issn.1000-3428.2006.16.026
工作流过程模型结构性冲突中死锁的探测
从业务流程模型静态结构的角度分析了业务过程模型的结构性冲突中死锁发生的可能性.为了能够更清晰地阐述问题,引入两个概念--可达性和绝对可传输性,用来表示一个节点的输出点和另外一个节点的输入点之间的连接属性.阐述了死锁发生的情形并将之归结为5种模式,并说明了如果一个业务模型中存在与这5种死锁类型中的某一个模型相匹配的结构,那么这个业务模型就存在死锁的可能.
工作流、结构性冲突、死锁、可达性、绝对可传输性
32
TP311.11(计算技术、计算机技术)
2006-09-13(万方平台首次上网日期,不代表论文的发表时间)
共3页
70-71,88