【正文】 移到了就緒態(tài)，當(dāng)前模型實(shí)例的狀態(tài)并非飽和狀態(tài)，因?yàn)樘幱诰途w態(tài)的變遷T1處觸發(fā)類型為系統(tǒng)自動(dòng)觸發(fā)，因此，當(dāng)其從常態(tài)遷移到就緒態(tài)時(shí)即刻被調(diào)度執(zhí)行，T1將會(huì)從就緒態(tài)即刻進(jìn)入激發(fā)狀態(tài)（常態(tài)），該變化將會(huì)將T1的輸入庫(kù)所P1種的token消耗掉，并為其所有輸出庫(kù)所PP3生成新的token，模型實(shí)例進(jìn)入圖15所示的飽和狀態(tài)。P1P2P3P4P5P6T1T2T3T4圖15：T2和T3處于就緒態(tài)圖15所示的模型實(shí)例處于了一種飽和狀態(tài)，即P2中產(chǎn)生的token使得變遷T2從常態(tài)遷移到了就緒態(tài)；P3種產(chǎn)生的token使得變遷T3從常態(tài)遷移到了就緒態(tài)，但是，因?yàn)門T3與T1的觸發(fā)類型不同，TT3都是手工觸發(fā)的變遷，因此，TT3遷移到就緒態(tài)時(shí)會(huì)將其各自輸入庫(kù)所及PP3中的token鎖定，TT3何時(shí)被激發(fā)將取決于用戶何時(shí)來執(zhí)行TT3所對(duì)應(yīng)的任務(wù)實(shí)體。TT3的激發(fā)是沒有時(shí)序限定的，也就是說，既可能是T2先被激發(fā)，也可能是T3先被激發(fā)，這里我們假定T2先被激發(fā)，模型實(shí)例進(jìn)入圖16所示狀態(tài)。P1P2P3P4P5P6T1T2T3T4圖16：T2激發(fā)，T3仍處于就緒態(tài)圖16所示的狀態(tài)是T2被激發(fā)后的狀態(tài)，T2的激發(fā)使得P2中的token被消耗，同時(shí)為T2的輸出庫(kù)所P4產(chǎn)生了token，調(diào)度算法此時(shí)會(huì)嘗試找到因?yàn)镻4中token的產(chǎn)生而可能會(huì)成為就緒態(tài)的變遷，但是，卻沒有這樣的變遷，因?yàn)閷?duì)于變遷T4來說，雖然其輸入庫(kù)所P4擁有了token，但是，T4的另外一個(gè)輸入庫(kù)所P5中卻沒有token，因此，T4不滿足從常態(tài)遷移到就緒態(tài)的條件，因此，當(dāng)前模型實(shí)例處于穩(wěn)定狀態(tài)。只有T3的激發(fā)會(huì)引起模型實(shí)例狀態(tài)的改變。假定此時(shí)T3被激發(fā)了，按照規(guī)則，將會(huì)把P3中的token消耗掉，同時(shí)為P5產(chǎn)生新的token，狀態(tài)如圖17P1P2P3P4P5P6T1T2T3T4圖17：T3激發(fā)，T4處于就緒態(tài)圖17所示的是T3被激發(fā)后的狀態(tài)，當(dāng)P5中產(chǎn)生token時(shí)，調(diào)度算法嘗試找到因?yàn)镻5中token的產(chǎn)生而可能會(huì)成為就緒的變遷，于是，找到了T4，T4的狀態(tài)就從常態(tài)遷移到了就緒態(tài)，T4的觸發(fā)類型為手工觸發(fā)，T4被調(diào)度等待用戶進(jìn)行觸發(fā)。假定此時(shí)用戶進(jìn)行了觸發(fā)操作，使得T4從就緒態(tài)遷移到了激發(fā)態(tài)（常態(tài)），按照規(guī)則，將會(huì)把其輸入庫(kù)所PP5中的token消耗掉，同時(shí)為其輸出庫(kù)所P6產(chǎn)生token，模型實(shí)例進(jìn)入圖18所示狀態(tài)。P1P2P3P4P5P6T1T2T3T4圖18：T4激發(fā)圖18所示狀態(tài)為T4被激發(fā)后的狀態(tài)，P6中產(chǎn)生了token，因?yàn)镻6是終止庫(kù)所，因此，滿足了流程結(jié)束的條件，該流程實(shí)例結(jié)束。 工作流引擎對(duì)流程模型的支持決定了工作流引擎對(duì)不同類型的流程模型的調(diào)度能力。流程模型根據(jù)其創(chuàng)建的時(shí)機(jī)、流程中活動(dòng)的性質(zhì)、流程中活動(dòng)的創(chuàng)建時(shí)機(jī)的不同可以分為多種類型的流程模型：固定流程、自定義流程、自由流程、嵌套流程等。所謂固定流程是指流程模型在被工作流引擎實(shí)例化和執(zhí)行的過程中不會(huì)發(fā)生改變的流程。狹義上說，固定流程特指那些由系統(tǒng)管理人員或流程模型定義人員預(yù)先定義好的、在流程模型實(shí)例化和執(zhí)行過程中不會(huì)發(fā)生變化的流程。廣義上說，凡是在流程模型被工作流引擎實(shí)例化和執(zhí)行的過程中不會(huì)發(fā)生變化的流程模型都可以稱為固定流程，而不關(guān)心該流程模型是由系統(tǒng)管理人員或流程模型定義人員預(yù)先設(shè)定好的還是由終端用戶根據(jù)各自需求自行定義的。我們將那些由終端用戶根據(jù)各自需求自行定義的流程稱為自定義流程。通常固定流程是企業(yè)中相對(duì)穩(wěn)定了的企業(yè)經(jīng)營(yíng)流程，而自定義流程是權(quán)限范圍內(nèi)的用戶靈活設(shè)計(jì)組織的企業(yè)經(jīng)營(yíng)過程。自定義流程實(shí)質(zhì)上是一種特殊的固定流程，因此，后文的討論中，出現(xiàn)的固定流程是廣義上包含了固定流程和自定義流程的流程模型概念。固定流程是工作流管理系統(tǒng)中的基本流程，也是過程模型定義服務(wù)所支持的最基本的流程模型。為了后文討論的方便，這里簡(jiǎn)單介紹一下過程定義和過程模型的區(qū)別和相互轉(zhuǎn)換關(guān)系。我們將過程模型定義服務(wù)軟件實(shí)體即圖形化模型定義工具所設(shè)計(jì)出的流程稱為過程定義，使用D表示，而將工作流引擎所執(zhí)行的流程稱為過程模型，使用M表示。D是過程模型定義服務(wù)的輸出文件，D經(jīng)過轉(zhuǎn)換器的翻譯最終形成可被工作流引擎執(zhí)行的M。這個(gè)轉(zhuǎn)換器依據(jù)其功能被稱為DM轉(zhuǎn)換器，反向的轉(zhuǎn)換器被稱為MD轉(zhuǎn)換器，兩種轉(zhuǎn)換器都依據(jù)特定的轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換操作，具體的轉(zhuǎn)換規(guī)則將在系統(tǒng)實(shí)現(xiàn)部分詳細(xì)介紹。圖19說明了兩種模型在表現(xiàn)形式上的不同。MD轉(zhuǎn)換器DM轉(zhuǎn)換器M：過程模型D：過程定義圖19：過程定義——過程模型從表現(xiàn)形式來看，過程定義D更接近于人的流程設(shè)計(jì)習(xí)慣，因此，過程模型定義服務(wù)讓流程設(shè)計(jì)人員所繪制的是D；過程模型M是標(biāo)準(zhǔn)的Petri網(wǎng)流程模型圖，這樣的結(jié)構(gòu)更利于工作流引擎基于Petri網(wǎng)的調(diào)度理論對(duì)流程進(jìn)行控制。這樣，就需要在過程定義D和過程模型M之間進(jìn)行轉(zhuǎn)換，這種轉(zhuǎn)換是雙向的，是通過工作流管理系統(tǒng)所提供的DM轉(zhuǎn)換器和MD轉(zhuǎn)換器來完成的。 相對(duì)于固定流程來說，自由流程是指那些在流程模型被工作流引擎執(zhí)行期間流程模型實(shí)例可以變更的流程模型。自由流程根據(jù)其自由度的不同又可分為全自由流程和半自由流程，全自由流程是指那些預(yù)先不存在流程模型而由終端用戶的操作發(fā)起并根據(jù)終端用戶的操作進(jìn)行后繼活動(dòng)結(jié)點(diǎn)的擴(kuò)充的流程。半自由流程是指那些預(yù)先存在流程模型而在流程模型被工作流引擎執(zhí)行期間工作流引擎可以在某些活動(dòng)結(jié)點(diǎn)上根據(jù)用戶的操作執(zhí)行進(jìn)行相應(yīng)的活動(dòng)結(jié)點(diǎn)擴(kuò)充的流程。半自由流程不同于全自由流程的是，半自由流程的活動(dòng)結(jié)點(diǎn)的擴(kuò)充是在一個(gè)預(yù)定義的主流程的某些結(jié)點(diǎn)上進(jìn)行的擴(kuò)充，其自由度是受主流程的限制的，而全自由流程預(yù)先不存在主流程，所有的節(jié)點(diǎn)都是根據(jù)終端用戶的操作指令進(jìn)行動(dòng)態(tài)擴(kuò)充的。 自由流程與固定流程的本質(zhì)區(qū)別在于自由流程在被工作流引擎執(zhí)行期間其活動(dòng)結(jié)點(diǎn)可以自由的擴(kuò)充。自由流程中活動(dòng)結(jié)點(diǎn)的擴(kuò)充在過程定義和過程模型中表現(xiàn)為如下形式的變更，圖20所示。TT1T2T3TiTTTT1T2T3TiP0P1P2P3Pi圖20：自由流程中的節(jié)點(diǎn)擴(kuò)充圖示圖20反映的是一個(gè)半自由流程在活動(dòng)T2結(jié)點(diǎn)處進(jìn)行活動(dòng)結(jié)點(diǎn)Ti的擴(kuò)充情況。前文提到過，自由流程活動(dòng)結(jié)點(diǎn)擴(kuò)充的實(shí)質(zhì)是工作流引擎根據(jù)用戶的操作指令對(duì)原流程模型實(shí)例進(jìn)行結(jié)點(diǎn)擴(kuò)充的操作。為了說明的方便，圖中分別給出了結(jié)點(diǎn)擴(kuò)充操作在過程定義和過程模型上的變化情況。對(duì)該情況說明如下。當(dāng)T2處于就緒態(tài)時(shí)，在T2上進(jìn)行操作的用戶如果按照主流程進(jìn)行簡(jiǎn)單的提交操作，那么工作流引擎將對(duì)T2進(jìn)行激發(fā)操作，工作流引擎按照主流程的定義開始調(diào)度，將T3從常態(tài)遷移到激發(fā)態(tài)。但是，如果在T2上的操作用戶向工作流引擎發(fā)送了擴(kuò)充Ti活動(dòng)結(jié)點(diǎn)的操作指令，那么，工作流引擎將在原流程模型實(shí)例上在T2節(jié)點(diǎn)出進(jìn)行結(jié)點(diǎn)的擴(kuò)充，反映在圖的過程模型圖中就是增加了庫(kù)所Pi、變遷Ti和虛線所標(biāo)示的3條弧，并即刻將擴(kuò)充后的Ti從常態(tài)遷移到就緒態(tài)。當(dāng)Ti節(jié)點(diǎn)被指派的用戶進(jìn)行了相關(guān)操作并提交工作流引擎時(shí)，工作流引擎消耗Pi中的token，并為P1產(chǎn)生token，該token的產(chǎn)生再次使T2進(jìn)入了就緒態(tài)，對(duì)于節(jié)點(diǎn)T2來說，這一次的就緒和第一次的就緒已經(jīng)截然不同了，再次就緒時(shí)，實(shí)際上已經(jīng)完成了自由擴(kuò)充流程節(jié)點(diǎn)Ti的操作。 根據(jù)自由擴(kuò)充的活動(dòng)結(jié)點(diǎn)是否需要返回主流程、自由擴(kuò)充的活動(dòng)結(jié)點(diǎn)執(zhí)行完畢后如何返回主流程等信息，可以匯總出如下情況。TTT(a)(b)(c)圖21：自由擴(kuò)充節(jié)點(diǎn)類型 為了更方便對(duì)這三種類型的自由流程結(jié)點(diǎn)擴(kuò)充進(jìn)行討論，我們分別為它們進(jìn)行命名：（a）協(xié)辦、（b）委托、（c）通知。A協(xié)辦 在該擴(kuò)充模式下，主流程中發(fā)起自由流程擴(kuò)充的節(jié)點(diǎn)（后面簡(jiǎn)稱為主節(jié)點(diǎn)）在創(chuàng)建了自由擴(kuò)充活動(dòng)節(jié)點(diǎn)（后面簡(jiǎn)稱擴(kuò)充節(jié)點(diǎn)）的同時(shí)要求擴(kuò)充節(jié)點(diǎn)在執(zhí)行完成時(shí)必須返回主節(jié)點(diǎn)。當(dāng)工作流引擎在處理這樣的擴(kuò)充指令時(shí)，工作流引擎對(duì)模型實(shí)例所做的操作為：為主節(jié)點(diǎn)擴(kuò)充一個(gè)輸出庫(kù)所，并為其設(shè)置token，創(chuàng)建一個(gè)擴(kuò)充節(jié)點(diǎn)，并將擴(kuò)充的庫(kù)所作為其輸入庫(kù)所，同時(shí)創(chuàng)建外向弧連接擴(kuò)充節(jié)點(diǎn)到主節(jié)點(diǎn)的所有輸入庫(kù)所上。這樣，在主節(jié)點(diǎn)創(chuàng)建了擴(kuò)充節(jié)點(diǎn)并使其就緒后，主節(jié)點(diǎn)將從原來的就緒態(tài)退轉(zhuǎn)為常態(tài)，等待擴(kuò)充節(jié)點(diǎn)的返回操作再次使能自己。從該過程的描述中可以看出，該過程非常類似現(xiàn)實(shí)生活中本來應(yīng)該由主節(jié)點(diǎn)這個(gè)人獨(dú)立處理的事情，主節(jié)點(diǎn)卻希望臨時(shí)請(qǐng)求擴(kuò)充節(jié)點(diǎn)這個(gè)人來協(xié)同完成，主節(jié)點(diǎn)希望基于擴(kuò)充節(jié)點(diǎn)所做出的操作進(jìn)一步?jīng)Q定自己如何來處理這件事情，因此，我們將這種節(jié)點(diǎn)擴(kuò)充模式形象的稱為協(xié)辦，即請(qǐng)求協(xié)同辦理的意思。B委托 在該擴(kuò)充模式下，主節(jié)點(diǎn)在創(chuàng)建了擴(kuò)充節(jié)點(diǎn)的同時(shí)告知擴(kuò)充節(jié)點(diǎn)在執(zhí)行完成時(shí)返回主節(jié)點(diǎn)在主流程中的后繼節(jié)點(diǎn)。當(dāng)工作流引擎在處理這樣的擴(kuò)充指令時(shí)，工作流引擎對(duì)模型實(shí)例所做的操作為：為主節(jié)點(diǎn)擴(kuò)充一個(gè)輸出庫(kù)所，并為其設(shè)置token，創(chuàng)建一個(gè)擴(kuò)充節(jié)點(diǎn)，并將擴(kuò)充的庫(kù)所作為其輸入庫(kù)所，同時(shí)創(chuàng)建外向弧連接擴(kuò)充節(jié)點(diǎn)到主節(jié)點(diǎn)的所有輸出庫(kù)所上。同a協(xié)辦模式不同的是擴(kuò)充節(jié)點(diǎn)的外向弧連接的不是主節(jié)點(diǎn)的輸入庫(kù)所而是主節(jié)點(diǎn)的所有輸出庫(kù)所。這樣，在主節(jié)點(diǎn)創(chuàng)建了擴(kuò)充節(jié)點(diǎn)并使其就緒后，主節(jié)點(diǎn)將從原來的就緒態(tài)退轉(zhuǎn)為常態(tài)，主節(jié)點(diǎn)已經(jīng)不再需要等待擴(kuò)充節(jié)點(diǎn)返回了。從該過程的描述中可以看出，該過程非常類似現(xiàn)實(shí)生活中本來應(yīng)該由主節(jié)點(diǎn)這個(gè)人處理的事情，主節(jié)點(diǎn)卻托付給了擴(kuò)充節(jié)點(diǎn)這個(gè)人來完成，當(dāng)擴(kuò)充節(jié)點(diǎn)完成該事情返回主流程時(shí)，對(duì)主流的推進(jìn)效果等價(jià)于該任務(wù)由主節(jié)點(diǎn)處理并推進(jìn)流程的效果，因此，我們將這種節(jié)點(diǎn)擴(kuò)充模式形象的稱為委托，即委托他人代辦的意思。C通知 在該擴(kuò)充模式下，主節(jié)點(diǎn)在創(chuàng)建了擴(kuò)充節(jié)點(diǎn)并對(duì)其進(jìn)行使能操作時(shí)不要求擴(kuò)充節(jié)點(diǎn)返回主流程。當(dāng)工作流引擎在處理這樣的擴(kuò)充指令時(shí)，工作流引擎對(duì)模型實(shí)例所做的操作為：為主節(jié)點(diǎn)擴(kuò)充一個(gè)輸出庫(kù)所，并為其設(shè)置token，創(chuàng)建一個(gè)擴(kuò)充節(jié)點(diǎn)，并將擴(kuò)充的庫(kù)所作為其輸入庫(kù)所。同a協(xié)辦、b委托不同，在通知模式下，工作流引擎并不為擴(kuò)充節(jié)點(diǎn)創(chuàng)建外向弧。這樣，在主節(jié)點(diǎn)創(chuàng)建了擴(kuò)充節(jié)點(diǎn)并使其就緒后，主節(jié)點(diǎn)消耗其輸入庫(kù)所的token，狀態(tài)從就緒態(tài)遷移到激發(fā)態(tài)，為其所有輸出庫(kù)所產(chǎn)生token。從該過程的描述中可以看出，該過程非常類似現(xiàn)實(shí)生活中檔主節(jié)點(diǎn)這個(gè)人在處理一件事情后向擴(kuò)充節(jié)點(diǎn)這個(gè)人發(fā)個(gè)通知的動(dòng)作，目的在于告知擴(kuò)充節(jié)點(diǎn)。因此，我們將這種節(jié)點(diǎn)擴(kuò)充模式形象的稱為通知。 嵌套流程或稱為子流程支持，是指流程模型中的若干活動(dòng)結(jié)點(diǎn)所對(duì)應(yīng)的是一些獨(dú)立的流程，這些獨(dú)立的流程在流程模型定義的時(shí)候被父流程所引用并作為父流程的一部分，同父流程中其他活動(dòng)結(jié)點(diǎn)共同構(gòu)成完整的流程模型，被引用的流程模型相對(duì)引用它的流程模型來說是子流程，引用了子流程作為流程模型一部分的流程模型就被稱為嵌套流程。嵌套流程是一種高級(jí)的流程模型，也是大多數(shù)企業(yè)經(jīng)營(yíng)流程建模所使用最多的流程模型類型。 嵌套流程的應(yīng)用具有很多優(yōu)點(diǎn)，例如，因?yàn)榍短琢鞒痰拇嬖?，可以使?duì)復(fù)雜的企業(yè)經(jīng)營(yíng)流程建模過程進(jìn)行層次化的劃分，可以采用自頂向下、或自底向上的方式進(jìn)行復(fù)雜流程的建模，當(dāng)將一個(gè)復(fù)雜的流程層層分解為一個(gè)個(gè)相對(duì)簡(jiǎn)單的可實(shí)施的子流程時(shí)，對(duì)復(fù)雜的企業(yè)經(jīng)營(yíng)流程的建模就只需要引用這些已經(jīng)定義好的子流程就可以了。同時(shí)，嵌套流程的支持還增加了對(duì)企業(yè)已有流程模型的復(fù)用性，減輕流程建模的工作量。另外，嵌套流程的支持也為企業(yè)對(duì)其經(jīng)營(yíng)過程進(jìn)行分析和企業(yè)流程重組以達(dá)到最優(yōu)配置提供了很好的操作平臺(tái)。 嵌套流程的支持始終是一些產(chǎn)品化的工作流管理系統(tǒng)所追求的目標(biāo)，特別是希望為企業(yè)的業(yè)務(wù)系統(tǒng)提供業(yè)務(wù)工作流程管理的系統(tǒng)來說，能夠?qū)崿F(xiàn)嵌套流程的支持是尤其重要的。嵌套流程的重要性也帶來了其技術(shù)實(shí)現(xiàn)上的高難度，因此，目前的工作流管理系統(tǒng)軟件中，能夠很好的支持嵌套流程的非常有限。本工作流管理系統(tǒng)從設(shè)計(jì)時(shí)考慮了對(duì)嵌套流程的支持，并從理論和實(shí)現(xiàn)技術(shù)上進(jìn)行了探索，在本節(jié)后面論述中將作詳細(xì)的說明。 T1T3T2T4子流程模型父流程模型圖22：嵌套流程圖解圖22展示的是嵌套流程的邏輯模型圖解，處于頂層的父流程模型是由4個(gè)變遷、6個(gè)庫(kù)所組成的。其中，變遷T3是個(gè)特殊的變遷，和其他的變遷不同，T3在模型定義時(shí)并不像其他的變遷那樣被關(guān)聯(lián)到某個(gè)具體的任務(wù)實(shí)體上，而是被指定為某個(gè)已有的子流程模型的引用，我們稱T3這樣的變遷為子流程變遷，相對(duì)的，稱TTT4這樣的變遷為任務(wù)實(shí)體變遷。子流程變遷同任務(wù)實(shí)體變遷一樣具有變遷的基本的3種狀態(tài)，所不同的是，子流程變遷在其狀態(tài)遷移時(shí)工作流引擎所執(zhí)行的動(dòng)作和任務(wù)實(shí)體變遷狀態(tài)遷移時(shí)工作流引擎所執(zhí)行的動(dòng)作是不同的。具體來說，當(dāng)子流程變遷T3滿足了從常態(tài)向就緒態(tài)遷移的條件時(shí)，工作流引擎會(huì)將T3的輸入庫(kù)所中的token鎖定，當(dāng)工作流引擎進(jìn)一步判定出T3為一個(gè)子流程變遷時(shí)，工作流引擎將根據(jù)模型定義時(shí)為T3所指定的子流程的引用找到該子流程的模型定義數(shù)據(jù)并進(jìn)行實(shí)例化該子流程的操作。實(shí)例化該子流程的同時(shí)，工作流引擎會(huì)將父流程的標(biāo)示以及引用該子流程的變遷T3的標(biāo)示傳遞給子流程實(shí)例的上下文，以便子流程實(shí)例執(zhí)行完成時(shí)返回。工作流引擎實(shí)例化子流程的操作將會(huì)在該子流程實(shí)例的起始庫(kù)所中放置token，于是，該子流程實(shí)例的調(diào)度運(yùn)行將依據(jù)正常的流程實(shí)例被工作流引擎所管理。與此同時(shí)，父流程中變遷T3的狀態(tài)一直保持就緒態(tài)，直到因其而實(shí)例化的子流程被調(diào)度執(zhí)行完畢，當(dāng)工作流引擎判斷出子流程已經(jīng)執(zhí)行完畢時(shí)，工作流引擎從子流程實(shí)例的上下文中獲得該子流程的父流程標(biāo)示以及引用該子流程的變遷的標(biāo)示，工作流引擎此時(shí)就可以根據(jù)獲得的父流程以及子流程變遷的標(biāo)示，對(duì)子流程變遷T3進(jìn)行狀態(tài)的遷移，即將T3的狀態(tài)從就緒態(tài)遷移到激發(fā)態(tài)，消耗其輸入庫(kù)所中鎖定的token，為其輸出庫(kù)所產(chǎn)生token，推進(jìn)流程的執(zhí)行。至此，T3所引用的子流程就被工作流引擎成功調(diào)度并執(zhí)行返回推進(jìn)了父流程的執(zhí)行。 任務(wù)表在工作流管理系統(tǒng)中處于一個(gè)非常重要的位置，雖然它的結(jié)構(gòu)比較簡(jiǎn)單。任務(wù)表是工作流引擎同應(yīng)用系統(tǒng)使用人員之間進(jìn)行交互的窗口，如圖23。工作流引擎任務(wù)表操作人員放置任務(wù)取得任務(wù)提交任務(wù)通知引擎工作平臺(tái)圖23：任務(wù)表的位置示意圖 工作流引擎在對(duì)