第三章还原工作程.pdf

第三章 還原工作流程 3.1 工作流程模型 如第二章所述，工作流程模型有很多不同的種類，各自有其特性及表達方式。一般來說， 常見的工作流程模型表示法，包括有向圖形，派翠網路，或是有限狀態自動機。在本論 文中，我們採用有向圖形來表示我們的工作流程圖。圖 3.1即以有向圖形來表示圖 1.1 之工作流程。因為工作流程在執行的時候，每一個活動都有其執行的條件。因此在以有 向圖形表示工作流程時，每個節點（ vertex ）的標記（label ）代表工作流程中的活動。 活動執行的條件則由不同的節點與邊與邊表示。 XOR a c A A XOR A s d A XOR A XOR b XOR E 圖 3.1 ：以有限圖形表示圖1.1之工作流程。 在我們的研究中，我們並不是針對任何特別的領域或者是在應用上有特別的需求， 因此我們採用簡單的有向圖形來表示工作流程模型。而在工作流程結構上，我們考慮了 13 循序和平行兩種最基本的結構。在工作流程模型中每個節點的執行條件上，針對開始執 行的限制條件，考慮 and-join和 or-join 兩種。而針對活動執行結束後可執行的下一步活 動，我們考慮 and-split ，or-split ，以及xor-split 三種限制條件。在這一個小節裡將詳細 的定義和說明我們所採用的工作流程模型。 定義 1 ： 一個工作流程模型 W 是個有向圖形 W = A ∪A ，E ∪E ∪E ，s ，F 。其 AND OR A O XOR 中 A ∪A 是工作流程模型中所有活動的集合。且 A ∩A =∅。E ∪E ∪E ⊆ AND OR AND OR A O XOR （AAND∪AOR-F ）× （AAND∪AOR-s ），為兩兩活動間無循環(cycle)的前後關係， EA 、EO 、 EXOR 為三個彼此互斥的子集合（disjoint subset ）。s ∈ AAND∪AOR ，且s 為起點活動，F ⊆ AAND∪AOR ，F 為終點活動的集合。 定義 2 ： ∀ ∈ ∈ 在工作流程模型 W = A ∪A ，E ∪E ∪E ，s ，F中， e= （a ，b ） E ，a 、b A ， AND OR A O XOR 我們稱 b 為 a的後繼者（ successor ），a 為 b的先行者（ predecessor ）。對a 而言，e 為 a 之外出邊（outgoing edge ），對b 而言，e 為 b 之進入邊（incoming edge ）。 定義 3 ：