針對過程模型的切片分析方法

2023-05-17 20:28:56

專利名稱：針對過程模型的切片分析方法
技術領域：
本發明涉及一種對業務過程模型的抽取和分析方法，特別是一種將程序切片技術
引入到過程模型分析中，針對過程模型中的產品進行切片分析的方法，屬於過程模型分析 技術領域。
背景技術：
基於過程工程理論的過程模型是構成企事業模型的五元素之一。它一般由活動、
產品、資源、活動產品之間關係、活動資源間關係以及行為模型所構成，通過上述各個元素
的業務關係組合而成，從而抽象的描述出業務過程的結構，是現代業務分析的重要手段。但
是，隨著企事業業務開展的不斷豐富和細化，用來描述業務過程的過程模型結構也變的越
來越複雜，分析者往往難以直觀的通過過程模型對業務的完備性進行檢查，難以對特定元
素的產生和適用生命周期中的相關信息進行捕獲，難以對業務中各個元素之間的相互影響
關係進行準確的判斷。因此，我們需要通過一些手段對過程模型進行分析。 現有對過程模型的分析方法主要是通過將待分析過程模型與既有的基本模型結
構庫進行匹配，從而將較龐大的過程模型化簡為若干典型結構的基本模型的組合，進而進
行分析。這種分析方法雖然能夠達到化繁為簡的目的，但是其分析的結果存在引發新的錯
誤的可能，將一些並不具有聯繫的元素劃分在一個基本模型之內。另外，通過這種分析方法
分析的結果缺乏各個元素之間的聯繫關係，不便於進行進一步的結果分析和模型修改。 在過程模型分析方面，一些工作流專家W.M.P. van der Aalst總結出來的模型結
構方面的模式以及Scott W.Ambler總結的工作流模式，這些都是由這些專家根據以往的模
型和經驗總結出來的，因為很多業務需求都是跟著企業的發展而隨時變化的，這時候就需
要通過適當的分析方法去分析模型；W.M.P.van der Aalst又提出了一種過程挖掘技術，通
過運行的工作流系統的日誌來提取出過程模型，部分解決了一些龐大模型的問題，但是這
也存在著一個問題，這是在已有的過程模型基礎上進行實際運行和總結的，而很多企業是
需要根據業務需求建立新的過程模型。 鑑於以上現有過程模型分析技術所存在的問題，本發明提出了一種通過將程序切 片技術引入到過程模型分析中，針對過程模型中的產品進行切片分析的方法。

