【正文】 進(jìn)行監(jiān)控，達(dá)到提高辦事哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 2 效率、降低生產(chǎn)成本、提高企業(yè)生產(chǎn)經(jīng)營(yíng)管理水平和企業(yè)競(jìng)爭(zhēng)力的目標(biāo)。 WfMC 發(fā)布的參考模型定義了 工作流管理系統(tǒng) 和其他相關(guān)部分之間的接口 ，WfMC 的另一項(xiàng)成果 XPDL 規(guī)范定義了描述 工作流 聲明部分的 XML 結(jié)構(gòu)。 Geakopoulos 給出的工作流定義 是將一組任務(wù)組織起來(lái)完成某個(gè)經(jīng)營(yíng)過(guò)程 。這些參數(shù)包括對(duì)過(guò)程中每一個(gè)步驟的定義、步驟間的執(zhí)行順序、條件以及數(shù)據(jù)流的建立、每一步驟由誰(shuí)負(fù)責(zé)以及每個(gè)活動(dòng)所需要的應(yīng)用程序 [4]。 (3)系統(tǒng)運(yùn)行時(shí)間 功能 用戶(hù)與處理各活動(dòng)步驟的 外部應(yīng)用程序或者 IT 應(yīng)用工具之間的交互。工作流管理建立階段的功能主要是完成經(jīng)營(yíng)過(guò)程的計(jì)算機(jī)化的定義，也就是完成過(guò)程建模的任務(wù) [9]。大多數(shù)工作流研究都是從描述過(guò)程開(kāi)始的，比如流程圖、狀態(tài)圖、活動(dòng)網(wǎng)絡(luò)圖以及 Keller 等人提出的 事件過(guò)程鏈模型 (Eventdriven Process Chain, EPC)等等。 這種方法的缺點(diǎn)是其相關(guān)理論研究 偏少，因?yàn)檫@種方法強(qiáng)調(diào) 了工作流墨西哥能的 直觀(guān)性和易理解性，而直觀(guān)性和易理解性通常與系統(tǒng)的具體實(shí)現(xiàn)關(guān)系密切 [10,11]。 基于狀態(tài)和活動(dòng)圖的建模方法是一種介于 Petri 網(wǎng)模型和圖形化模型之間的建模方法。 基于語(yǔ)言行為理論的建模方法 [20]是 從客戶(hù)方和服務(wù) 方之間的語(yǔ)言行為交互上對(duì)工作流進(jìn)行建模， ActionFlow 就是采用語(yǔ)言行為理論的工作流模型?？梢詮?四 個(gè)方面進(jìn)行分類(lèi) [2]： 按工作流模型分析 ， 根據(jù)工作流引擎支持的工作流模型，可將其分為符合XPDL 和不符合 XPDL 的。 按應(yīng)用級(jí)別分 類(lèi) ， 可將工作流引擎分為嵌入式工作流引擎和 獨(dú)立式工作流引擎。 按實(shí)現(xiàn)框架分類(lèi) ， 又可將工作流引擎分為基于關(guān)系數(shù)據(jù)庫(kù)的、基于 .的、基于 J2EE 的、基于 CORBA 的等等。 分析現(xiàn)在的工作流引擎主要存在 如下四點(diǎn)問(wèn)題 。 (4)可集成程度差 工作流引擎不可避免得需要與外部應(yīng)用程序進(jìn)行交互。 MDA 以計(jì)算機(jī)可以理解的模型為中心，把軟件開(kāi)發(fā)提升到更高一級(jí)的抽象級(jí)別 —— 模型級(jí)別 ， 從而達(dá)到分離問(wèn)題與業(yè)務(wù)邏輯和具體實(shí)現(xiàn)平臺(tái)的目的，保護(hù) 開(kāi)發(fā)者 已建立的“業(yè)務(wù)邏輯”安然無(wú)恙，避免了“平臺(tái)易變性”的風(fēng)險(xiǎn) [22]。它 能夠創(chuàng)造出機(jī)器可讀以 及高度抽象的模型，這些模型獨(dú)立于實(shí)現(xiàn)的技術(shù)，以標(biāo)準(zhǔn)化的方式存儲(chǔ)。一方面是研究如何提供模型定義和轉(zhuǎn)換的高自動(dòng)化工具，通常是針對(duì)特定領(lǐng)域的，其復(fù)雜的轉(zhuǎn)換規(guī)則是可以預(yù)定義的。此外，傳統(tǒng)的工作流模型由于追求通用性， 因而 沒(méi)有特殊考慮企業(yè)應(yīng)用中業(yè)務(wù)流程 的 持久化數(shù)據(jù)多、多用戶(hù)、業(yè)務(wù)邏輯復(fù)雜 等專(zhuān)有的特點(diǎn) 。在使用了這種方法后 ， 可以實(shí)現(xiàn)基于工作流技術(shù)，從 PIM自動(dòng)生成相應(yīng)的 PSM 可執(zhí)行工作流模型定義 。同時(shí)，定義了工作流引擎與框架和業(yè)務(wù)構(gòu)件之間的交互模式，對(duì)三哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 7 者之間的交互數(shù)據(jù)、交互格式以及交互過(guò) 程做了詳細(xì)描述。 核心功能包括了工作流實(shí)例管理器、轉(zhuǎn)移路徑選擇器、條件判斷器、任務(wù)分配器等模塊。 圖 11 研究 思路及問(wèn)題鏈 Figure 11 The research route and problem chain 哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 8 第 2章 支持 ICEMDA 的工作流模型 ICEMDA 簡(jiǎn)介 ICEMDA 的全稱(chēng)是 Interoperable Configurable Executable Model Driven Architecture，即可配置的可互操作的 可執(zhí)行的 模型驅(qū)動(dòng) 構(gòu)架 。 ICECIM 層是計(jì)算無(wú)關(guān)模型， 通過(guò) GRAI 建模方法對(duì)現(xiàn)實(shí)哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 9 世界的企業(yè)業(yè)務(wù)抽象成企業(yè)軟件應(yīng)用中的一系列過(guò)程，形成了一系列的模型和視圖。 因此， ICEPIM是 面向?qū)ο蟮?模型 。進(jìn)一步，以 BC 模型 為基礎(chǔ)，轉(zhuǎn)換或建立 ESA 的靜態(tài)配置模型和執(zhí)行工作流模型 (Execute WorkFlow Model)。業(yè)務(wù)對(duì)象是指企業(yè)中所有物理資源和信息資源在信息系統(tǒng)中的抽象，通過(guò)一組連續(xù)的操作，使得業(yè)務(wù)對(duì)象的屬性不斷改變，最終完成對(duì)一個(gè)業(yè)務(wù)對(duì)象的處理過(guò)程。 基于業(yè)務(wù)對(duì)象的概念， ICEPIM 工作流模型需要描述 三個(gè) 方面的內(nèi)容 。 (3)業(yè)務(wù)活動(dòng)的執(zhí)行者 業(yè)務(wù)活動(dòng)由執(zhí)行者完成，在 ICEMDA 建模體系中，此執(zhí)行者 是來(lái)自角色模型中的角色。 控 制 流業(yè) 務(wù) 活 動(dòng)業(yè) 務(wù) 對(duì) 象B O結(jié) 束連 接 器條 件 表 達(dá)式角 色事 件前 置 條 件后 置 條 件O RX O RA N D1111決 策 節(jié) 點(diǎn)1人 工 事 件 時(shí) 間 事 件開(kāi) 始轉(zhuǎn) 移 條 件1111111110 . . *111**11 . . 21111 . . *11工 作 流 相關(guān) 數(shù) 據(jù)屬 性1 . . *111*11*輸 出 數(shù) 據(jù)輸 出 數(shù) 據(jù)連 接 線(xiàn)輸 入 數(shù) 據(jù)輸 入 數(shù) 據(jù)連 接 線(xiàn)0 . . *10 . . *11111狀 態(tài)111 . . *11 圖 22 PIM 層工作流元模型 Figure 22 Metamodel of the ICEPIM workflow model 哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 11 在 PIM 層工作流模型中，無(wú)論是表單的處理順序，還是抽象的信息處理動(dòng)作與決策過(guò)程，都可以通過(guò)其基本組成元素 —— 業(yè)務(wù)活動(dòng)來(lái)統(tǒng)一進(jìn)行描述。 (1)業(yè)務(wù) 活動(dòng) 業(yè)務(wù)活動(dòng) 是由一系列具有一定邏輯關(guān)系的業(yè)務(wù)操作組成的功能實(shí)體，是使業(yè)務(wù)對(duì)象狀態(tài)發(fā)生變遷的業(yè)務(wù)操作的有限集合構(gòu)成。廣義的 事件是由外部環(huán)境、用戶(hù)或業(yè)務(wù)活動(dòng)產(chǎn)生的、表示特定的業(yè)務(wù)原因或業(yè)務(wù)時(shí)刻的一條消息，并觸發(fā)其他的業(yè)務(wù)活動(dòng)或業(yè)務(wù)過(guò)程的執(zhí)行。 (4)連接器 描述了 控制流 間的邏輯關(guān)系。 AND 表示 并發(fā)模式， 在此模式中， 多個(gè) 控制流 分支被無(wú)條件地并發(fā)執(zhí)行。角色權(quán)限主要體現(xiàn)在業(yè)務(wù)對(duì)象、屬性和業(yè)務(wù)活動(dòng)三個(gè)方面。 轉(zhuǎn)移條件是附加在控制流上的條件表達(dá)式，含義為只有條件表 達(dá)式結(jié)果為真的條件下其所附加的控制流才能被執(zhí)行，否則不執(zhí)行。業(yè)務(wù)活動(dòng)的輸入輸出數(shù)據(jù)在工作流模型中直接和業(yè)務(wù)活動(dòng)相連。首先由需求填寫(xiě)人制定一個(gè)采購(gòu)需求單， 而后 交由處長(zhǎng)審批， 最后 根據(jù)處長(zhǎng)的審批結(jié)果和審批金額分成副經(jīng)理審批 、 重新制定 和 審批結(jié)束 三個(gè)分支 。 , , , , , , , , , , , , , , , , , ,B u s in e s s A c ti v it ie s E v e n ts F lo w s R o le s D e c is i o n s C o n d it io n s C o n n e c to r s S ta r tF in is h A c tT y p e A c tB O I D A c tE x e c u te R o le A c tP r e C o n d A c tP o s tC o n d E v e n tT y p e F lo w T y p eS o u r c e F lo w T a r g e tF lo w F lo w E v e n t F lo w R e s u lt D ,e c iC o n d S ta r tA c t F in is h A c t?????? 其中，各分量描述如下： (1)BusinessActivities 表示 PIM 層工作流模型的業(yè)務(wù)活動(dòng) BusinessActivity 集合。 (5)Roles 是 PIM 層工作流模型的角色集合。 (9)Connectors 是 PIM 層工作流模型的連接器集合。 (12)ActType 是一個(gè)為每一個(gè)業(yè)務(wù)活動(dòng)指定活動(dòng)類(lèi)型函數(shù)： ? ?, , , ,A c tT y p e B u s in e s s A c ti v it ie s g e n e r ic a s s o c ia te in te g r a l a s s A n d I n t s u b fl o w?? 其中，活動(dòng)類(lèi)型包括：一般活動(dòng)、關(guān)聯(lián)活動(dòng)、集成活動(dòng)、關(guān)聯(lián)集成活動(dòng)、子流程活動(dòng)。 ? ?,F lo w T y p e F lo w s e v e n tA d d c o n d A d d n o n e?? (19)SourceFlow 和 TargetFlow 分別是為控制流 Flow 指定源和目標(biāo)的函數(shù)，控制流的流向有五種組合：業(yè)務(wù)活動(dòng)→連接器 ， 連接器→業(yè)務(wù)活動(dòng) ， 業(yè)務(wù)活動(dòng)→條件表達(dá)式 ， 條件表達(dá)式→連接器 ， 業(yè)務(wù)活動(dòng)→業(yè)務(wù)活動(dòng) ， →表示流向的意思 。 ? ?PF i n i s h A c t B u s i n e s s A c t i v i t i e s C o n n e c t o r s F i n i s h?? ??? 工作流模型必須遵循一定的約束，圖形元素之間的連接也會(huì)存在一定的約束，把這些無(wú)法用圖形化的方法表達(dá)出來(lái)的約束形式化定義如下： (1)只有連接器可以擁有多個(gè)發(fā)出控制流 ， 而業(yè)務(wù)活動(dòng)和決策點(diǎn)只能有一個(gè)發(fā)出控制流；結(jié)束節(jié)點(diǎn)和其他元素都沒(méi)有發(fā)出控制流。 ICEPSM 層各種模型的交互語(yǔ)言是 XML，因此，可執(zhí)行工作流模型采用XML 語(yǔ)言描述，以便為 ICEPSM 層其他模型提供互操作和轉(zhuǎn)換的方便，體現(xiàn)了 ICEMDA 體系的可互操作性。 XPDL 簡(jiǎn)介 XPDL 全稱(chēng)是 XML Process Definition Language ，是工作流管理聯(lián)盟（ WfMC）針對(duì)參考模型中接口一工作流過(guò)程定義接口提出的規(guī)范。 工 作 流 過(guò) 程 定 義系 統(tǒng) 環(huán) 境數(shù) 據(jù)工 作 流 相關(guān) 數(shù) 據(jù)工 作 流 參與 者 規(guī) 范應(yīng) 用 程 序聲 明工 作 流 過(guò)程 活 動(dòng)活 動(dòng) 集塊 活 動(dòng)人 員 庫(kù) 或組 織 模 型變 遷 信 息子 流 程 定義路 徑 活 動(dòng)1*1* 進(jìn) 入 發(fā) 出 調(diào) 用 由 ? ? 執(zhí) 行1*1*1*1*1*1* 圖 25 XPDL 中工作流過(guò)程定義元模型 Figure 25 Metamodel of the workflow process definition in XPDL XPDL 是一個(gè)通用的框架，這也是 XPDL 的一個(gè)重要特性，這個(gè)框架可以支持開(kāi)發(fā)者的特殊使用目的，而對(duì)外表現(xiàn)形式卻相同。下面分別描述其中的重要元素。 表 21 工作流過(guò)程定義的屬性和子元素 Table 21 Attributes and subelement of workflow process definition 標(biāo)簽 語(yǔ)義描述 屬性 Id 工作流過(guò)程 ID Name 工作流過(guò)程名 AccessLevel 過(guò) 程 的反。屬 性既可以作為管理相關(guān)數(shù)據(jù)被說(shuō)明，也可以作為運(yùn)行時(shí)數(shù)據(jù)被說(shuō)明，還可以作為 BPR 或者工作流過(guò)程模擬數(shù)據(jù)被說(shuō)明。 在 XPDL 規(guī)范中， WfMC 給出了一個(gè)工作流過(guò)程定義的元模型，這個(gè)元模型描述了過(guò)程定義所需要的上層實(shí)體，并且為過(guò)程定義劃分成相應(yīng)的過(guò)程模型、在不同的過(guò)程定義與模型中交叉使用公共定義數(shù)據(jù)提供了多方面的協(xié)定。 允許工作流模型進(jìn)行擴(kuò)展，是 XPDL 的一個(gè)關(guān)鍵 特性。因哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文 17 此， ICEPSM 層的可執(zhí)行工作流模型應(yīng)符合 XPDL 規(guī)范，以便各個(gè)組織和企業(yè)能夠協(xié)同工作。 ? ?? ?? ? ? ?? ?? ?111( 2)( 1 )(0xx C on ne c t or s c ar d T ar ge t Fl ow xx De c i si on s x Bus i ne ss Ac t i v i t i e s c ar d T ar ge t F l ow xc ar d T ar ge t Fl ow x??????? ? ? ???????? ? ? ? ? ???????????? (3)決策中心必須通過(guò)一個(gè)無(wú)任何附件條件的發(fā)出控制流，而此控制流流向一個(gè)連接器，并且此連接器是一個(gè) XOR。 De c i C o n d De c i s i o n s C o n d i t i o n s?? (24)StartAct 是一個(gè)將開(kāi)始節(jié)點(diǎn)映射到活動(dòng)的函數(shù)，描述了模型的開(kāi)始業(yè)務(wù)活動(dòng) 。 (14)ActExecuteRole 是為業(yè)務(wù)活動(dòng)指定執(zhí)行角色的函數(shù)： PA c t E x e c u t e R o l e B u s i n e s s A c t i v i t i e s R o l e s? ??? 采用部分函數(shù)的原因在于有些業(yè)務(wù)活動(dòng)并不需要指定角色執(zhí)行，比如subflow 類(lèi)型的活動(dòng)無(wú)需角色人員的參與便可完成。因此： ? ?, A N D O R X O RC o n n e c t o r C o