工作流時間驗證的研究與應用.pdf

1、時間問題是一個企業(yè)提高效率和信譽的重要因素.因此,時間的驗證與分析成為當今工作流研究的一個熱點問題.在一個實際的工作流中,常常有一些可跨越活動和可替換路徑,對可跨越活動適當取舍和可替換路徑適當選擇,會提高截止期限被滿足的可能性.并且,在執(zhí)行過程中,人們往往關心某些狀態(tài)是否存在可達性,以及處理結果產生的最遲時間——截止期限.目前對工作流建模主要采用工作流圖和petri網,普遍存在的問題是當系統(tǒng)中結點過多時,容易引起狀態(tài)爆炸.為了解決上述問

2、題,本文介紹了一種基于工作流圖的時間模型,提出了使用四種關鍵路徑對工作流截止期限進行動態(tài)驗證的方法.這種方法不必計算所有活動實例的截止期限,只需根據實際需要,針對部分實例計算,減少計算量,提高了工作流的執(zhí)行效率.在一個實際的工作流中,常常有一些可跨越活動和可替換路徑,對可跨越活動適當取舍和可替換路徑適當選擇,會提高截止期限被滿足的可能性.對活動增加截止期限的約束條件并驗證可達情況,是人們在實際應用中對工作流系統(tǒng)提出的新要求.本文提出了一

3、種基于層次時間petri網的工作流模型.在基于TPN的工作流模型中增加截止期限約束條件,并將各個路由結構按照給出的規(guī)則分層提取,得到只有順序結構的HTPN模型.模型轉化的同時進行了物理可達性的驗證;給出層次時間樹算法,利用得到的層次時間樹對活動進行靜態(tài)和動態(tài)時間驗證.在理論研究基礎上,以FlexWork系統(tǒng)為背景,將上述兩種時間驗證思想相結合,利用層次劃分思想在建模階段進行物理可達性驗證,采用關鍵路徑進行時間靜態(tài)和動態(tài)可達性驗證,開發(fā)了