基于行為包含的業(yè)務(wù)流程變化域融合分析方法
【技術(shù)領(lǐng)域】
[0001] 本發(fā)明屬于業(yè)務(wù)流程可信分析領(lǐng)域，涉及到業(yè)務(wù)流程模型變化域的確定問(wèn)題，特 別適用于復(fù)雜業(yè)務(wù)流程系統(tǒng)中同時(shí)包含數(shù)據(jù)流和控制流時(shí)的變化域分析。
【背景技術(shù)】
[0002] 由于外界環(huán)境的變化業(yè)務(wù)流程系統(tǒng)的不斷發(fā)展，對(duì)業(yè)務(wù)流程進(jìn)行變化域分析已經(jīng) 成為業(yè)務(wù)流程系統(tǒng)可信分析的關(guān)鍵?；谒鶚?gòu)建的模型處于不同的環(huán)境中，不同的機(jī)構(gòu)對(duì) 模型的關(guān)注點(diǎn)也不同，有些業(yè)務(wù)流程系統(tǒng)不僅包含有控制流程，還有數(shù)據(jù)流程，已有的方法 大部是依據(jù)源模型從整體上去考察目標(biāo)模型的變化域，關(guān)注模型的控制流程較多，關(guān)注模 型數(shù)據(jù)流程的較少，缺少相關(guān)的融合分析方法，造成變化域分析不全面，從而很難得到目標(biāo) 模型優(yōu)化的變化域。也有從整體上進(jìn)行數(shù)據(jù)流程和控制流程的分析，造成復(fù)雜度較大，同時(shí) 由于數(shù)據(jù)流程和控制流程具有不同特點(diǎn)，直接融合分析也造成結(jié)果的不準(zhǔn)確。
[0003] 因此，面對(duì)同時(shí)包含數(shù)據(jù)流和控制流的復(fù)雜業(yè)務(wù)流程模型，有必要在分析分析兩 種流程模型變化域的基礎(chǔ)上，提出有針對(duì)性的行為包含分析方法，并分析兩種流程模型的 行為緊密度，融合分析出最終的變化域。依據(jù)行為包含關(guān)系能夠較準(zhǔn)確地確定整個(gè)模型的 變化域，而通過(guò)其他方法難以處理類似的情況。

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

