版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、時間問題是一個企業(yè)提高效率和信譽(yù)的重要因素.因此,時間的驗證與分析成為當(dāng)今工作流研究的一個熱點(diǎn)問題.在一個實際的工作流中,常常有一些可跨越活動和可替換路徑,對可跨越活動適當(dāng)取舍和可替換路徑適當(dāng)選擇,會提高截止期限被滿足的可能性.并且,在執(zhí)行過程中,人們往往關(guān)心某些狀態(tài)是否存在可達(dá)性,以及處理結(jié)果產(chǎn)生的最遲時間——截止期限.目前對工作流建模主要采用工作流圖和petri網(wǎng),普遍存在的問題是當(dāng)系統(tǒng)中結(jié)點(diǎn)過多時,容易引起狀態(tài)爆炸.為了解決上述問
2、題,本文介紹了一種基于工作流圖的時間模型,提出了使用四種關(guān)鍵路徑對工作流截止期限進(jìn)行動態(tài)驗證的方法.這種方法不必計算所有活動實例的截止期限,只需根據(jù)實際需要,針對部分實例計算,減少計算量,提高了工作流的執(zhí)行效率.在一個實際的工作流中,常常有一些可跨越活動和可替換路徑,對可跨越活動適當(dāng)取舍和可替換路徑適當(dāng)選擇,會提高截止期限被滿足的可能性.對活動增加截止期限的約束條件并驗證可達(dá)情況,是人們在實際應(yīng)用中對工作流系統(tǒng)提出的新要求.本文提出了一
3、種基于層次時間petri網(wǎng)的工作流模型.在基于TPN的工作流模型中增加截止期限約束條件,并將各個路由結(jié)構(gòu)按照給出的規(guī)則分層提取,得到只有順序結(jié)構(gòu)的HTPN模型.模型轉(zhuǎn)化的同時進(jìn)行了物理可達(dá)性的驗證;給出層次時間樹算法,利用得到的層次時間樹對活動進(jìn)行靜態(tài)和動態(tài)時間驗證.在理論研究基礎(chǔ)上,以FlexWork系統(tǒng)為背景,將上述兩種時間驗證思想相結(jié)合,利用層次劃分思想在建模階段進(jìn)行物理可達(dá)性驗證,采用關(guān)鍵路徑進(jìn)行時間靜態(tài)和動態(tài)可達(dá)性驗證,開發(fā)了
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 時間Petri網(wǎng)在時間約束工作流系統(tǒng)的研究與應(yīng)用.pdf
- 時間約束工作流可調(diào)度驗證及時間性能優(yōu)化研究.pdf
- 網(wǎng)格工作流驗證方法的研究.pdf
- 基于時間Petri網(wǎng)的工作流時間約束特性研究及應(yīng)用.pdf
- 基于XPFL的工作流驗證-FlowLvzerXP的研究與實現(xiàn).pdf
- 實時工作流建模與時序約束驗證.pdf
- 基于著色時間Petri網(wǎng)的工作流建模方法研究與應(yīng)用.pdf
- 基于狀態(tài)轉(zhuǎn)換的工作流驗證的研究與實現(xiàn).pdf
- 基于Petri網(wǎng)的工作流建模方法與驗證研究.pdf
- 基于時間Petri網(wǎng)的工作流建模及應(yīng)用.pdf
- 時態(tài)工作流中時間沖突的研究.pdf
- 工作流建模與基于真值表驗證的研究.pdf
- 工作流平臺中過程模型驗證的研究與實現(xiàn).pdf
- Fireflow工作流框架的研究與應(yīng)用.pdf
- 柔性工作流引擎的研究與應(yīng)用.pdf
- 工作流系統(tǒng)中時間建模及其一致性驗證研究.pdf
- 基于Petri網(wǎng)的工作流時間約束研究與實現(xiàn).pdf
- 基于時間Petri網(wǎng)的工作流模型研究.pdf
- 基于Petri網(wǎng)的工作流模型驗證.pdf
- 微工作流架構(gòu)的研究與應(yīng)用.pdf
評論
0/150
提交評論