技術(shù)特征：

1.一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：包括以下步驟：

步驟一：在大數(shù)據(jù)環(huán)境下，找出研究領(lǐng)域具體項目的業(yè)務(wù)活動及其時序關(guān)系，利用CPN模型將其表示成業(yè)務(wù)流程；

步驟二：根據(jù)特定領(lǐng)域需求，分析與抽取反映業(yè)務(wù)流程活動執(zhí)行時的數(shù)據(jù)流約束模型及其數(shù)據(jù)之間的依賴關(guān)系，將其映射到步驟(1)中形成的CPN模型；

步驟三：在步驟一)和步驟二)的基礎(chǔ)上，將數(shù)據(jù)流約束的業(yè)務(wù)流程CPN模型通過配置操作轉(zhuǎn)化為基于數(shù)據(jù)流的可配置業(yè)務(wù)流程CPN模型，并將該模型在特定領(lǐng)域下應(yīng)滿足的數(shù)據(jù)約束屬性使用擴(kuò)展的計算樹時序邏輯(ASK-CTL)表示；

步驟四：應(yīng)用可配置業(yè)務(wù)流程的CPN模型及相應(yīng)工具進(jìn)行分析與驗證。

2.根據(jù)權(quán)利要求1所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：所述步驟一)的具體實現(xiàn)步驟為：

(1.1)分析具體項目的業(yè)務(wù)活動；

(1.2)針對步驟(1.1)的結(jié)果，根據(jù)所分析的業(yè)務(wù)活動，提取相應(yīng)的業(yè)務(wù)活動規(guī)則，將不屬于該領(lǐng)域活動的業(yè)務(wù)規(guī)則過濾掉；

(1.3)對步驟(1.2)的業(yè)務(wù)規(guī)則的分析結(jié)果確定業(yè)務(wù)活動的時序關(guān)系；

(1.4)在步驟(1.3)的基礎(chǔ)上，使用CPN工具將前3步分析的業(yè)務(wù)活動及其時序關(guān)系設(shè)計成CPN模式的業(yè)務(wù)流程。

3.根據(jù)權(quán)利要求1所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：按上述方案，所述的步驟二)的具體實現(xiàn)步驟為：

(2.1)在步驟(1)的基礎(chǔ)上，分析由業(yè)務(wù)活動所需要的數(shù)據(jù)和生成的數(shù)據(jù)之間的依賴關(guān)系；

(2.2)根據(jù)業(yè)務(wù)活動之間的數(shù)據(jù)依賴關(guān)系，抽取其相應(yīng)的數(shù)據(jù)流約束模式；

(2.3)將(2.2)得到的數(shù)據(jù)依賴關(guān)系及其約束模式映射到步驟一)所得到的CPN業(yè)務(wù)流程模型中，形成帶數(shù)據(jù)流約束的CPN業(yè)務(wù)流程模型；

(2.4)重復(fù)步驟(2.1)、(2.3)和(2.4)，直到特定領(lǐng)域相關(guān)的業(yè)務(wù)流程所涉及的活動中全部包含在步驟一)所形成的業(yè)務(wù)活動集中，最終形成模型圖。

4.根據(jù)權(quán)利要求1所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：按上述方案，所述的步驟三)的具體實現(xiàn)步驟為：

(3.1)在步驟二)的基礎(chǔ)上，對形成的帶數(shù)據(jù)流約束的CPN模型，進(jìn)行配置操作，即找出流程模型中的使能性業(yè)務(wù)操作、隱藏性的業(yè)務(wù)操作和阻斷性的業(yè)務(wù)操作，通過配置操作函數(shù)將業(yè)務(wù)CPN模型中的相應(yīng)活動分別配置成允許狀態(tài)、隱藏狀態(tài)和阻隔狀態(tài)；直至將特定領(lǐng)域基于數(shù)據(jù)流約束的CPN業(yè)務(wù)流程模型全部轉(zhuǎn)換成基于數(shù)據(jù)流約束的可配置CPN業(yè)務(wù)流程模型。

5.根據(jù)權(quán)利要求1所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：按上述方案，所述的步驟(4)的具體實現(xiàn)步驟為：

