【正文】 過程定義 (WorkflowProcessDefinition) 過程定義詳細說明了構成工作流的元素，包括活動、轉移、應用程序和相關數(shù)據(jù)等實體的定義或者聲明。 WfMC 為工作流系統(tǒng)制定了 5 類功能接口，其中接口 1(過程定義輸入 /輸出接口 )包含了一個用于描述工作流過程定義的公共元模型，以及過程定義間進行相互轉換的 XML Schema。 ? ?? ?? ? ? ?? ?? ?111( 2)( 1 )(0xx C on ne c t or s c ar d So ur c e Fl ow xx D e c i si on s x Bus i ne ss Ac t i v i t i e s c ar d So ur c e F l ow xc ar d So ur c e Fl ow x??????? ? ? ???????? ? ? ? ? ???????????? (2)只有連接器可 以擁有多個進入控制流 ， 而業(yè)務活動和決策點只能有一個進入控制流；開始節(jié)點和其他元素都沒有進入控制流。 (13)ActBOID 是一個為業(yè)務活動指定其所對應的業(yè)務對象 ID 的函數(shù)： PA c t B O I D B u s i n e s s A c t i v i t i e s S t r i n g? ??? 上式中是一個部分函數(shù)，表明了業(yè)務活動也可不與任何業(yè)務對象相關聯(lián)，此為可選項。 (6)Decisions 是 PIM 層工作流模型的決策集合。 哈爾濱工業(yè)大學工學碩士學位論文 13 圖 24 采購需求單的制定審批流程 Figure 24 Making and auditing process of the purchase requirement order ICEPIM 工作流元模型的形式化定義 PIM 層工作流模型以業(yè)務活動為中心，通過控制流和連接器描述業(yè)務活動時序關系，從而表示一個業(yè)務流程。 前置條件是業(yè)務活動執(zhí)行前需要滿足的條件。 OR 表示多選多控制模式，在多選多模式下，可能有多個滿足條件的控制流分支 被選中執(zhí)行。 根據(jù)事件源可將事件分為兩類：時間事件和人工事件。同樣，不同業(yè)務活動之間的關系都可以用工作流的基本組成元素 —— 控制流來統(tǒng)一地進行描述。 (1)確定業(yè)務活動的時序關系 業(yè)務對象所包含的 業(yè)務活動之間的時序關系不一定都是順序的，所以工作流模型需要描述業(yè)務對象內(nèi)部以及業(yè)務對象之間各業(yè)務活動間的時序關系。 ICEMDA 的 Code 層是在平臺基礎上的，基于框架 和工作流引擎 的可配置的構件化系統(tǒng) 。每一個模型描述了 由企業(yè)業(yè)務到企業(yè)軟件應用這一過程抽象中某一個階段的成果 ， 每一個視圖描述了某一特定模型的某個側面。接著分析比較了此工作流引擎和開源工作流引擎 Shark。 本碩士論文的研究 內(nèi)容 本論文的主要工作是采用 ICEMDA 的方法對工作流建模，并設計實現(xiàn)一個工作流引擎對其提供執(zhí)行服務，主要的工作如 下所述： (1)ICEMDA 的工作流建模 在 ICEMDA 的環(huán)境下， 建立 ICEPIM 層工作流模型 ，它采用了 UML+的圖形對企業(yè)的業(yè)務流程建立模型；而后通過擴展XPDL 定義了 PSM 層可執(zhí)行工作流模型；最后在兩層工作流模型的基礎上，定義了一系列的自動映射規(guī)則實現(xiàn)轉換。另外一方面是開發(fā)各種 MDA 的通用工具，它可以通過配置第三方的插件或者擴展來支持 MDA 的實現(xiàn)，針對廣闊的應用領域實現(xiàn) MDA 的解決方案。在基于 MDA 的開發(fā)過程中，開發(fā)人員把注意力轉移到開發(fā)模型上， 將 更多的 精力用到 功能性需求的分析和設計，而不是過早的陷入具體的實現(xiàn)細節(jié)當中。 (1)沒有通用的工作流引擎 現(xiàn)今的工作流引擎產(chǎn)品大多數(shù)都限定在一個具體的領域 ，沒有一個適合所有領域的產(chǎn)品。嵌入式工作流引擎不能單獨運行，只能嵌入到系統(tǒng)內(nèi)部作為系統(tǒng)的一個組件運行。 工作流引擎綜述 及 其不足 工作流引擎是一個為工作流實例的執(zhí)行提供運行服務環(huán)境的軟件，它是工作流執(zhí)行服務的核心，是執(zhí)行企業(yè)經(jīng)營流程的“業(yè)務操作系統(tǒng)”的內(nèi)核。 Petri 網(wǎng)是完全形式化的，可以對模型進行準確的判斷和分析，非常易于計算機理解和自動實現(xiàn)。由于需要在計算機環(huán)境下運行，所以，工作流模型既要讓人讀懂，也要讓計算機能夠讀懂并能解釋所定義的業(yè)務過程。 而 工作流管理系統(tǒng)是 一個軟件系統(tǒng)，它完成工作流的定義和管理，并按照在計算機中預先定義好的工作流邏輯推進 工作流實例的執(zhí) 行 [5,6]。 目前在國內(nèi)外， 參考模型和 XPDL 被大多數(shù)學者和企業(yè)認為是 目前最好的規(guī)范。在 MDA 中，模型在軟件開發(fā)過程中扮演非常重要的角色，軟件開發(fā)過程是由對軟件系統(tǒng)的建模行為驅動的。在實現(xiàn)方面，結合一個具體的采購業(yè)務應用案例對 ICEMDA 中的業(yè)務流程開發(fā)模式做了詳細描 述 。工作流技術為實現(xiàn)這一目標提供了新的技術手段和方法。 接著 建立 了 PSM(Plat Specific Model)可執(zhí)行工作流模型，該模型主要 描述 了業(yè)務構件內(nèi)部和業(yè)務構件之間的依賴關系 ； 而后 定義 一個 形式化的有限自動機 和 一系列 映射規(guī)則 實現(xiàn) PIM 到 PSM的自動映射。 實現(xiàn)業(yè)務流程 自動 化的最好的方式之一就是采用工作流技術，工作流 技術為業(yè)務流程的自動或半自動計算機實現(xiàn)提供了方法。s BPSS 等等。任務的觸發(fā)順序和觸發(fā)條件用來定義并實現(xiàn)任務的觸發(fā)、任務的同步和信息流的傳遞 [3]。它是人們?yōu)榱搜芯亢徒鉀Q客觀世界中存在的各種問題 而對客觀現(xiàn)實經(jīng)過抽象思維后得到的 [8]。 基于活 動網(wǎng)絡的建模方法是以活動和活動之間的關系為基礎 對 工作流 進行建模。缺點是可視性效果和可理解性較差，模型驗證工作也比基于 Petri 網(wǎng)的建模方法復雜 [16]。 開源的主要有 Shark 等。前者的主流代表主要有 Shark、 jBPM 和 OSWorkflow 等。 而如果作為獨立式工作時，工作流引擎與原先的企業(yè)業(yè)務系統(tǒng)的集成是一個很大的挑戰(zhàn)?？傊?， MDA 為企業(yè)應用在不同生命周期階段的集成提供了完備的解決方案，它提倡使用形式化的系統(tǒng)模型作為解決企業(yè)應用系統(tǒng)集成的核心，通過使用軟件工程方法和工具去理解、設計、操作、發(fā)展企業(yè) 軟件系統(tǒng)的所有方面，為提高軟件開發(fā)效率、增強軟件的可移植性、互操作性、可維護性和文檔的可編制性提供了統(tǒng)一的途徑 。 工作流建模技術在 MDA 領域的應用，使得 軟件 開發(fā)者在業(yè)務流程的建模、映射和代碼生成的時候，不必關注業(yè)務建模中的一些細節(jié)，擺脫了很多在構建業(yè)務邏輯流程時技術細節(jié)的困擾 [26]。然后分別設計和實現(xiàn)了工作流引擎的對外接口定義和核心功能模塊。 ICEMDA 的總體框架如圖 21所示 ，其中豎式虛線 矩形 框 包含的內(nèi)容 是本文所要研究的內(nèi)容。 ICEPSM 模型將 PIM 層的 BO 轉換成基于特定軟件模式的構件模型。 PIM 層工作流模型描述一個業(yè)務對象 BO 的多個業(yè)務活動之間以及多個業(yè)務對象 BO 之間的運行關系，是 CIM 層過程模型的細化。 元模型 為了滿足 節(jié)所提出的需求，并且能夠完整準確地將 CIM 層過程模型細化成 PIM 層工作流模型，本節(jié)定義了 PIM 層工作流模型的元模型。分四類：關聯(lián)業(yè)務活動、集成業(yè)務活動、關聯(lián) 集成 業(yè)務活動和 一般 業(yè)務活動。 通過連接器可表示四種基本的工作流模式：順序模式、并發(fā)模式、選擇模式、排他選擇模式。在工作流模型中，只描述角色的標示符和角色名稱。因此， 對各個元素的圖形化表示如圖 23 所示 。 (3)Events 是 PIM 層工作流模型的事件集合。因此： ? ?, A N D O R X O RC o n n e c t o r C o n n e c t o r s C o n n e c t o r?? (10)Start 是 PIM 層工作流模型的開始節(jié)點。 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 是一個將開始節(jié)點映射到活動的函數(shù)，描述了模型的開始業(yè)務活動 。因哈爾濱工業(yè)大學工學碩士學位論文 17 此， ICEPSM 層的可執(zhí)行工作流模型應符合 XPDL 規(guī)范，以便各個組織和企業(yè)能夠協(xié)同工作。 在 XPDL 規(guī)范中， WfMC 給出了一個工作流過程定義的元模型，這個元模型描述了過程定義所需要的上層實體，并且為過程定義劃分成相應的過程模型、在不同的過程定義與模型中交叉使用公共定義數(shù)據(jù)提供了多方面的協(xié)定。 表 21 工作流過程定義的屬性和子元素 Table 21 Attributes and subelement of workflow process definition 標簽 語義描述 屬性 Id 工作流過程 ID Name 工作流過程名 AccessLevel 過 程 的反。 工 作 流 過 程 定 義系 統(tǒng) 環(huán) 境數(shù) 據(jù)工 作 流 相關 數(shù) 據(jù)工 作 流 參與 者 規(guī) 范應 用 程 序聲 明工 作 流 過程 活 動活 動 集塊 活 動人 員 庫 或組 織 模 型變 遷 信 息子 流 程 定義路 徑 活 動1*1* 進 入 發(fā) 出 調 用 由 ? ? 執(zhí) 行1*1*1*1*1*1* 圖 25 XPDL 中工作流過程定義元模型 Figure 25 Metamodel of the workflow process definition in XPDL XPDL 是一個通用的框架，這也是 XPDL 的一個重要特性，這個框架可以支持開發(fā)者的特殊使用目的，而對外表現(xiàn)形式卻相同。 ICEPSM 層各種模型的交互語言是 XML，因此，可執(zhí)行工作流模型采用XML 語言描述，以便為 ICEPSM 層其他模型提供互操作和轉換的方便，體現(xiàn)了 ICEMDA 體系的可互操作性。 ? ?,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 指定源和目標的函數(shù)，控制流的流向有五種組合：業(yè)務活動→連接器 ， 連接器→業(yè)務活動 ， 業(yè)務活動→條件表達式 ， 條件表達式→連接器 ， 業(yè)務活動→業(yè)務活動 ， →表示流向的意思 。 (9)Connectors 是 PIM 層工作流模型的連接器集合。 , , , , , , , , , , , , , , , , , ,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è)務活動 BusinessActivity 集合。業(yè)務活動的輸入輸出數(shù)據(jù)在工作流模型中直接和業(yè)務活動相連。角色權限主要體現(xiàn)在業(yè)務對象、屬性和業(yè)務活動三個方面。 (4)連接器 描述了 控制流 間的邏輯關系。 (1)業(yè)務 活動 業(yè)務活動 是由一系列具有一定邏輯關系的業(yè)務操作組成的功能實體，是使業(yè)務對象狀態(tài)發(fā)生變遷的業(yè)務操作的有限集合構成。 (3)業(yè)務活動的執(zhí)行者 業(yè)務活動由執(zhí)行者完成，在 ICEMDA 建模體系中，此執(zhí)行者 是來自角色模型中的角色。業(yè)務對象是指企業(yè)中所有物理資源和信息資源在信息系統(tǒng)中的抽象，通過一組連續(xù)的操作，使得業(yè)務對象的屬性不斷改變，最終完成對一個業(yè)務對象的處理過程。 因此， ICEPIM是 面向對象的 模型 。 圖 11 研究 思路及問題鏈 Figure 11 The research route and problem chain 哈爾濱工業(yè)大學工學碩士學位論文 8 第 2章 支持 ICEMDA 的工作流模型 ICEMDA 簡介 ICEMDA 的全稱是 Interoperable Configurable Executable Model Driven Architecture，即可配置的可互操作的 可執(zhí)行的 模型驅動 構架 。同時，定義了工作流引擎與框架和業(yè)務構件之間的交互模式，對三哈爾濱工業(yè)大學工學碩士學位論文 7 者之間的交互數(shù)據(jù)、交互格式以及交互過 程做了詳細描述。此外，傳統(tǒng)的工作流模型由于追求通用性， 因而 沒有特殊考慮企業(yè)應用中業(yè)務流程 的 持久化數(shù)據(jù)多、多用戶、業(yè)務邏輯復雜 等專有的特點 。它