【正文】 流引擎調(diào)度策略章節(jié)詳細(xì)分析。嚴(yán)格來說，激發(fā)態(tài)并不是變遷的一種靜態(tài)狀態(tài)，而是指處于就緒態(tài)的變遷所對(duì)應(yīng)的任務(wù)被實(shí)際執(zhí)行時(shí)刻的動(dòng)態(tài)狀態(tài)，這樣來說，一個(gè) 就緒態(tài)的變遷所對(duì)應(yīng)的任務(wù)實(shí)體被實(shí)際執(zhí)行后變遷將處于激發(fā)態(tài)， 激發(fā)態(tài)只是個(gè)瞬間狀態(tài)，進(jìn)入激發(fā)態(tài)的變遷即刻處于常態(tài)，即進(jìn)入新的等待調(diào)度條件的狀態(tài)。 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 13 圖 5：變遷的運(yùn)行時(shí)狀態(tài)遷移圖 弧使用一條有向線段表示。根據(jù)弧的方向是從庫(kù)所指向變遷還是從變遷指向庫(kù)所，弧可以分為兩類：內(nèi)向弧和外向 弧。內(nèi)向弧 是英文 inward arc 的中文譯文。 外向弧是指從變遷指向 庫(kù)所的 弧，如圖。外向弧通常使用 TP來表示，即從 transition指向 place的弧。 標(biāo)記在 Petri 網(wǎng)模型中使用小黑點(diǎn)來表示， 標(biāo)記一詞是 本文對(duì) token的翻譯 ，在大多數(shù)中文文獻(xiàn)中都沒有給出比較合適的翻譯，通常選擇了直接使用 token 一常態(tài) 就緒態(tài) 激發(fā) 態(tài) 等待調(diào)度條件 等待 激發(fā) 激發(fā)并消耗調(diào)度條件 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 14 詞，應(yīng)該說在 Petri 網(wǎng)中 token所起到的作用很難選擇一個(gè)合適的中文來描述。具體來說，在 Petri 網(wǎng)模型建模期間是不存在標(biāo)記的，只有當(dāng)該模型被工作流執(zhí)行引擎實(shí)例化并開始調(diào)度時(shí)存在的。 Petri網(wǎng)模型實(shí)例中標(biāo)記在所有庫(kù)所中的分布狀態(tài)就反映了一個(gè) Petri網(wǎng)模型實(shí)例的運(yùn)行狀態(tài)。從這個(gè)角度來說，有些參考文獻(xiàn)引用網(wǎng)絡(luò)中的術(shù)語(yǔ)將 Petri 網(wǎng)中的 token翻譯為令牌是不恰當(dāng)?shù)?，至少是不夠?zhǔn)確的， Petri 網(wǎng)中的 token從功能上來說是一種反映模型實(shí)例運(yùn)行狀態(tài)的靜態(tài)實(shí)體，網(wǎng)絡(luò)中的令牌是一種處于移動(dòng)中的動(dòng)態(tài)實(shí)體。 這一點(diǎn)在后文將由具體的解釋。能夠引起一個(gè) 處于 就緒 態(tài)的變遷向激發(fā)態(tài)遷移的事件被稱為一個(gè)“ 觸發(fā)器 ”。 圖 6： petri網(wǎng)中變遷的四種觸發(fā)類型表示圖 a b c d 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 15 a) 自動(dòng)觸發(fā)：任務(wù)一旦從常態(tài)遷移 到了就緒態(tài)就馬上可以被激發(fā)。 b) 用戶觸發(fā)：任務(wù)由人來觸發(fā)，例如，用戶選擇一個(gè)處于就緒態(tài)的任務(wù)來執(zhí)行。用戶選擇并完成一個(gè)工作項(xiàng)的操作就是相關(guān)的任務(wù)實(shí)例的觸發(fā)，同時(shí)工作流實(shí)例也將進(jìn)入流程的下一階段。例如，任務(wù)項(xiàng)在一個(gè)預(yù)定的時(shí)刻被執(zhí)行。消息可能是電子郵件、傳真、電話或 EDI消息。 Petri 網(wǎng)的路由 從工作流程的起始庫(kù)所到中止庫(kù)所的路由形式有多種，如下： 順序路由 圖 7：順序路由示意圖 并行路由 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 16 圖 8：并行路由示意圖 條件路由 圖 9：條件路由示意圖 迭代路由 圖 10：迭代路由示意圖 Petri 網(wǎng)的發(fā)散和匯聚 為了能夠?qū)崿F(xiàn) Petri網(wǎng)的路由方法，需要使用發(fā)散和匯聚， Petri網(wǎng)具有如 下基本的發(fā)散和匯聚單元： 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 17 圖 11： petri網(wǎng)的發(fā)散和匯聚標(biāo)示 與發(fā)散 與發(fā)散標(biāo)示的是一種并行路由，即多個(gè)任務(wù)可以并行地或以某種不確定的次序進(jìn)行。這樣，當(dāng)該變遷被激發(fā)后將為所有的輸出庫(kù)所產(chǎn)生 token。這樣，變遷只有當(dāng)其所有的輸入庫(kù)所中都擁有了可用的 token 后才能夠從常態(tài)遷移到就緒態(tài)，既是說，輸入庫(kù)所前并行的流程必須全 部執(zhí)行完，才匯聚到當(dāng)前變遷，任何一個(gè)輸入庫(kù)所沒有可用的 token，變遷都處于同步等待狀態(tài)。用圖表示為在變遷的輸出弧上附加了條件判斷，即是說，當(dāng)變遷被激發(fā)后，并不是為其所有輸出庫(kù)所產(chǎn)生 token，而是要與發(fā)散 顯式或 發(fā)散 隱式或 發(fā)散 與 匯聚 或匯聚 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 18 根據(jù)輸出弧上的條件，通常條件是一種 bool 型的表達(dá)式，以決定是否為弧所連接的輸出庫(kù)所產(chǎn)生 token。用圖表示為存在兩條弧從同一庫(kù)所出發(fā)指向不同的變遷，這樣，當(dāng)輸入庫(kù)所獲得 token 后，哪個(gè) 變遷 先 激發(fā)就會(huì)獲得這個(gè) token。 或匯聚 或匯聚用圖表示為兩個(gè)不同的變遷擁有同一個(gè)輸出庫(kù)所，這樣，這兩個(gè)不同的變遷中任何一個(gè)的激發(fā)都會(huì)使得其輸出庫(kù)所后繼的變遷的狀態(tài)的遷移。 自 20 世紀(jì) 90 年代中期至今，互聯(lián)網(wǎng)技術(shù)在我國(guó)迅速發(fā)展和普及，引出了Intra、 Extra、 Inter、政府上網(wǎng)工程、企業(yè)上網(wǎng)工程、電子政府、電子商務(wù)、電子管理、政府內(nèi)部網(wǎng)、企業(yè)網(wǎng)、數(shù)字 神經(jīng)系統(tǒng)和數(shù)字化辦公等一系列新概念，這些新概念的提出背后都或多或少的存在著工作流的思想，只不過有些概念體現(xiàn)的工作流思想少些，而有些 概念的核心思想就是工作流的思想，如辦公自動(dòng)化等。現(xiàn)代化企業(yè)為了增強(qiáng)工作效率、縮短信息傳播周期、固化業(yè)務(wù)模式、增加核心競(jìng)爭(zhēng)力， 已經(jīng)將企業(yè)經(jīng)營(yíng)過程的各個(gè)領(lǐng)域各個(gè)環(huán)節(jié)均納入了企業(yè)信息化四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 19 的部分。無論是辦公自動(dòng)化系統(tǒng)還是具體業(yè)務(wù)系統(tǒng)，都是為企業(yè)提供軟件服務(wù)的，都是本著服務(wù)于企業(yè) 需求為目標(biāo)的，然而，現(xiàn)實(shí)世界中的各個(gè)企業(yè)的經(jīng)營(yíng)過程是無時(shí)無刻不在變化和調(diào)整中的，以便適應(yīng)瞬息萬變的市場(chǎng)。工作流及工作流管理系統(tǒng)之所以能為企業(yè)信息化系統(tǒng)所使用究其原因也在于此。 圖 12：工作流技術(shù)同關(guān)系數(shù)據(jù)庫(kù)管理系統(tǒng)技術(shù)發(fā)展曲線圖 圖 12是在 stevesmith提出的用來反映一種技術(shù)從其提出到最終產(chǎn)品化的發(fā)展四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 20 趨勢(shì)的曲線圖上標(biāo)示了工作流技術(shù)同 RDBMS技術(shù)當(dāng)前發(fā)展階段的對(duì)比。特別是當(dāng)把工作流技術(shù)同已經(jīng)處于穩(wěn)定階段的產(chǎn)品化了的 RDBMS相比時(shí)，工作流技術(shù)發(fā)展的落后是非常明顯的，然而，任何一種技術(shù)的發(fā)展客觀上都是遵循這一技術(shù)發(fā)展曲線 的，都是要有個(gè)過程的， RDBMS 技術(shù)能夠達(dá)到今天的程度也是從其提出 之初一點(diǎn) 點(diǎn)地發(fā)展起來的，因此，工作流技術(shù)盡管仍然處于其技術(shù)提出階段，但市場(chǎng)對(duì)技術(shù)的需求必將加快工作流技術(shù)的發(fā)展，加快其產(chǎn)品化的步伐。然后，能夠作為企業(yè)業(yè)務(wù)系統(tǒng)支撐平臺(tái)的工作流產(chǎn)品幾乎沒有，企業(yè)業(yè)務(wù)系統(tǒng)仍是大量的專業(yè)系統(tǒng)各自獨(dú)立的構(gòu)成的，相互集成協(xié)作的能力基本上靠傳統(tǒng)的手工方式人為的來操作，失去了信息化的高 效性和自動(dòng)性。本文所設(shè)計(jì)實(shí)現(xiàn)的工作流管理系統(tǒng)主要目的也在于此。相對(duì)于工作流產(chǎn)品市場(chǎng)的繁榮，工作流相關(guān)理論研究則顯得有些滯后。本著把工作流產(chǎn)品推向市場(chǎng)的目的，這些開發(fā)商大多把研究的注意力放在了工作流管理系統(tǒng)的開發(fā)實(shí)施方面。 在工作流理論與實(shí)施技術(shù)方面，研究的主要內(nèi)容包括： 1 工作流管理系統(tǒng)體系結(jié)構(gòu)的研究； 2工作流模型與工作流定義語(yǔ)言研究； 3工作流的事務(wù)特性：研究如何實(shí)現(xiàn)高級(jí)事務(wù)處理技術(shù)與工作流管理技術(shù)的結(jié)合，用定義良好的模型語(yǔ)義與四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 21 恢復(fù)機(jī)制來提高工作流系統(tǒng)的正確性與可靠性，從而能夠更好地支持企業(yè)復(fù)雜的業(yè)務(wù)過程； 4 工作流實(shí)現(xiàn)技術(shù)：包括面向?qū)ο蠹夹g(shù)、異構(gòu)分布式計(jì)算技術(shù)、圖形化用戶界面、消息通訊、數(shù)據(jù)庫(kù)、 WWW等在內(nèi)的與工作流系統(tǒng)的設(shè)計(jì)實(shí)現(xiàn)有關(guān)的各項(xiàng)技術(shù)及方法； 5工作流的仿真與分析方法； 6基于工作流的應(yīng)用集成與互操作技術(shù)：研究異構(gòu)應(yīng)用系統(tǒng)的集成以及不同工作流系統(tǒng)之間的互操作問題； 7 工作流與經(jīng)營(yíng)過程重組：研究如何通過工作流管理系統(tǒng)的實(shí)施來支持企業(yè)快速高效地實(shí)現(xiàn)經(jīng)營(yíng)過程重組； 8 工作流技術(shù)的其它應(yīng)用：研究如何將工作流技術(shù)在不同的領(lǐng)域進(jìn)行應(yīng)用，包括在 CIMS中的應(yīng)用。這一部分工作目前相對(duì)來說比較薄弱，還有許多問題需要進(jìn)一步研究。這方面研究工作的主要目的是提高工作流管理系統(tǒng)的性能，尤其是提高工作流管理系統(tǒng)的可靠性及其在處理大規(guī)模復(fù)雜的且具有并行業(yè)務(wù)的流程方面的能力。這方面研究的目的是發(fā)揮工作流管理系統(tǒng)的優(yōu)勢(shì)，為解決具體應(yīng)用領(lǐng)域內(nèi)的問題提供有效實(shí)現(xiàn)手段。 系統(tǒng)功能描述 本工作流管理系統(tǒng)的設(shè)計(jì)定位于同時(shí)支撐 oa 系統(tǒng)和企業(yè)業(yè)務(wù)系統(tǒng)這兩種對(duì)流程調(diào)度需求截然不同的系統(tǒng)。 本工作流管理系統(tǒng)是一種基于 web技術(shù)的工作流管理系統(tǒng)，基于 web技術(shù)是本系統(tǒng)的特征?；?于 web技術(shù)的另一層含義是，被工作流引擎調(diào)度的任務(wù)執(zhí)行實(shí)體也是 web方式提供的，這點(diǎn)對(duì)于現(xiàn)代企業(yè)的應(yīng)用集成是非常重要的，當(dāng)軟件系統(tǒng)逐步從原來的桌面 C/S模式轉(zhuǎn)型為基于瀏覽器的 B/S模型后， 企業(yè)中的大部分應(yīng)用系統(tǒng)均是 B/S架構(gòu)的，如何將這些 B/S模式下運(yùn)行的企業(yè)應(yīng)用系統(tǒng)集成進(jìn)工作流管理系統(tǒng)，并由工作流管理系統(tǒng)進(jìn)行集中管理和調(diào)度同樣是當(dāng)前工作流管理系統(tǒng)軟件所要挑戰(zhàn)的課題。 符合 WFMC 標(biāo)準(zhǔn) ， 意味著本工作流管理系統(tǒng)的系統(tǒng)架構(gòu)設(shè)計(jì)是完全基于WFMC的參考模型標(biāo)準(zhǔn)的，或者說系統(tǒng)的設(shè)計(jì)初衷是定位于一種開放性的、可擴(kuò)展的工作流管理系統(tǒng)。 基于關(guān)系數(shù)據(jù)庫(kù) 技術(shù) ， 意味著業(yè)務(wù)系統(tǒng)流程的描述信息將最終存儲(chǔ)在關(guān)系數(shù)據(jù)庫(kù)中并通過對(duì)關(guān)系數(shù)據(jù)庫(kù)的維護(hù)來實(shí)現(xiàn)對(duì)業(yè)務(wù)系統(tǒng)流程的控制。本工作流管理系統(tǒng) 作為業(yè)務(wù)系統(tǒng)的操作系統(tǒng) 將對(duì)四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 23 外提供如下服務(wù)： ? 業(yè)務(wù)系統(tǒng)注冊(cè)服務(wù) ? 業(yè)務(wù)注冊(cè)中心 ? 任務(wù)注冊(cè)中心 ? 菜單注冊(cè)中心 ? 權(quán)限注冊(cè)中心 ? 服務(wù)注冊(cè)中心 ? 過程模型定義服務(wù) ? 圖形化過程定義工具 ? 表單式過程定義工具 ? 工作流程監(jiān)控服務(wù) ? 日志管理功能 ? 過程管理功能 ? 過程狀態(tài)功能 ? 通用功能接口服務(wù) ? 權(quán)限驗(yàn)證工具類 ? 服務(wù)調(diào)用工具類 ? 日志維護(hù)工具類 ? 應(yīng)用接口工具類 ? 統(tǒng)一工作平臺(tái)服務(wù) 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 24 ? 權(quán)限驗(yàn)證模塊 ? 菜單控制模塊 ? 任務(wù)列表模塊 ? 任務(wù)展示模塊 5 系統(tǒng) 設(shè)計(jì) 本工作流管理系統(tǒng)的系統(tǒng)架構(gòu)是 依據(jù) WFMC 提出的工作流管理系統(tǒng)架構(gòu)并結(jié)合實(shí)際的應(yīng)用需求提出的一種符合 WFMC 參考模型標(biāo)準(zhǔn)的工作流管理系統(tǒng)架構(gòu)。 四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 26 業(yè)務(wù)系統(tǒng)注冊(cè)服務(wù)下設(shè)若干功能模塊，分別是：系統(tǒng) 訪問權(quán)限設(shè)置、系統(tǒng)功能菜單設(shè)置、系統(tǒng)任務(wù)實(shí)體配置、系統(tǒng) web服務(wù)配置等。系統(tǒng)訪問權(quán)限的驗(yàn)證機(jī)制采用基于角色的訪問權(quán)限控制理論，并在該理論上有所擴(kuò)充，在工作流管理系統(tǒng)這一底層支撐平臺(tái)上提取、抽象并接管了原本由業(yè)務(wù)系統(tǒng)需要處理的訪 問權(quán)限功能，減輕了業(yè)務(wù)系統(tǒng)的開發(fā)任務(wù)，并易于統(tǒng)一配置和維護(hù)，關(guān)于本工作流管理系統(tǒng)提出并使用的基于角色的訪問權(quán)限控制的思想和實(shí)現(xiàn)將在第 7部分的系統(tǒng)性能章節(jié)詳細(xì)說明。工作流管理系統(tǒng)提供系統(tǒng)功能菜單設(shè)置的功能同樣簡(jiǎn)化了業(yè) 務(wù)系統(tǒng)的開發(fā)任務(wù)，是業(yè)務(wù)系統(tǒng)開發(fā)人員集中精力于業(yè)務(wù)邏輯的開發(fā)上。具體的說，通過系統(tǒng)任務(wù)實(shí)體配置功能注冊(cè)的任務(wù)實(shí)體將會(huì)被過程模型定義服務(wù)在進(jìn)行過程模型定義時(shí)引用，即這里注冊(cè)的任務(wù)將最終被指定到工作流模型中的 transition即變遷，作為該變遷被激發(fā)時(shí)的真正的調(diào)度運(yùn)行實(shí)體。 SOA的靈活性和可擴(kuò)展性是不容置疑的，它是以 服務(wù)的思想為核心，以服務(wù)提供者、服務(wù)使用者和服務(wù)注冊(cè)中心為基本組成元素的新型軟件架構(gòu)思想。業(yè)務(wù)系統(tǒng)注冊(cè)服務(wù)的系統(tǒng) web服務(wù)配置就是為業(yè)務(wù)系統(tǒng)進(jìn)行集中配置系統(tǒng)提供的那些原始 web服務(wù)功能模塊的入口。 組織模型定義 WFMC 的過程定義工具里的組織模型定義是對(duì)過程模型定義時(shí)所需要引用的參與者信息的建模工具。流程建模人員在定義好組織結(jié)構(gòu)模型后，就可以在過程模型定義時(shí)為過程中的活動(dòng)指定具體的參與者，這里的參與者就是組織模型定義時(shí)所創(chuàng)建的，它并不特指某個(gè)具體的操作人員，過程模型定義期間為活動(dòng)指派的參與者將在過程模型實(shí)例運(yùn)行期由工作流引擎根據(jù)組織模型定義 時(shí) 給出的相關(guān)信息映 射到具體的操作人員上。工作流相關(guān)數(shù)據(jù)是由信息模型定義產(chǎn)生的，并由工作流引擎和應(yīng)用系統(tǒng)共同訪問維護(hù)的數(shù)據(jù)。 上面提到的 WFMC 的組織模型定義和信息模型定義在本工作流管理系統(tǒng)的設(shè)計(jì)中進(jìn)行了形式上的轉(zhuǎn)變， 這些轉(zhuǎn)變具體為： 取消了組織模型定義，主要目的是為了簡(jiǎn)化工作流引擎 在運(yùn)行期的組織模型四川大學(xué)碩士學(xué)位論文 —— 基于 WEB 技術(shù)的工作流管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) 28 映射工作，這并不是說本工作流管理系統(tǒng)的工作流引擎在運(yùn)行時(shí)無法向具體的操作人員指派任務(wù)，之所以取消了組織模型定義，主要是基于企業(yè)原有的組織結(jié)構(gòu)數(shù)據(jù)已經(jīng)非常健全，并且本工作流管理系統(tǒng)只針對(duì)一家企業(yè)服務(wù)，因此如果在工作流管理系統(tǒng)中再增加一層組織模型的定義就顯得有些冗余，并且增加了工作流引擎的映射任務(wù)。 取消了信 息模型定義，代之以將工作流相關(guān)數(shù)據(jù)作為流程實(shí)例的上下文數(shù)據(jù)來由工作流引擎和應(yīng)用系統(tǒng)共同維護(hù)，并由工作流引擎在應(yīng)用系統(tǒng)活動(dòng)之間進(jìn)行傳遞。 過程模型定義 一個(gè)完整的工作流模型包含了描述一個(gè)能夠被工作流引擎調(diào)度執(zhí)行的工作流程所需要的所有信息。 過程 模型 定義可能引用組織 模型中關(guān)于組織結(jié) 構(gòu)、組織中的角色等信