軟件測試開發技術UML:為工作流建模[2]

軟件測試開發技術UML:為工作流建模[2]  UML模型

關鍵字：UML 建模 工作流

　　本著“高內聚、低耦合”原則，研究人員開始把那些本身并不完整、依附于過程模型且為之提供支持的數據、組織、功能、資源等信息分離出來或加以補充，而形成具有相當獨立性的模型。

　　比較典型的有ARIS模型、WIDE工作流模型等。ARIS模型包括功能視圖、組織視圖、數據視圖、輸出視圖和控制視圖。WIDE工作流模型由組織模型、信息模型與過程模型這三個子模型共同組成。青鳥工作流模型JBDelta由過程模型(Process mode1)、組織模型(Organizationmode1)、數據模型(Data mode1)和功能模型(Function mode1)四個子模型共同組成。

　　其中，過程模型是核心，其他模型為之提供支持。在各模型建立完后，需要按各模型間的關系把它們合成一體，從而得到完整的工作流過程模型。

　　根據軟件工程的“問題分離”原則，為了靈活地表達復雜的過程邏輯并實現變化影響的局部化。青鳥工作流模型對工作流管理聯盟WFMC制定的工作流過程定義元模型作了適當的改進，把匯聚、分支結構和它們的約束(AND、OR、XOR)從活動規約中提取出來。引入了一種新的元模型元素——連接符(Connector)，即把所有控制信息規約從活動規約中獨立出來。圖1是青鳥改進的工作流過程定義元模型。

　　在改進的元模型中。核心元素是連接符(Connector)。根據化繁為簡的原則，我們約束一個連接符的前模式或后模式至少有一個為順序(SEQ)模式，從而定義了順序(SEQ)連接符(可以省略)，與(AND)連接符、或(OR)連接符和互斥(XOR)連接符。

　　UML活動圖

　　活動圖是UML中用于描述業務流程的最重要的工具，它提供了一系列的圖形符號來支持對業務流程的建模，并提供對條件、并行和反復的邏輯行為的支持，常常用于對系統動態方面建模。

　　UML活動圖本質上是一個流程圖。它可以用于描述活動到活動的控制流。除此之外，還可以定義參與到活動中的對象及其角色、狀態和屬性的變化。UML活動圖一般包括以下幾個元素，而這些元素在概念上和工作流過程元素有很多相似甚至相同之處:

　　狀態:一個活動圖是一個特殊的狀態機。其中所有的狀態(或者至少大多數)都是動作狀態或活動狀態。動作狀態代表一個可執行的原子計算，一個動作執行;活動狀態代表非原子的，可以進一步分解的復合計算。所以在為工作流建模時，我們利用活動圖中的狀態建模工作流過程活動(原子活動和非原子的塊、子流程)?；顒邮枪ぷ髁鬟^程中的一個邏輯步驟或任務，是工作流過程的重要組成部分。

　　轉換:規約的是流轉關系，顯示從一個活動或動作狀態到下一個活動或動作狀態的傳遞。對應于工作流模型中的轉移，描述了流程的路徑。轉換上所附的監護條件是轉移發生的條件，對應于工作流中的轉移上附著條件。用來決定工作流執行路徑。

　　對象:描述一個活動圖中涉及的事物，可能是活動的輸入或輸出。在UML活動圖中，用帶有向箭頭的虛線表示了對象和對它們進行創建、撤銷、修改和使用的活動之間的依賴關系。

　　在控制邏輯方面，活動圖提供分支和同步棒對業務邏輯的條件和并發行為進行描述。分支是多個控制流中的排它選擇。只有一個控制流被選擇，而同步棒描述的是并發的控制流。它們分別代表了工作流中的互斥連接符和與連接符。

　　為了表示業務的開始和結束，活動圖使用了開始活動和結束活動的符號。我們繼續沿用活動圖中開始和結束活動的概念，標志工作流過程的開始和結束，不針對具體任務的空活動。

　　通過前文的介紹，我們可以發現活動圖建模工作流的便利之處。但是用活動圖描述工作流，還存在著不足。

　　例如并不是所有的用于匯聚或者叉分控制流的連接都能用活動圖直接的建模?；顒訄D中存在和與連接符、互斥連接符等同的構造模型，但是沒有構造型和或連接符等同;組織元素對于活動的職責可以通過把活動放在代表組織元素的泳道中來實現，但是泳道不足以建模準確的組織職責，而這些職責對用于支持工作流管理系統的執行的工作流定義是很重要的;而且活動圖中沒有對工作流所需應用的建模支持。

　　工作流過程圖

　　為了增強活動圖為工作流建模的完整性和準確性，我們提出了對活動圖進行擴展。在活動圖為工作流建模時，我們發現用戶常常關注與活動進行協作的信息實體的描述。也就是說，在活動圖的這種應用中，對對象和對象流的建模顯得特別重要。所以我們在擴展活動圖時，也突出強調了對對象和對象流的擴展。

　　在擴展后的工作流過程圖中，我們把對活動負責的組織元素從泳道中脫離出來，用參與者(Org—element)獨立表示。

原文轉自：http://www.anti-gravitydesign.com