计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
36期
7-9,42
,共4页
工作流%动态更改%实例跃迁%正确性准则
工作流%動態更改%實例躍遷%正確性準則
공작류%동태경개%실례약천%정학성준칙
过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁,必须保证过程实例跃迁后运行的一致性.由于多分支结构的影响,不同过程实例的跃迁条件不易确定.研究了过程模型更改机制;通过删除、插入、修改三类元更改操作构造更改域.将过程执行历史能否重放作为过程实例跃迁正确性的判定准则,提出一种高效的过程实例精确跃迁条件评判方法,可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略.该方法能适应多分支的过程模型,灵活性高,便于实现过程模型动态更改和实例跃迁的自动化.
過程模型的動態更改會引起運行中的過程實例嚮更改後的過程模型躍遷,必鬚保證過程實例躍遷後運行的一緻性.由于多分支結構的影響,不同過程實例的躍遷條件不易確定.研究瞭過程模型更改機製;通過刪除、插入、脩改三類元更改操作構造更改域.將過程執行歷史能否重放作為過程實例躍遷正確性的判定準則,提齣一種高效的過程實例精確躍遷條件評判方法,可以確定擁有不同路由結構、不同運行狀態的過程實例的躍遷策略.該方法能適應多分支的過程模型,靈活性高,便于實現過程模型動態更改和實例躍遷的自動化.
과정모형적동태경개회인기운행중적과정실례향경개후적과정모형약천,필수보증과정실례약천후운행적일치성.유우다분지결구적영향,불동과정실례적약천조건불역학정.연구료과정모형경개궤제;통과산제、삽입、수개삼류원경개조작구조경개역.장과정집행역사능부중방작위과정실례약천정학성적판정준칙,제출일충고효적과정실례정학약천조건평판방법,가이학정옹유불동로유결구、불동운행상태적과정실례적약천책략.해방법능괄응다분지적과정모형,령활성고,편우실현과정모형동태경개화실례약천적자동화.