[發明專利]基于行為Petri網的電子商務一致性分析新方法

在審

• 申請號: 201410010980.3
• 申請日: 2014-01-09
• 公開（公告）號: CN103679484A
• 公開（公告）日: 2014-03-26
• 發明（設計）人: 方賢文;劉璐;吳俊枝;劉祥偉;殷志祥
• 申請（專利權）人: 安徽理工大學
• 主分類號: G06Q30/00
• 分類號: G06Q30/00
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域

本發明屬于電子商務可信性分析技術領域，涉及一種分析電子商務中業務流程一致性的新方法。它特別適用于由于數據變化而導致流程模型的不一致的情況，從而解決數據一致性對業務流程模型一致性的影響。

背景技術

現代社會已經進入了信息化時代，計算機技術也越來越成熟，但是，日益龐大的計算機系統卻越來越脆弱，它并不總是可以信任的，很多時候流程模型運行的結果會偏離人們所期望的，例如在電子交易中信息流和資金流平衡問題。這些故障和錯誤都會直接或間接的對用戶造成傷害，那么分析電子商務中流程模型的一致性問題是現在研究的熱點。

如今，許多學者對解決業務流程模型的一致性的問題做出了許多研究。通過定義行為等價概念和跡等價標準，嚴格地分析了業務流程模型間的一致性。隨后為了改善這種嚴格的標準所帶來的局限性，給出了行為輪廓的概念，分析業務流程模型間的行為一致性。為了進一步完善一致性的分析，在行為輪廓的基礎上提出了間接行為關系，提高了對業務流程模型一致性分析的準確性。以上研究主要是從業務流程模型的控制流方面，分析業務流程模型的一致性。但是這些研究是不完善的，數據流和控制流是影響著業務流程模型的建模和執行的主要因素。因此業務流程模型的一致性不僅僅依賴于對控制流的一致性，還會依賴于數據流的一致性。在實際生活中，流程模型中的數據信息變化會產生一些人們不易察覺的影響，從而導致業務流程不一致的問題。雖然許多研究開始重視業務流程模型的數據流變化方面，但是，幾乎沒有同時考慮控制流和數據流對業務流程模型的影響，并且數據流局限于數據形式，很少刻畫出數據流的模型。

發明內容

本發明提供一種基于行為Petri網的業務流程一致性分析方法，在模型運行結果達不到目標的情況下，不直接的分析業務流程模型本身，而是考慮伴隨業務流程執行的流程模型，即需要建立控制流和數據流模型。隨后，將所得的模型進行交互，分別計算控制流模型和數據流模型與交互后的模型之間的行為兼容度，間接地全面性分析業務流程模型的一致性。

對于轉化電子商務的業務流程模型，本發明根據行為Petri網的語義，將業務流程模型轉化為行為結構清晰的行為Petri網模型。為了將數據流進行模型化并區分控制流和數據流，根據所得到的行為Petri網模型，觀察伴隨其執行而產生的流程模型，即定義為伙伴流程。這樣從伙伴流程的角度，建立其控制流模型和數據流模型。然后，對兩個流程模型進行交互得到含有數據流的控制流模型，即稱為交互模型。最后，根據模型之間對應的行為變遷，即為模型之間的行為映射，在行為輪廓的基礎上給出映射變遷的行為值并計算模型的行為距離向量，分別計算控制流和數據流與其交互后的流程模型之間的行為兼容度，得到控制流與數據流對業務流程模型的影響程度，從而分析業務流程模型的一致性。

本發明的優點是在行為Petri網的基礎上，從伙伴流程的角度，結合控制流和數據流兩方面對業務流程模型的一致性進行全面分析，克服了對于因數據流變化而帶來的業務流程不一致的問題，也避免了以往單一研究的片面性和對數據刻畫的局限性。同時，根據流程模型間的行為映射，采用了基于行為輪廓的計算行為兼容度的方法，能夠精確的反映控制流與數據流對業務流程模型的影響程度。

附圖說明

圖1為本發明的分析電子商務中業務流程模型一致性結構圖；

圖2為本發明的轉化業務流程模型流程圖；

圖3為本發明的確定伙伴流程模型和交互流程圖；

圖4為本發明的計算流程模型間的行為兼容度流程圖。

具有實施方式

本發明提出基于行為Petri網計算控制流模型和數據流模型與交互流程模型之間的行為兼容度，從而全面分析電子商務中業務流程模型一致性的方法。

下面結合附圖對本發明做進一步的說明：

在電子商務中，主要從三個部分分析業務流程模型的一致性，如圖1所示。首先，根據預設定的目標和結果觀察電子商務中的業務流程模型，提取需要的業務流程模型，并在行為Petri網語義的基礎上對電子商務中業務流程模型進行轉化，見圖2。

然后，從伙伴流程角度建立控制流模型和數據流模型，并根據流程模型交互的定義，得到了交互模型即含有數據流的控制流模型，見圖3。

最后，由圖4可見，在行為Petri網的行為輪廓基礎上，得到變遷的行為值，并結合流程模型間的行為映射，給出流程模型的行為距離向量，并由此計算流程模型間的行為兼容度來分析業務流程模型的一致性。具體算法為：