工作流模型設計

3.3 連接弧軟件測試技術第一門戶.J'v,F_Kg^6S6N

連接弧作為有向圖中的另一種組成元素表達了有向圖中不同節點元素之間的邏輯關系。它從前驅節點指向后繼節點，體現了節點狀態的轉移和有向圖的演進。連接弧發生轉移根據條件Trans(l)進行，如果Trans(1)≡1則為永真型條件，否則為不定型條件。對于不定型條件根據實際情況取值。在工作流模型設計時我們將連接弧分為三類：普通控制連接弧、條件連接弧和條件設定連接弧。

3.3.1 普通控制連接弧

普通控制連接弧，即永真型連接弧，它不需要任何條件的判斷，只要前驅節點執行完畢，即可激活后繼節點。軟件測試技術第一門戶iEw'lAX

3.3.2 條件連接弧軟件測試技術第一門戶DltF3X*m-cT5W

條件連接弧，即不定型連接弧，它的轉移函數的取值是需要在具體的工作流實例執行過程當中由工作流引擎或人工加以判斷來確定的。如果條件成立即可執行后繼的節點。

3.3.3 條件設定連接弧

條件設定連接弧可以用來動態的設定活動的執行條件、完成條件和時間要求等條件。工作流模型通過動態的設定這些執行和判斷條件，可以大大提高工作流管理系統的柔性。軟件測試技術第一門戶%}TI[0u

3.4 工作流模型的設計

從以上理論，我們可以得出工作流模型中的元素可以分為節點、連接弧和狀態三大類；利用面向對象的繼承性，我們設計了如圖1所示的工作流模型。該工作流模型定義了三個基類：節點類、無條件連接弧和狀態類。由節點類可以派生出7個子類：人工型活動、自動型活動、同步節點、協調節點、開始、結束，子過程。由無條件連接弧可以派生出條件連接弧和條件設定連接弧兩個子類。子過程由除節點類外的各個類聚合而成（包括子過程本身）。
U+hjfK~軟件測試技術第一門戶a+bS@ g}
　
)h,u?'@g軟件測試技術第一門戶L x Z 老湿亚洲永久精品ww47香蕉图片_日韩欧美中文字幕北美法律_国产AV永久无码天堂影院_久久婷婷综合色丁香五月