【正文】 ameters傳遞給過程的參數(shù)的列表Participants用來實(shí)現(xiàn)過程的，資源列表Process Header說明過程特性的元素集Redefinable Header包和過程定義都可以使用的元素、屬性集Transitions變遷列表過程定義的XML Shema：xsd:element name=WorkflowProcess xsd:plexType xsd:sequence xsd:element ref=xpdl:ProcessHeader/ xsd:element ref=xpdl:RedefinableHeader minOccurs=0/ xsd:element ref=xpdl:FormalParameters minOccurs=0/ xsd:element ref=xpdl:DataFields minOccurs=0/ xsd:element ref=xpdl:Participants minOccurs=0/ xsd:element ref=xpdl:Applications minOccurs=0/ xsd:element ref=xpdl:ActivitySets minOccurs=0/ xsd:element ref=xpdl:Activities minOccurs=0/ xsd:element ref=xpdl:Transitions minOccurs=0/ xsd:element ref=xpdl:ExtendedAttributes minOccurs=0/ /xsd:sequence xsd:attribute name=Id type=xsd:NMTOKEN use=required/ xsd:attribute name=Name type=xsd:string/ xsd:attribute name=AccessLevel xsd:simpleType xsd:restriction base=xsd:NMTOKEN xsd:enumeration value=PUBLIC/ xsd:enumeration value=PRIVATE/ /xsd:restriction /xsd:simpleType /xsd:attribute /xsd:plexType /xsd:element 活動(dòng)(Activity)活動(dòng)定義用來說明構(gòu)成工作流過程的每一個(gè)基本活動(dòng)。另外，數(shù)據(jù)訪問限制、轉(zhuǎn)移判斷都可以進(jìn)行定義。其他屬性的用法是由活動(dòng)的類型來決定的，活動(dòng)類型如圖26所示。表22 元素活動(dòng)的屬性和子元素Table 22 Attributes and subelements of activity element標(biāo)簽語義描述屬性Id活動(dòng)IDName活動(dòng)名稱子元素Route路徑活動(dòng)BlockActivity執(zhí)行一個(gè)活動(dòng)集（ActivitySet）的活動(dòng)，即塊活動(dòng)Implementation“規(guī)則”活動(dòng)，除路徑活動(dòng)外，其他的活動(dòng)必須有此屬性。如果活動(dòng)中的沒有使用此屬性，那么將使用過程定義中所定義的優(yōu)先級(jí)優(yōu)先級(jí)用自然數(shù)來標(biāo)記，從0開始，數(shù)越大優(yōu)先級(jí)越高Deadline說明最終期限，如果到達(dá)了最終期限必須措施Limit期望的過程持續(xù)時(shí)間，從過程開始計(jì)算。表23中詳細(xì)描述了變遷的屬性以及包含的子元素所對(duì)應(yīng)的語義描述。定義元模型如圖27所示。其中無色的矩形框表示的元素來源于PIM層工作流模型，此類元素的定義與PIM層一致，灰色矩形框表示的元素來源于XPDL的元素。因此，可執(zhí)行工作流模型是在符合XPDL規(guī)范的前提下，通過充分使用XPDL中對(duì)各個(gè)元素實(shí)體留有的擴(kuò)展屬性表達(dá)一個(gè)業(yè)務(wù)流程。本節(jié)分別對(duì)各個(gè)元素的擴(kuò)展屬性進(jìn)行描述。對(duì)過程定義的擴(kuò)展屬性如表24所示。關(guān)聯(lián)集成流程和內(nèi)部流程兩種類型將工作流過程定義分為內(nèi)部流程和關(guān)聯(lián)集成流程兩個(gè)層次。內(nèi)部業(yè)務(wù)流程與XPDL中的過程定義類似，它通過業(yè)務(wù)活動(dòng)和事件的互相觸發(fā)來描述一個(gè)業(yè)務(wù)流程的。關(guān)聯(lián)集成流程關(guān)注業(yè)務(wù)構(gòu)件之間的執(zhí)行次序，關(guān)聯(lián)集成流程的活動(dòng)只有關(guān)聯(lián)活動(dòng)、集成活動(dòng)、關(guān)聯(lián)集成活動(dòng)和子流程活動(dòng)。而其它三種活動(dòng)將兩個(gè)子流程活動(dòng)關(guān)聯(lián)起來，從而將兩個(gè)業(yè)務(wù)構(gòu)件間的流轉(zhuǎn)方向表現(xiàn)出來。通過關(guān)聯(lián)活動(dòng)將企業(yè)中的一個(gè)跨業(yè)務(wù)構(gòu)件的業(yè)務(wù)流程描述清楚。(1)描述ICEMDA中三種特殊類型的活動(dòng)：關(guān)聯(lián)活動(dòng)、集成活動(dòng)和關(guān)聯(lián)集成活動(dòng)，以及這三類活動(dòng)連接的上下游業(yè)務(wù)構(gòu)件的相關(guān)屬性。(3)活動(dòng)對(duì)應(yīng)的業(yè)務(wù)構(gòu)件的操作和可編輯的數(shù)據(jù)項(xiàng)。定義活動(dòng)的擴(kuò)展屬性如表25所示。在PIM層工作流模型中，事件是附加在控制流上的，表示只有此事件產(chǎn)生，控制流才得以執(zhí)行。擴(kuò)展的屬性如表26所示。條件表達(dá)式由大小關(guān)系操作符、邏輯關(guān)系操作符、小括號(hào)、變量、和常量組成，條件表達(dá)式是由上述四種種類的元素按照java語言中的規(guī)則組合得到的。表27 條件表達(dá)式的組成元素Table 27 Elements of the XPression元素種類運(yùn)用符號(hào)關(guān)系運(yùn)算符、=、= 、!=、==邏輯操作符amp。、 ||、 ^數(shù)學(xué)運(yùn)算符+、*、/、%小括號(hào)（）變量定義的工作流相關(guān)數(shù)據(jù)變量以及BC的數(shù)據(jù)項(xiàng)ID常量類型與java中的相同計(jì)算時(shí)的優(yōu)先級(jí)順序由高到低為：小括號(hào)，正負(fù)號(hào)，乘除求余，加減，關(guān)系運(yùn)算符，邏輯操作符。一個(gè)完整的細(xì)節(jié)性的描述可以從文獻(xiàn)[4]中獲得。將可執(zhí)行工作流模型定義為一個(gè)二十六元組：其中，各分量描述如下：(1)Transitions表示工作流過程的變遷集合。(2)Activities表示工作流過程的活動(dòng)集合。(3)Participants是工作流過程的參與者集合。(4)Events是工作流過程中引用到的事件集合。(5)Xpressions是工作流過程中引用到的條件表達(dá)式集合。(7)每一個(gè)Variable又是一個(gè)二元組Variable=(ID,DataType,BCAttrID),其中，ID表示變量的標(biāo)識(shí)，DataType是變量的數(shù)據(jù)類型，BCAttrID標(biāo)記了變量對(duì)應(yīng)的業(yè)務(wù)構(gòu)件的某個(gè)屬性。(9)Fi表示工作流過程結(jié)束節(jié)點(diǎn)。(15)PostCondAct與PreCondAct類似，是一個(gè)為活動(dòng)指定后置條件的函數(shù)，類似的，后置條件也是活動(dòng)的可選項(xiàng)，因此也是一個(gè)部分函數(shù)。(17)IN是一個(gè)給出進(jìn)入弧與活動(dòng)的邏輯關(guān)系：(18)Out是一個(gè)給出進(jìn)入弧與活動(dòng)的邏輯關(guān)系：(19)IsAssoci是一個(gè)為每一個(gè)活動(dòng)指定其是否是關(guān)聯(lián)活動(dòng)的函數(shù)：(20)IsInte是一個(gè)為每一個(gè)活動(dòng)指定其是否是集成活動(dòng)的函數(shù)：(21)IsAssAndInt是一個(gè)為每一個(gè)活動(dòng)指定其是否是關(guān)聯(lián)集成活動(dòng)的函數(shù)：(22)ParKind是一個(gè)為每一個(gè)參與者指定參與者類型的函數(shù)：(23)SourceTrans是一個(gè)將每一個(gè)變遷與它的源活動(dòng)關(guān)聯(lián)起來函數(shù)：(24)TargetTrans是一個(gè)將每一個(gè)變遷與它的目標(biāo)活動(dòng)關(guān)聯(lián)起來函數(shù)：(25)TransKind也是一個(gè)函數(shù)，它為變遷指定其所屬的類型：(26)TransEvent為一個(gè)函數(shù)，它為變遷指定附加的事件，只有在產(chǎn)生相應(yīng)的事件后，該變遷才能被經(jīng)過執(zhí)行：(27)TransCond也為一個(gè)函數(shù)，它為附加條件型的控制流指定附加的條件，只有在滿足指定的條件后，控制流才能被經(jīng)過執(zhí)行：(28)EventKind是一個(gè)為事件指定事件類型的函數(shù)： PIM到PSM工作流元模型的自動(dòng)映射PIM層工作流模型是采用圖形化的方法闡述一個(gè)經(jīng)營過程的，、元素的圖形化表示以及元素之間的關(guān)系。PSM層可執(zhí)行工作流模型來源于PIM層的信息，它們的不同之處有三點(diǎn)。(2)作用不同 PIM層工作流模型的主要作用用于開發(fā)人員將現(xiàn)實(shí)世界的業(yè)務(wù)流程抽象成模型；而PSM層可執(zhí)行工作流模型的主要作用是用計(jì)算機(jī)能夠執(zhí)行語言描述PIM層已建立的模型，側(cè)重于可執(zhí)行的特性。因此，PSM層可執(zhí)行工作流模型的元素和信息會(huì)多一些。但PSM層可執(zhí)行工作流模型中的絕大部分信息是可以從PIM層獲取的，而無需再從頭做起，否則就失去了MDA的特點(diǎn)，因此研究PIM到PSM層工作流模型的自動(dòng)映射是非常必要的。元模型是特殊的模型，它的建模對(duì)象是建模語言。 基于有限自動(dòng)機(jī)的映射自動(dòng)映射的過程可以模型化為一個(gè)有限自動(dòng)機(jī)(S,L,S0,→,S1)，其中S表示狀態(tài)集合，S0和S1是S的子元素，分別表示初始和結(jié)束狀態(tài)，L是標(biāo)簽的集合，而→∈SLS表示轉(zhuǎn)換函數(shù)[30,31]。(2)MapBA是一個(gè)為PIM層工作流模型的每一個(gè)業(yè)務(wù)活動(dòng)轉(zhuǎn)換成相應(yīng)的PSM層的活動(dòng)的函數(shù)。將MapFlows形式定義如下：(4)MapDecisions是一個(gè)將PIM層工作流模型的每一個(gè)決策節(jié)點(diǎn)轉(zhuǎn)換成相應(yīng)的PSM層的路徑活動(dòng)的函數(shù)。將MapRoles形式定義如下：(6)MapEvents是一個(gè)將PIM層工作流模型的每一個(gè)事件轉(zhuǎn)換成相應(yīng)的PSM層的事件的函數(shù)。將MapConnectors形式定義如下：(8)MapConds是一個(gè)將PIM層工作流模型的每一個(gè)條件轉(zhuǎn)換成相應(yīng)的PSM層的條件表達(dá)式的函數(shù)。將MapStart形式定義如下：(10)MapFinish是一個(gè)將PIM層工作流模型的每一個(gè)控制流轉(zhuǎn)換成相應(yīng)的PSM層的變遷的函數(shù)。這些函數(shù)在轉(zhuǎn)換過程的最后會(huì)變成完全函數(shù)。實(shí)際上，在整個(gè)轉(zhuǎn)換的過程中這些元素并不會(huì)改變。因此，對(duì)一個(gè)狀態(tài)p來說，表達(dá)式p(x)表示x在狀態(tài)p的取值。換句話說，它表示已經(jīng)轉(zhuǎn)換完成的業(yè)務(wù)活動(dòng)集合。定義域。自動(dòng)映射的主要思想就是匹配業(yè)務(wù)活動(dòng)到相應(yīng)類型的活動(dòng)、控制流到變遷、決策節(jié)點(diǎn)到路徑活動(dòng)、連接器到路徑活動(dòng)、事件到事件、角色到參與者，具體的元素及元素關(guān)系如下所述。因此，將決策節(jié)點(diǎn)映射為路徑活動(dòng)，如果僅僅將決策節(jié)點(diǎn)映射完畢，不再作任何轉(zhuǎn)換，將會(huì)存在如下問題：(1)丟失信息 決策節(jié)點(diǎn)包含了多個(gè)條件表達(dá)式，但在PSM可執(zhí)行工作路模型中，路徑活動(dòng)并不包含任何條件表達(dá)式，它僅僅起了一個(gè)路徑的轉(zhuǎn)移作用，這就會(huì)引起條件表達(dá)式信息的丟失。針對(duì)上述兩點(diǎn)不足，提出特定的決策節(jié)點(diǎn)映射的方法和步驟如下，圖29描述了這個(gè)映射的過程和方法。(2)對(duì)于決策節(jié)點(diǎn)通過控制流連接的XOR連接器co，直接轉(zhuǎn)換成路徑活動(dòng)y的Out屬性，并且這個(gè)屬性的取值為XOR，即Out(y)= XOR。圖29 決策節(jié)點(diǎn)的映射Figure 29 The mapping of the decisions node并定義形式化的映射規(guī)則為： 連接器映射規(guī)則連接器描述了控制流間的邏輯關(guān)系，將連接器映射為可執(zhí)行工作流模型的路徑活動(dòng)，而對(duì)于連接器的取值，將其映射為路徑活動(dòng)的In和Out，對(duì)于XOR和OR，都映射為XORJoin和XORSplit，而AND映射為ANDJoin和ANDSplit，映射如圖210所示。此外，又由于在PIM層工作流模型的事件是附加在控制流上的，因此，必須將映射后的事件附加到控制流所映射的變遷上。根據(jù)控制流的源和目標(biāo)元素的不同，可以將控制流分為七種類型。對(duì)于每一種類型分別定義相應(yīng)的規(guī)則描述其映射規(guī)則。最后定義六條映射規(guī)則就可將控制流映射為變遷。他們唯一的不同是控制流的源和目標(biāo)元素的映射元素存在不同。然后描述了PIM層工作流模型中包含的圖形元素以及圖形之間的連接關(guān)系。最后，為了能夠?qū)崿F(xiàn)PIM層工作流模型到PSM層工作流模型的自動(dòng)映射，分別對(duì)PIM和PSM層的工作流模型進(jìn)行了形式化定義，并在形式化定義的基礎(chǔ)上，定義了一個(gè)有限自動(dòng)機(jī)和映射規(guī)則來實(shí)現(xiàn)二者的自動(dòng)映射。WfMC定義的工作流管理系統(tǒng)的體系結(jié)構(gòu)如圖31所示[1]。然后生成的過程定義作為輸入由工作流執(zhí)行服務(wù)器來解釋執(zhí)行，其中工作流執(zhí)行服務(wù)器是由一個(gè)或多個(gè)工作流引擎來解釋執(zhí)行過程定義的。當(dāng)過程定義中的活動(dòng)需要人機(jī)交互時(shí)，通過任務(wù)表跟任務(wù)表管理器進(jìn)行交互，任務(wù)表管理器最終跟一般用戶進(jìn)行交互，從而達(dá)到過程執(zhí)行的目的，在此期間為了保證過程的執(zhí)行，需要維護(hù)工作流控制數(shù)據(jù)。過程執(zhí)行完成后，相應(yīng)的業(yè)務(wù)過程就完成了[32]。工作流引擎的另一個(gè)功能是與外部資源交互完成各項(xiàng)活動(dòng)，業(yè)務(wù)過程的執(zhí)行離不開人或者系統(tǒng)的參與，這就對(duì)應(yīng)了參考模型的接口2和3。圖32 WfMC 定義的工作流參考模型Figure 32 Workflow reference model defined by WfMC(1)接口1過程定義輸入輸出接口。實(shí)現(xiàn)了建模環(huán)境和運(yùn)行環(huán)境的分離，使用某種建模工具創(chuàng)建的模型可以運(yùn)行在不同的工作流產(chǎn)品上。此接口是工作流服務(wù)和客戶應(yīng)用之間的接口，這事最主要的接口規(guī)范，它約定所有客戶方應(yīng)用與工作流服務(wù)之間的功能操作方式。此接口是工作流機(jī)和直接調(diào)用的應(yīng)用程序之間的直接接口。(5)接口5工作流服務(wù)和工作流管理工具之間的接口。圖33 ICEMDA的工作流體系結(jié)構(gòu)Figure 33 Architecture of the ICEMDA workflow首先，工作流建模人員通過工作流模型建模工具對(duì)業(yè)務(wù)流程建模，生成了模型定義文件。用戶通過對(duì)業(yè)務(wù)構(gòu)件的操作來啟動(dòng)一個(gè)工作流實(shí)例或者發(fā)送操作完成后產(chǎn)生的相關(guān)事件，工作流引擎的事件管理器監(jiān)控業(yè)務(wù)構(gòu)件產(chǎn)生的事件，并調(diào)用相關(guān)的內(nèi)核程序處理，完成工作流實(shí)例的導(dǎo)航。在一個(gè)任務(wù)完成后，工作流引擎需要根據(jù)工作流模型定義中的信息，以及當(dāng)前任務(wù)處理后相應(yīng)的工作流相關(guān)數(shù)據(jù)取值，計(jì)算出下一個(gè)應(yīng)該實(shí)例化的活動(dòng)從而創(chuàng)建任務(wù)并通知相關(guān)人員或者調(diào)用相關(guān)工具。算法的已知條件有四個(gè)?；顒?dòng)定義用act表示，并且act∈。算法的輸出是下一個(gè)或下一些將被實(shí)例化的活動(dòng)定