數(shù)據(jù)約束下的業(yè)務流程模型的非一致行為分析的新方法
【技術領域】
[0001]本發(fā)明屬于電子商務信息技術領域，涉及業(yè)務流程模型在數(shù)據(jù)約束下的非一致行為的新的分析方法，包括建立數(shù)據(jù)流模型、控制流模型以及一種優(yōu)化數(shù)據(jù)流約束下的模型的方法。
【背景技術】
[0002]在電子商務中，系統(tǒng)的安全是各大公司面臨的極大的挑戰(zhàn)。而業(yè)務流程模型設置是電子商務流程管理的重點，由于數(shù)據(jù)信息是業(yè)務流程網(wǎng)中必不可少的部分，因此對數(shù)據(jù)約束下業(yè)務流程變化域進行分析顯得尤為重要。對一個業(yè)務流程模型來說，控制流和數(shù)據(jù)流是其兩大組成部分，由于在數(shù)據(jù)流影響下可能導致無問題的控制流模型也出現(xiàn)不一致行為，因此，以滿足用戶所需功能為前提，針對業(yè)務流程設置的合理性或?qū)嵱眯圆粷M足要求或出錯的情況，必需綜合考慮數(shù)據(jù)約束和行為約束來研究業(yè)務流程模型中行為執(zhí)行的情況，而分析數(shù)據(jù)約束下的業(yè)務流程的非一致行為是其關鍵所在。
[0003]業(yè)務流程模型的非一致性分析方法有很大的可選性。目前主要集中于通過研究源模型與一個正確的參照模型的非一致性來分析模型的非一致行為，而實際中，此類研究因難以獲取正確的參照模型而缺乏一定的可操作性。也有許多研究主要從控制流和數(shù)據(jù)流兩個方面著手研究業(yè)務流程一致性，但幾乎沒有綜合考慮控制流和數(shù)據(jù)流整體的變化問題，只是單方面的分析控制流或數(shù)據(jù)流對業(yè)務流程模型的影響，而數(shù)據(jù)流的影響下可能導致無問題的控制流模型也出現(xiàn)變化域，因此必需關注數(shù)據(jù)流對業(yè)務流程模型的影響，但目前的研究都未做具體分析。

【發(fā)明內(nèi)容】

