目前，工作流管理系統(tǒng)不能有效的處理時(shí)間管理問(wèn)題，為了動(dòng)態(tài)預(yù)測(cè)活動(dòng)發(fā)生的時(shí)間間隔，驗(yàn)證時(shí)間的一致性，預(yù)知潛在的時(shí)間沖突，首先建立基于時(shí)間Petri網(wǎng)的擴(kuò)展工作流網(wǎng)(XTWF一net)，然后根據(jù)工作流管理聯(lián)盟規(guī)定的幾種基本結(jié)構(gòu)推導(dǎo)出時(shí)間預(yù)測(cè)規(guī)則，并采用面向?qū)ο蠹夹g(shù)實(shí)現(xiàn)了預(yù)測(cè)算法，最后給出了動(dòng)態(tài)驗(yàn)證的方法和決策策略。
工作 流 目前面臨的一個(gè)挑戰(zhàn)是工作流的時(shí)間管理，WFMS對(duì)此沒(méi)有做出相關(guān)規(guī)定，實(shí)際應(yīng)用中對(duì)時(shí)間的控制管理要求日益緊迫，時(shí)間問(wèn)題限制了工作流的廣泛應(yīng)用川。許多學(xué)者開(kāi)展了相關(guān)研究，比如Eder「2一3二基于賦時(shí)活動(dòng)圖，建立包含活動(dòng)時(shí)間屬性的工作流模型;Ma巧anovi沙〕引人延遲空間對(duì)不同的時(shí)間約束進(jìn)行可視化描述。W.M.P.vanderAalst對(duì)復(fù)雜工作流模型結(jié)構(gòu)性質(zhì)進(jìn)行了分析仁‘一5〕，在時(shí)間推理方面BetiniC等人進(jìn)行了研究田。但是將Petri網(wǎng)與工作流結(jié)合處理時(shí)間問(wèn)題的不多，且只對(duì)流程的幾種基本結(jié)構(gòu)分別給出推理規(guī)則川，不利于計(jì)算機(jī)計(jì)算，并且局限于靜態(tài)驗(yàn)證。本文的貢獻(xiàn)在于:①利用Petri網(wǎng)成熟的建模優(yōu)勢(shì)與工作流應(yīng)用結(jié)合建立了一個(gè)基于時(shí)間Petri網(wǎng)的擴(kuò)展工作流網(wǎng)(XTWF一net)。②通過(guò)分析工作流程基本結(jié)構(gòu)推導(dǎo)出適合非循環(huán)結(jié)構(gòu)的時(shí)間動(dòng)態(tài)預(yù)測(cè)規(guī)則。③采用面向?qū)ο蠹夹g(shù)和深度優(yōu)先策略實(shí)現(xiàn)了時(shí)間預(yù)測(cè)算法。④提出了截止期限驗(yàn)證方法和決策策略。