工作流時間驗證的研究與應(yīng)用.pdf_第1頁
已閱讀1頁,還剩59頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論