[0004] 本發(fā)明所要解決的技術(shù)問(wèn)題是：提供一種通過(guò)研宄兩個(gè)子模型（即控制流網(wǎng)模型 和數(shù)據(jù)流網(wǎng)模型）的變化域，初步確定變化域的范圍，并在此基礎(chǔ)上基于Petri網(wǎng)的行為包 含理論，以及行為緊密度分析方法，確定影響目標(biāo)模型變化域的關(guān)鍵因子，開(kāi)展業(yè)務(wù)流程數(shù) 據(jù)流程和控制流程的變化域的融合分析方法，以確定業(yè)務(wù)流程模型最終的變化域。
[0005] 為解決以上技術(shù)問(wèn)題，本發(fā)明采用如下的技術(shù)方案：
[0006] 對(duì)業(yè)務(wù)流程模型進(jìn)行預(yù)處理，根據(jù)源模型和目標(biāo)模型的Petri網(wǎng)結(jié)構(gòu)特征，分別 構(gòu)建業(yè)務(wù)流程的控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型，并進(jìn)行模型的弱序關(guān)系分析。
[0007] 基于控制流網(wǎng)模型的行為輪廓和弱序關(guān)系，通過(guò)對(duì)源模型控制流網(wǎng)模型的對(duì)比分 析得出目標(biāo)模型控制流網(wǎng)模型的變化域。同理，基于數(shù)據(jù)流網(wǎng)模型的行為輪廓和弱序關(guān)系， 通過(guò)對(duì)源模型的數(shù)據(jù)流網(wǎng)模型的對(duì)比分析得出目標(biāo)模型數(shù)據(jù)流網(wǎng)模型的變化域。
[0008] 基于控制流網(wǎng)模型和整個(gè)模型間存在行為包含關(guān)系，可以由控制流網(wǎng)模型的變化 域得出目標(biāo)模型的一部分變化域。同理，基于數(shù)據(jù)流網(wǎng)模型和整個(gè)模型間也存在行為包含 關(guān)系，可以由數(shù)據(jù)流網(wǎng)模型的變化域得出目標(biāo)模型的另一部分變化域。依據(jù)緊密度的關(guān)系 定義，將控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型分別與整個(gè)網(wǎng)模型進(jìn)行緊密度的計(jì)算，并且基于緊 密度的計(jì)算確定了影響變化域的關(guān)鍵因子。最后利用行為包含關(guān)系及關(guān)鍵因子，將目標(biāo)模 型控制流網(wǎng)最終的變化域和數(shù)據(jù)流網(wǎng)最終的變化域進(jìn)行融合分析，得出目標(biāo)模型最終的變 化域。
【附圖說(shuō)明】
[0009] 圖1是本發(fā)明的流程模型的結(jié)構(gòu)圖。
[0010] 圖2是本發(fā)明的確定目標(biāo)模型控制流網(wǎng)模型變化域的流程圖。
[0011] 圖3是本發(fā)明的確定目標(biāo)模型數(shù)據(jù)流網(wǎng)模型變化域的流程圖。
[0012] 圖4是本發(fā)明的確定目標(biāo)模型最終變化域的流程圖。
【具體實(shí)施方式】
[0013] 本發(fā)明提出基于流程模型Petri網(wǎng)的變化域分析，依據(jù)源模型的行為輪廓簡(jiǎn)化分 析目標(biāo)模型的變化域，在此基礎(chǔ)上將源模型和目標(biāo)模型分別拆分為控制流網(wǎng)模型和數(shù)據(jù)流 網(wǎng)模型，分別從各自的角度去考察目標(biāo)模型控制流網(wǎng)方面的變化域和數(shù)據(jù)流網(wǎng)方面的變化 域，并且基于行為包含關(guān)系，將它們綜合在一起考察整個(gè)目標(biāo)模型的變化域，依據(jù)緊密度的 關(guān)系定義，將控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型分別與整個(gè)網(wǎng)模型進(jìn)行緊密度的計(jì)算，進(jìn)而得 出影響目標(biāo)模型最終變化域的關(guān)鍵因子。
[0014] 以下結(jié)合附圖對(duì)本發(fā)明作進(jìn)一步的說(shuō)明。
[0015] 圖1是本發(fā)明的流程模型的結(jié)構(gòu)圖，包括簡(jiǎn)化分析目標(biāo)模型的變化域、將源模型 和目標(biāo)模型分別分解成兩個(gè)子模型：控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型，基于Petri網(wǎng)的行為 輪廓關(guān)系，分別對(duì)比分析源模型和目標(biāo)模型的控制流部分和數(shù)據(jù)流部分，得出控制流網(wǎng)模 型和數(shù)據(jù)流網(wǎng)模型這兩個(gè)子模型的變化域，基于行為包含關(guān)系，確定目標(biāo)模型最終的變化 域，并依據(jù)緊密度的關(guān)系定義確定影響變化域的關(guān)鍵因子。
[0016] 圖2是本發(fā)明的確定目標(biāo)模型控制流網(wǎng)模型變化域的流程圖，具體來(lái)說(shuō)包括尋找 源模型和目標(biāo)模型的控制流網(wǎng)模型，并且分析相應(yīng)變迀對(duì)間的行為輪廓關(guān)系，找出不一致 的部分，進(jìn)而確定目標(biāo)模型控制流網(wǎng)模型的變化域。
[0017] 圖3是本發(fā)明的確定目標(biāo)模型數(shù)據(jù)流網(wǎng)模型變化域的流程圖，它包含尋找源模型 和目標(biāo)模型的數(shù)據(jù)流網(wǎng)模型，也是從行為輪廓的角度去分析，找出可疑的部分，進(jìn)而得出目 標(biāo)模型數(shù)據(jù)流網(wǎng)模型的變化域。
[0018] 圖4是本發(fā)明的確定目標(biāo)模型最終變化域的流程圖，通過(guò)簡(jiǎn)化分析源模型和目標(biāo) 模型流程圖得出目標(biāo)模型的變化域?yàn)椋═N)C，基于行為包含關(guān)系和緊密度計(jì)算得出目標(biāo)模 型控制流網(wǎng)最終的變化域?yàn)椋═CN)。，目標(biāo)模型數(shù)據(jù)流網(wǎng)最終的變化域?yàn)椋═DN)。?；诰o密 度的計(jì)算確定了影響變化域的關(guān)鍵因子Fac。最后利用行為包含關(guān)系及關(guān)鍵因子，將目標(biāo)模 型控制流網(wǎng)最終的變化域和數(shù)據(jù)流網(wǎng)最終的變化域進(jìn)行融合分析，得出目標(biāo)模型最終的變 化域。綜合考慮以后得出目標(biāo)模型最終的變化域?yàn)?br>【主權(quán)項(xiàng)】
1. 尋找業(yè)務(wù)流程模型變化域的新方法，包括對(duì)業(yè)務(wù)流程模型進(jìn)行簡(jiǎn)化分析以及進(jìn)行分 害J、分析業(yè)務(wù)流程控制流網(wǎng)及數(shù)據(jù)流網(wǎng)的變化域、基于行為包含關(guān)系確定業(yè)務(wù)流程模型最 終的變化域，其特征在于：通過(guò)對(duì)業(yè)務(wù)流程模型進(jìn)行分割處理，實(shí)現(xiàn)了對(duì)業(yè)務(wù)流程模型區(qū)域 化分析變化域，在行為包含的基礎(chǔ)上進(jìn)行了目標(biāo)模型最終變化域的確定，并且基于緊密度 的關(guān)系確定了影響目標(biāo)模型變化域的關(guān)鍵因子，有效地降低了尋找目標(biāo)模型變化域的時(shí)間 復(fù)雜度。2. 根據(jù)權(quán)利要求1所述的行為包含關(guān)系，其特征在于：依據(jù)目標(biāo)模型控制流網(wǎng)與整個(gè) 目標(biāo)模型間存在行為包含關(guān)系，因而可以由目標(biāo)模型控制流網(wǎng)的變化域去確定整個(gè)目標(biāo)模 型的一部分變化域，對(duì)應(yīng)目標(biāo)模型數(shù)據(jù)流網(wǎng)也是一樣的道理。因此，依據(jù)行為包含關(guān)系，能 有效地找出目標(biāo)模型控制流網(wǎng)和數(shù)據(jù)流網(wǎng)方面的變化域，而且能夠降低尋找目標(biāo)模型變化 域的復(fù)雜度，也能確定目標(biāo)模型最終的變化域。3. 根據(jù)權(quán)利要求1所述的緊密度關(guān)系，其特征在于：將控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型 分別與整個(gè)網(wǎng)模型進(jìn)行分析，依據(jù)這些網(wǎng)相鄰語(yǔ)義變迀之間所隔變迀的個(gè)數(shù)來(lái)進(jìn)行緊密度 的計(jì)算，并且緊密度的值越大越能夠影響目標(biāo)模型的變化域，進(jìn)而能夠確定影響目標(biāo)模型 最終變化域的關(guān)鍵因子。
【專利摘要】基于Petri網(wǎng)行為包含關(guān)系的業(yè)務(wù)流程變化域的融合分析，適合處理復(fù)雜業(yè)務(wù)流程系統(tǒng)中同時(shí)包含數(shù)據(jù)流和控制流的情況。首先利用Petri網(wǎng)建模方法分別建立業(yè)務(wù)流程的控制流網(wǎng)模型和數(shù)據(jù)流網(wǎng)模型，然后通過(guò)源模型和目標(biāo)模型的行為一致性分析分別得出目標(biāo)模型中的控制流網(wǎng)和數(shù)據(jù)流網(wǎng)的變化域，再基于Petri網(wǎng)行為包含關(guān)系理論分析數(shù)據(jù)流網(wǎng)和控制流網(wǎng)中的行為包含關(guān)系，并且基于緊密度的計(jì)算確定了影響變化域的關(guān)鍵因子。最后利用行為包含關(guān)系及關(guān)鍵因子，將目標(biāo)模型控制流網(wǎng)最終的變化域和數(shù)據(jù)流網(wǎng)最終的變化域進(jìn)行融合分析，得出目標(biāo)模型最終的變化域。本發(fā)明能有效地避免模型分拆帶來(lái)的行為丟失問(wèn)題，且能夠降低問(wèn)題分析的時(shí)間復(fù)雜度。
【IPC分類】G06F19/00
【公開(kāi)號(hào)】CN104933325
【申請(qǐng)?zhí)枴緾N201510437490
【發(fā)明人】方賢文, 趙芳, 方新建, 方歡, 劉祥偉
【申請(qǐng)人】安徽理工大學(xué)
【公開(kāi)日】2015年9月23日
【申請(qǐng)日】2015年7月22日