[0004]本發(fā)明所要解決的技術問題是:提供一種數(shù)據(jù)流約束下的業(yè)務流程模型的非一致性行為的新的分析方法，通過分析流程模型中數(shù)據(jù)信息的傳播和改變路徑以及變迀之間的行為約束關系，綜合考慮數(shù)據(jù)流和控制流對模型一致性的影響，并對數(shù)據(jù)流約束下的模型進行優(yōu)化，以確保模型的合理性與實用性相一致，使系統(tǒng)的安全性得到進一步保證。
[0005]為解決以上技術問題，本發(fā)明采用如下的技術方案:
[0006]對于電子商務流程，本發(fā)明根據(jù)業(yè)務流程網(wǎng)的結構特征構建相應的業(yè)務流程模型。
[0007]為分析網(wǎng)中是否存在非一致行為，根據(jù)所構建的業(yè)務流程模型，依據(jù)業(yè)務流程模型中動作執(zhí)行的順序和行為約束以及數(shù)據(jù)信息的傳播和改變路徑，分別拆分出業(yè)務流程模型的兩個子模型:控制流模型和數(shù)據(jù)流模型。
[0008]通過行為約束關系及行為執(zhí)行順序?qū)刂屏髂Ｐ瓦M行非一致性行為分析，并判定該子模型中是否存在非一致行為。
[0009]通過數(shù)據(jù)信息在業(yè)務流程模型中的傳播路徑和改變路徑，分析數(shù)據(jù)流模型的非一致行為，并確定其非一致行為。
[0010]將子模型中出現(xiàn)非一致行為的區(qū)域映射到源業(yè)務流程模型中，并對其進行分析和驗證，最終確定源業(yè)務流程模型的非一致行為。
【附圖說明】
[0011]圖1是本發(fā)明的流程模型圖。
[0012]圖2是本發(fā)明的一種實施的流程圖。
[0013]圖3是本發(fā)明的模型非一致行為分析步驟圖。
【具體實施方式】
[0014]本發(fā)明提出一種數(shù)據(jù)流約束下的業(yè)務流程模型的非一致性行為的新的分析方法，并在此基礎上綜合考慮數(shù)據(jù)流和控制流對模型一致性的影響，當控制流模型或數(shù)據(jù)流模型中出現(xiàn)非一致行為時，則在源業(yè)務流程模型中會出現(xiàn)相應的非一致行為的映射。
[0015]以下結合附圖對本發(fā)明作進一步的說明。
[0016]圖1所示，首先將業(yè)務流程轉(zhuǎn)化為業(yè)務流程模型，根據(jù)業(yè)務流程模型中動作執(zhí)行的順序和行為約束以及數(shù)據(jù)信息的傳播路徑，分別拆分出業(yè)務流程模型的兩個子模型，并對子模型進行分析，確定子模型的非一致行為，最后綜合考慮子模型的非一致行為在源模型中的映射，確定源業(yè)務流程模型的非一致行為。
[0017]圖2是本發(fā)明的一種實施的流程。如圖所示，首先將電子商務流程轉(zhuǎn)化為業(yè)務流程模型，再依據(jù)業(yè)務流程模型中動作執(zhí)行的順序和行為約束以及數(shù)據(jù)信息的傳播路徑，分別拆分出業(yè)務流程模型的兩個子模型:控制流模型和數(shù)據(jù)流模型，隨后，通過分析流程模型中數(shù)據(jù)信息的傳播和改變路徑以及變迀之間的行為約束關系，分析子模型的非一致行為，最后綜合考慮兩個子模型確定源模型的非一致行為并對其進行優(yōu)化。
[0018]圖3描述了數(shù)據(jù)約束下的業(yè)務流程非一致行為的分析步驟，先根據(jù)變迀之間的關系分析控制流模型是否合理，是否滿足一致性，再依據(jù)系統(tǒng)中的數(shù)據(jù)信息的傳播與改變情況分析數(shù)據(jù)流模型的一致性，并確定其非一致行為，最后綜合考慮數(shù)據(jù)流和控制流對模型一致性的影響，并將所有非一致行為映射到源模型中，并對其進行分析和驗證，最終確定源業(yè)務流程模型的非一致行為。
【主權項】
1.數(shù)據(jù)約束下的業(yè)務流程模型的非一致行為分析的新方法，包括業(yè)務流程模型的子模型的建立和對子模型:控制流系統(tǒng)和數(shù)據(jù)流系統(tǒng)的綜合分析。其特征在于:通過流程網(wǎng)的結構特征和結構類型對構建的模型中的控制流系統(tǒng)和數(shù)據(jù)流系統(tǒng)進行綜合分析，并在此基礎上分析源業(yè)務流程模型的非一致行為，用以有效地判定業(yè)務流程模型的優(yōu)劣，提高系統(tǒng)的安全性。2.根據(jù)權利要求1所述的對數(shù)據(jù)流約束下業(yè)務流程模型的非一致行為分析的方法，其特征在于:所述的非一致行為分析的方法是沒有正確的參照模型的并且充分考慮了數(shù)據(jù)流對模型一致性的影響，有效地解決了在數(shù)據(jù)約束下且沒有正確的參照模型的業(yè)務流程模型的非一致行為的分析問題。3.根據(jù)權利要求1所述的對數(shù)據(jù)流約束下業(yè)務流程模型的非一致行為分析的方法，其特征在于:通過分析流程模型中數(shù)據(jù)信息的傳播和改變路徑以及變迀之間的行為約束關系，綜合考慮數(shù)據(jù)流和控制流的相互作用對模型一致性的影響，將數(shù)據(jù)流模型和控制流模型的非一致行為映射到源模型中，并對其進行進一步的分析和驗證，最終確定源模型的非一致行為，避免了只單方面考慮控制流或數(shù)據(jù)流來確定模型非一致行為的缺陷。
【專利摘要】數(shù)據(jù)約束下的業(yè)務流程模型的非一致行為分析的新方法，涉及流程模型的控制流系統(tǒng)和數(shù)據(jù)流系統(tǒng)的綜合分析。首先根據(jù)電子商務流程建立相應的業(yè)務流程模型，再依據(jù)流程模型中數(shù)據(jù)信息的傳播和改變路徑以及動作執(zhí)行順序和行為約束關系，分別拆分出流程模型的兩個子模型，并分別對這兩個子模型進行非一致性行為分析，確定其非一致行為。隨后根據(jù)非一致行為在子模型和源業(yè)務流程模型之間的映射特點，綜合分析并確定源業(yè)務流程模型的非一致行為。本發(fā)明提出方法，有效地解決了在數(shù)據(jù)約束下的模型的非一致行為分析問題，避免了現(xiàn)有的單方面考慮控制流或數(shù)據(jù)流來確定模型非一致行為的缺陷，也便于分析模型結構的優(yōu)劣，并及早對其改進以便提高模型的效率。
【IPC分類】G06Q30/00, G06Q10/06
【公開號】CN105069554
【申請?zhí)枴緾N201510438289
【發(fā)明人】方賢文, 陳麗娜, 方歡, 劉祥偉
【申請人】安徽理工大學
【公開日】2015年11月18日
【申請日】2015年7月22日