计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
16期
70-71,88
,共3页
工作流%结构性冲突%死锁%可达性%绝对可传输性
工作流%結構性遲突%死鎖%可達性%絕對可傳輸性
공작류%결구성충돌%사쇄%가체성%절대가전수성
从业务流程模型静态结构的角度分析了业务过程模型的结构性冲突中死锁发生的可能性.为了能够更清晰地阐述问题,引入两个概念--可达性和绝对可传输性,用来表示一个节点的输出点和另外一个节点的输入点之间的连接属性.阐述了死锁发生的情形并将之归结为5种模式,并说明了如果一个业务模型中存在与这5种死锁类型中的某一个模型相匹配的结构,那么这个业务模型就存在死锁的可能.
從業務流程模型靜態結構的角度分析瞭業務過程模型的結構性遲突中死鎖髮生的可能性.為瞭能夠更清晰地闡述問題,引入兩箇概唸--可達性和絕對可傳輸性,用來錶示一箇節點的輸齣點和另外一箇節點的輸入點之間的連接屬性.闡述瞭死鎖髮生的情形併將之歸結為5種模式,併說明瞭如果一箇業務模型中存在與這5種死鎖類型中的某一箇模型相匹配的結構,那麽這箇業務模型就存在死鎖的可能.
종업무류정모형정태결구적각도분석료업무과정모형적결구성충돌중사쇄발생적가능성.위료능구경청석지천술문제,인입량개개념--가체성화절대가전수성,용래표시일개절점적수출점화령외일개절점적수입점지간적련접속성.천술료사쇄발생적정형병장지귀결위5충모식,병설명료여과일개업무모형중존재여저5충사쇄류형중적모일개모형상필배적결구,나요저개업무모형취존재사쇄적가능.