發明內容
本發明的主要目的在於解決現有技術中存在的問題，提供一種通過將程序切片技
術引入到過程模型分析中，針對過程模型中的產品進行切片分析的方法。 本發明的目的是通過下述技術方案予以實現的 針對過程模型的切片分析方法，其特徵在於包括如下步驟 (1)對過程模型的正確性和完備性進行檢查； (2)提取出該過程模型中所包含的所有產品； (3)由操作人員指定進行切片分析的產品，並選擇對該指定產品的切片分析方向；如果切片方向選擇為前向切片，則執行步驟(4)，如果切片方向選擇為後向切片，則執行步 驟(5)，如果切片方向選擇為雙向切片，則執行步驟(6); (4)通過前向切片算法對該指定產品進行切片分析，待獲得該指定產品的前向切 片模型後結束分析過程； (5)通過後向切片算法對該指定產品進行切片分析，待獲得該指定產品的後向切 片模型後結束分析過程； (6)通過雙向切片算法對該指定產品進行切片分析，待獲得該指定產品的雙向切 片模型後結束分析過程。 所述步驟(4)中的前向切片算法具體包括如下步驟 (4a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產 品集合和最終產品集合中； (4b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將 所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接 關係添加到前向切片模型的關係集合中； (4c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將 所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接 關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係， 將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的 關聯關係添加到前向切片模型的關係集合中； (4d)重複所述步驟(4b)、 (4c)，直到所找到的產品不具有指向其的數據連接關 系，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所 獲得的前向切片模型即為所述指定產品完整的前向切片模型。
所述步驟(5)中的後向切片算法具體包括如下步驟 (5a)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產 品集合和源產品集合中； (5b)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所 有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連 接關係添加到後向切片模型的關係集合中； (5c)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所 有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連 接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關 系，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活 動的關聯關係添加到後向切片模型的關係集合中； (5d)重複所述步驟(5b)、 (5c)，直到所找到的產品不再指向任何數據連接關係， 則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所 獲得的後向切片模型即為所述指定產品完整的後向切片模型。
所述步驟(6)中的雙向切片算法具體包括如下步驟 (6a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產 品集合和最終產品集合中；
5
(6b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將 所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接 關係添加到前向切片模型的關係集合中； (6c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將 所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接 關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係， 將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的 關聯關係添加到前向切片模型的關係集合中； (6d)重複所述步驟(6b)、 (6c)，直到所找到的產品不具有指向其的數據連接關 系，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所 獲得的前向切片模型即為所述指定產品完整的前向切片模型； (6e)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產 品集合和源產品集合中； (6f)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所 有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連 接關係添加到後向切片模型的關係集合中； (6g)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所 有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連 接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關 系，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活 動的關聯關係添加到後向切片模型的關係集合中； (6h)重複所述步驟(6f) 、 (6g)，直到所找到的產品不再指向任何數據連接關係， 則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所 獲得的後向切片模型即為所述指定產品完整的後向切片模型； (6i)將步驟(6d)和(6h)所獲得的前向切片模型和後向切片模型相疊加，即獲得 了該指定產品的雙向切片模型。 本發明的有益效果是該切片分析方法在分析過程中始終依賴於各個元素之間的 邏輯關係，因此依據該方法生成的切片模型可以完整的體現各個元素之間的相互關係，有 效的捕獲與過程模型中某個元素的產生和適用生命周期中的相關信息，將對過程模型修改 所引起的影響控制在一定的範圍內，而不會帶來無法預料的副作用，對現有模型的理解和 確保修改模型後不會引發新的錯誤。


圖1為針對過程模型的切片分析方法流程圖；
圖2為前向切片算法流程圖；
圖3為後向切片算法流程圖；
圖4為雙向切片算法流程圖。
具體實施例方式
下面結合附圖和實施例對本發明作進一步描述。 如前所述，現有的過程模型分析方法往往難以直觀的通過過程模型對業務的完備 性進行檢查，難以對特定元素的產生和適用生命周期中的相關信息進行捕獲，難以對業務 中各個元素之間的相互影響關係進行準確的判斷。針對上述現有技術中存在的問題，我們 引入了程序切片技術中所採用的切片分析技術，對過程模型進行切片分析，從而解決上述 問題。 所謂程序切片(program slicing)是根據控制流和數據流分析而引進的一種程序 分析技術。在過去20年中，程序切片技術取得巨大發展，程序切片技術在軟體分析、理解、 調試、測試、度量、軟體質量保證、逆向工程等許多方面有著廣泛的應用。其中，具有代表性 的幾種切片方法包括語句切片、無定型程序切片、過程間和過程內切片、面向對象切片。這 種切片分析技術的好處在於可以將程序中一些不相關的語句和謂詞刪除，留下精簡的語句 和控制謂詞，但這些操作並不影響程序的輸出結果，以便更加直觀和清晰的去分析程序，在 程序調試、錯誤定位等方面有著較高的應用價值。 本發明的設計人正是鑑於切片分析技術的這些優勢，考慮將該分析技術應用到過
程模型的分析中，從而解決現有過程模型分析技術中所存在的諸多問題。
為了便於對過程模型進行切片分析，我們首先對過程模型的建模元素進行定於 定義l過程模型PM二化，A，R，E，Sp，Eph其中P是過程模型中的產品集合，A是
過程模型中所有活動集合，R是過程模型中所有資源集合，E是過程模型中所有的關係對應
的邊集，SP是在PD中沒有入邊的產品集，EP是沒有出邊的產品集，Sp -0，EP -0。 如前所述，過程模型由活動、產品、資源、活動產品之間關係、活動資源間關係以及
行為模型所構成。因此，這裡將過程模型定義為如上述結構的六元組涵蓋了所有過程模型
可能的形式。 定義2關聯關係，在過程模型中，資源與活動之間的連接關係是一種無向連接關 系，即資源與活動之間的連接關係不具有方向性，記做AssoFlow(a， e， r)。若且唯若活 動a和資源r之間存在連接e，其中a G A， e G E， r G R ;那麼活動a的關聯資源集合
Sr (a) ={Sr C R|if3AssoFlow(a,e,r),eGE， r e R,則將r添加到Sr中}
定義3數據連接關係，在過程模型中，數據關聯是指活動與產品之間的連接關係 是一種有向連接關係，即活動與產品之間的連接關係具有方向性。有活動指向產品，這說明 該產品是該活動的輸出產品，記做DataFlow(a， e， p)若且唯若產品p與活動a之間存在連 接，而且是a指向p，其中p G P， e G E， a G A。同理，產品指向活動的話，說明產品是該活 動的輸入產品，記做DataFlow(p， e， a)，若且唯若產品p與活動a之間存在連接，而且是p 指向a，其中p G P， e G E， a G A。 定義4 SP是P的子集，表示的是所有源產品集合，即沒有連接是指 向S中產品的 sP={SpCP| Sp -0 and if 3 DataFlow(a,e,p)其中 eGE,aG A， pep,貝lj pg SP } 定義5EP也是P的子集，表示的是所有最終產品的集合EP={EPCP|
Ep #0 and if 3 DataFlow(p，e,a)其中eEE,ae A， pep，貝U EP }
基於上述定義所構建的過程模型，本發明所設計的過程模型切片是面向其中的產
品，指出與某個輸入或輸出產品直接或間接相關的活動、產品和資源構成的局部過程模型。
如圖1所示，其具體的切片過程包括如下步驟 (1)對過程模型的正確性和完備性進行檢查； 這裡，是在對過程模型進行分析之前，首先對其正確性和完備性進行檢查，以保證 待分析過程模型本身結構符合規範。其中，所採用的過程模型正確性和完備性的檢查手段 是現已成熟的規範性技術，在此就不再詳加敘述。
(2)提取出該過程模型中所包含的所有產品； 這裡，一般是通過遍曆法遍歷過程模型中的所有產品，從而生成該過程模型的產 品列表。 (3)由操作人員指定進行切片分析的產品，並選擇對該指定產品的切片分析方向； 如果切片方向選擇為前向切片，則執行步驟(4)，如果切片方向選擇為後向切片，則執行步 驟(5)，如果切片方向選擇為雙向切片，則執行步驟(6)。 (4)通過前向切片算法對該指定產品進行切片分析，待獲得該指定產品的前向切 片模型後結束分析過程； (5)通過後向切片算法對該指定產品進行切片分析，待獲得該指定產品的後向切 片模型後結束分析過程； (6)通過雙向切片算法對該指定產品進行切片分析，待獲得該指定產品的雙向切 片模型後結束分析過程。 其中，如圖2所示，所述步驟(4)中的前向切片算法具體包括如下步驟 (4a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產
品集合和最終產品集合中； (4b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將 所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接 關係添加到前向切片模型的關係集合中； (4c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將 所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接 關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係， 將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的 關聯關係添加到前向切片模型的關係集合中； (4d)重複所述步驟(4b)、 (4c)，直到所找到的產品不具有指向其的數據連接關
系，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所
獲得的前向切片模型即為所述指定產品完整的前向切片模型。 其中，如圖3所示，所述步驟(5)中的後向切片算法具體包括如下步驟 (5a)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產
品集合和源產品集合中； (5b)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所 有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連 接關係添加到後向切片模型的關係集合中；
(5c)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所 有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連 接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關 系，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活 動的關聯關係添加到後向切片模型的關係集合中； (5d)重複所述步驟(5b)、 (5c)，直到所找到的產品不再指向任何數據連接關係，
則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所
獲得的後向切片模型即為所述指定產品完整的後向切片模型。 其中，如圖4所示，所述步驟(6)中的雙向切片算法具體包括如下步驟 (6a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產
品集合和最終產品集合中； (6b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將 所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接 關係添加到前向切片模型的關係集合中； (6c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將 所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接 關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係， 將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的 關聯關係添加到前向切片模型的關係集合中； (6d)重複所述步驟(6b)、 (6c)，直到所找到的產品不具有指向其的數據連接關 系，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所 獲得的前向切片模型即為所述指定產品完整的前向切片模型； (6e)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產 品集合和源產品集合中； (6f)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所 有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連 接關係添加到後向切片模型的關係集合中； (6g)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所 有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連 接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關 系，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活 動的關聯關係添加到後向切片模型的關係集合中； (6h)重複所述步驟(6f)、 (6g)，直到所找到的產品不再指向任何數據連接關係， 則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所 獲得的後向切片模型即為所述指定產品完整的後向切片模型； (6i)將步驟(6d)和(6h)所獲得的前向切片模型和後向切片模型相疊加，即獲得 了該指定產品的雙向切片模型。 通過上述過程模型的切片分析方法我們可以針對過程模型中任意產品進行前向、 後向或是雙向的切片模型分析。由於該切片模型的生成過程中始終依賴於各個元素之間的
9邏輯關係，因此依據該方法生成的切片模型可以完整的體現各個元素之間的相互關係，有 效的捕獲與過程模型中某個元素的產生和適用生命周期中的相關信息，將對過程模型修改 所引起的影響控制在一定的範圍內，而不會帶來無法預料的副作用，對現有模型的理解和 確保修改模型後不會引發新的錯誤。 綜上所述，本發明所設計的針對過程模型的切片分析方法是將程序切片技術引入 到過程模型分析中，面向過程模型中的產品進行切片分析的模型分析方法。本領域任何技 術人員在上述切片分析方法的基礎上所做的任何不具有創造性的改造，均應視為在本發明 的保護範圍之內。
10
權利要求
針對過程模型的切片分析方法，其特徵在於包括如下步驟(1)對過程模型的正確性和完備性進行檢查；(2)提取出該過程模型中所包含的所有產品；(3)由操作人員指定進行切片分析的產品，並選擇對該指定產品的切片分析方向；如果切片方向選擇為前向切片，則執行步驟(4)，如果切片方向選擇為後向切片，則執行步驟(5)，如果切片方向選擇為雙向切片，則執行步驟(6)；(4)通過前向切片算法對該指定產品進行切片分析，待獲得該指定產品的前向切片模型後結束分析過程；(5)通過後向切片算法對該指定產品進行切片分析，待獲得該指定產品的後向切片模型後結束分析過程；(6)通過雙向切片算法對該指定產品進行切片分析，待獲得該指定產品的雙向切片模型後結束分析過程。
2. 如權利要求l所述的切片分析方法，其特徵在於所述步驟(4)中的前向切片算法具體包括如下步驟(4a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產品集合和最終產品集合中；(4b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接關係添加到前向切片模型的關係集合中；(4c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係，將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的關聯關係添加到前向切片模型的關係集合中；(4d)重複所述步驟(4b)、 (4c)，直到所找到的產品不具有指向其的數據連接關係，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所獲得的前向切片模型即為所述指定產品完整的前向切片模型。
3. 如權利要求l所述的切片分析方法，其特徵在於所述步驟(5)中的後向切片算法具體包括如下步驟(5a)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產品集合和源產品集合中；(5b)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連接關係添加到後向切片模型的關係集合中；(5c)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活動的關聯關係添加到後向切片模型的關係集合中；(5d)重複所述步驟(5b)、 (5c)，直到所找到的產品不再指向任何數據連接關係，則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所獲得的後向切片模型即為所述指定產品完整的後向切片模型。
4.如權利要求1所述的切片分析方法，其特徵在於所述步驟(6)中的雙向切片算法具體包括如下步驟(6a)在該過程模型中找到所述指定的產品，並將該產品添加到前向切片模型的產品集合和最終產品集合中；(6b)遍歷該過程模型，找到所有指向上一步驟中所找到產品的數據連接關係，將所有指向該產品的活動添加到前向切片模型的活動集合中，將所有指向該產品的數據連接關係添加到前向切片模型的關係集合中；(6c)遍歷該過程模型，找到所有指向上一步驟中所找到活動的數據連接關係，將所有指向該活動的產品添加到前向切片模型的產品集合中，將所有指向該活動的數據連接關係添加到前向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係，將所有與該活動具有關聯關係的資源添加到前向切片模型的資源集合中，將所有該活動的關聯關係添加到前向切片模型的關係集合中；(6d)重複所述步驟(6b)、 (6c)，直到所找到的產品不具有指向其的數據連接關係，則將該不被數據連接關系所指向的產品添加到前向切片模型的源產品集合中；此時所獲得的前向切片模型即為所述指定產品完整的前向切片模型；(6e)在該過程模型中找到所述指定的產品，並將該產品添加到後向切片模型的產品集合和源產品集合中；(6f)遍歷該過程模型，找到上一步驟中所找到產品所指向的數據連接關係，將所有該產品所指向的活動添加到後向切片模型的活動集合中，將所有該產品所指向的數據連接關係添加到後向切片模型的關係集合中；(6g)遍歷該過程模型，找到上一步驟中所找到活動所指向的數據連接關係，將所有該活動所指向的產品添加到後向切片模型的產品集合中，將所有該活動所指向的數據連接關係添加到後向切片模型的關係集合中；再找到所有上一步驟中所找到活動的關聯關係，將所有與該活動具有關聯關係的資源添加到後向切片模型的資源集合中，將所有該活動的關聯關係添加到後向切片模型的關係集合中；(6h)重複所述步驟(6f)、 (6g)，直到所找到的產品不再指向任何數據連接關係，則將該不再指向任何數據連接關係的產品添加到後向切片模型的最終產品集合中；此時所獲得的後向切片模型即為所述指定產品完整的後向切片模型；(6i)將步驟(6d)和(6h)所獲得的前向切片模型和後向切片模型相疊加，即獲得了該指定產品的雙向切片模型。
全文摘要
本發明提供了一種將程序切片技術引入到過程模型分析中，針對過程模型中的產品進行切片分析的方法。通過該過程模型切片分析方法我們可以針對過程模型中任意產品進行前向、後向或是雙向的切片模型分析。由於該切片模型的生成過程中始終依賴於各個元素之間的邏輯關係，因此依據該方法生成的切片模型可以完整的體現各個元素之間的相互關係，有效的捕獲與過程模型中某個元素的產生和適用生命周期中的相關信息，將對過程模型修改所引起的影響控制在一定的範圍內，而不會帶來無法預料的副作用，對現有模型的理解和確保修改模型後不會引發新的錯誤。
文檔編號G06Q10/00GK101710403SQ20091023704
公開日2010年5月19日 申請日期2009年11月2日 優先權日2009年11月2日
發明者劉鵬, 周伯生, 孫奎英, 王雷 申請人:北京賽柏科技有限責任公司