(4.1)在步驟三)的基礎(chǔ)上，對形成的基于數(shù)據(jù)流約束的CPN業(yè)務(wù)流程模型進(jìn)行缺失數(shù)據(jù)模式的分析與驗證；

(4.2)在步驟三)的基礎(chǔ)上，對形成的基于數(shù)據(jù)流約束的CPN業(yè)務(wù)流程模型進(jìn)行冗余數(shù)據(jù)模式的分析與驗證；

(4.3)在步驟三)的基礎(chǔ)上，對形成的基于數(shù)據(jù)流約束的CPN業(yè)務(wù)流程模型進(jìn)行更新丟失數(shù)據(jù)模式的分析與驗證。

6.根據(jù)權(quán)利要求5所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：所述步驟4.1)具體包括以下步驟：

(4.1.1)如果在基于數(shù)據(jù)流可配置業(yè)務(wù)流程模型中存在一條路徑，其數(shù)據(jù)模型為D，在這個路徑的數(shù)據(jù)流中存在一個數(shù)據(jù)元素d(d∈D),其中D指數(shù)據(jù)元素集,在被某個變遷讀之前沒有任務(wù)一個變遷對它進(jìn)行寫操作，則稱產(chǎn)生缺失數(shù)據(jù)元素d的錯誤,用擴(kuò)展的計算樹邏輯ASK-CTL表示為：其中w為寫數(shù)據(jù)，r為讀數(shù)據(jù)；

(4.1.2)缺失數(shù)據(jù)檢測:設(shè)是一個基于數(shù)據(jù)流可配置業(yè)務(wù)流程，D為數(shù)據(jù)對象集,假定是模型上的所有完整路徑集(包括起始和終止變遷),則在模型中不存在缺失數(shù)據(jù)錯誤當(dāng)且僅當(dāng)任何一種路徑都不存在缺少數(shù)據(jù)錯誤，用ASK-CTL公式表示。

7.根據(jù)權(quán)利要求5所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：所述步驟4.2)具體包括以下步驟：

(4.2.1)如果在基于數(shù)據(jù)流可配置業(yè)務(wù)流程模型中存在一條路徑，其數(shù)據(jù)模型為D，在這個路徑的數(shù)據(jù)流中存在一個數(shù)據(jù)元素d(d∈D)在被某個變遷讀之前沒有任務(wù)一個變遷對它進(jìn)行寫操作，則稱產(chǎn)生缺失數(shù)據(jù)元素d的錯誤,用ASK-CTL表示；

(4.2.2)冗余數(shù)據(jù)檢測:設(shè)是一個基于數(shù)據(jù)流可配置業(yè)務(wù)流程，D為數(shù)據(jù)對象集,假定是模型上的所有完整路徑集，包括起始和終止變遷,則在模型中不存在缺失數(shù)據(jù)錯誤當(dāng)且僅當(dāng)任何一種路徑都不存在缺少數(shù)據(jù)錯誤，用ASK-CTL公式表示。

8.根據(jù)權(quán)利要求5所述的一種基于數(shù)據(jù)流約束的可配置業(yè)務(wù)流程分析方法，其特征在于：所述步驟4.3)具體包括以下步驟：

(4.3.1)更新丟失數(shù)據(jù)，如果在基于數(shù)據(jù)流可配置業(yè)務(wù)流程中存在一條路徑，路徑中用一個數(shù)據(jù)元素d(d∈D)在被某個任務(wù)讀取之前兩次寫入，則些數(shù)據(jù)元素d丟失數(shù)據(jù)更新，用ASK-CTL表示；

(4.3.2)更新丟失數(shù)據(jù)檢測:設(shè)是一個基于數(shù)據(jù)流可配置業(yè)務(wù)流程，D為數(shù)據(jù)對象集,假定是模型上的所有完整路徑集，包括起始和終止變遷，則在模型中不存在缺失數(shù)據(jù)錯誤當(dāng)且僅當(dāng)任何一種路徑都不存在缺少數(shù)據(jù)錯誤，用ASK-CTL公式表示。