基于Petri網(wǎng)的流程模型變化挖掘及變化傳播分析
發(fā)布時(shí)間:2022-01-06 16:52
業(yè)務(wù)流程的變化挖掘分析是業(yè)務(wù)流程管理的重要內(nèi)容之一,旨在發(fā)現(xiàn)業(yè)務(wù)系統(tǒng)在不同過程視角或不同運(yùn)行層次中隱含的變化,為系統(tǒng)更新或優(yōu)化奠定基礎(chǔ)。隨著計(jì)算機(jī)系統(tǒng)開放性的逐漸增強(qiáng),以及用戶需求的不斷變化會(huì)使得同一個(gè)業(yè)務(wù)系統(tǒng)產(chǎn)生多個(gè)存在差異的運(yùn)行實(shí)體,使得原有的業(yè)務(wù)流程模型變得脆弱難以適應(yīng)新的變化環(huán)境。所以,挖掘出業(yè)務(wù)系統(tǒng)內(nèi)隱含的變化是業(yè)務(wù)管理系統(tǒng)的核心問題。目前,業(yè)務(wù)流程的研究主要集中在過程挖掘以及變化傳播分析上,對(duì)于變化挖掘方面的研究比較匱乏。已有的過程挖掘是基于靜態(tài)的事件日志,利用行為輪廓或弱序關(guān)系挖掘目標(biāo)模型,對(duì)于動(dòng)態(tài)的存在變化的事件日志具有一定的局限性;已有的變化傳播主要處理由單個(gè)業(yè)務(wù)流程拓展的相似流程間變化域問題,對(duì)具有信息傳遞的交互流程相關(guān)研究比較困難。本文以Petri網(wǎng)原理和行為輪廓的相關(guān)理論,并結(jié)合行為包含、特征日志為基礎(chǔ),在給定原有參考模型以及動(dòng)態(tài)的變化事件日志條件下,挖掘出實(shí)際系統(tǒng)內(nèi)存在的局部變體,并且對(duì)施加的變化過程進(jìn)行挖掘分析,便于進(jìn)一步的解決交互流程間的變化傳播問題。主要內(nèi)容如下所述:(1)針對(duì)變化事件日志的挖掘變化域問題,已有的文獻(xiàn)主要處理流程模型間的一致性或變化域問題...
【文章來源】:安徽理工大學(xué)安徽省
【文章頁數(shù)】:78 頁
【學(xué)位級(jí)別】:碩士
【部分圖文】:
圖1本文結(jié)構(gòu)示意圖??Fig?1?Schematic?diagram?of?this?paper??
?架構(gòu)是不可視的,已有的方法是通過系統(tǒng)產(chǎn)生的大量事件日志重構(gòu)模型,再與原??設(shè)計(jì)模型一致性比較,如圖2所示。但重構(gòu)模型并不能保證其質(zhì)量,此過程可能??產(chǎn)生不必要的偏差。??廣???一致性??(原設(shè)計(jì)模型??發(fā)'??.丄?^^??系統(tǒng)一_—,事件日志__g■程?./模型??圖2系統(tǒng)評(píng)估??Fig?2?System?evaluation??為了有效提高系統(tǒng)測試結(jié)果,本文提出了基于行為包含的日志變化挖掘方法,??直接對(duì)事件日志進(jìn)行分析,主要包括日志和模型后繼關(guān)系的計(jì)算,行為包含的具??體誘導(dǎo)規(guī)則,以及如何利用行為包含與行為輪廓關(guān)系對(duì)完備日志進(jìn)行變化挖掘。??3.3.1計(jì)算日志的行為包含??通過直接分析處理實(shí)際系統(tǒng)運(yùn)行產(chǎn)生的事件日志,可以挖掘出系統(tǒng)對(duì)應(yīng)仿真??模型的變法片段。如果該日志所有活動(dòng)的行為關(guān)系都包含于預(yù)定義模型中,則說??明實(shí)際系統(tǒng)符合設(shè)計(jì)規(guī)范與要求,否則存在變化。下面給出計(jì)算日志的活動(dòng)行為??是否包含于預(yù)定義模型的具體方法。??定義3.6_?(行為包含)己知網(wǎng)系統(tǒng)為S?=?(iV
:必要條件,證明過程參照文獻(xiàn)[9]推論2和推論3。??.3.2基于日志行為輪廓的基本結(jié)構(gòu)??根據(jù)上節(jié)提出的后繼包含關(guān)系,可以判斷日志活動(dòng)行為是否包含于預(yù)定義模??型,對(duì)于不滿足行為包含的活動(dòng)集合,接下來利用基于日志的行為輪廓方法挖掘??其對(duì)應(yīng)的變化片段。??要想準(zhǔn)確挖掘出變化活動(dòng)對(duì)應(yīng)的模型片段,必須明確基于日志行為輪廓的基??本結(jié)構(gòu),一些常見的結(jié)構(gòu)如下,活動(dòng)下標(biāo)代表滿足該結(jié)構(gòu)的活動(dòng)至少在跡中發(fā)生??的次數(shù)。??(1)如果日志Z?=?即貝�。蕦�(duì)應(yīng)的基本結(jié)構(gòu)如圖3⑷;??(2)如果曰志Z?=??具..},即[,則對(duì)應(yīng)的基本結(jié)構(gòu)如圖3(b);??(3)如果日志1?=?{...;^...},即;|(:2|^少1,則對(duì)應(yīng)的基本結(jié)構(gòu)如果3((:)??(4)如果日志1?=?{...工...;...少...},即;[:>^_};,則對(duì)應(yīng)的基本結(jié)構(gòu)如圖3(£1)。??
【參考文獻(xiàn)】:
期刊論文
[1]基于Petri網(wǎng)Behavior Inclusion的業(yè)務(wù)流程變化域融合分析[J]. 方賢文,趙芳,方歡,劉祥偉. 計(jì)算機(jī)學(xué)報(bào). 2018(03)
[2]基于變遷標(biāo)簽圖編輯距離的過程模型相似性度量[J]. 王子璇,聞立杰,汪抒浩,王建民. 計(jì)算機(jī)集成制造系統(tǒng). 2016(02)
[3]基于觸發(fā)序列集合的過程模型行為相似性算法[J]. 董子禾,聞立杰,黃浩未,王建民. 軟件學(xué)報(bào). 2015(03)
[4]基于行為片段模式的流程模型Petri網(wǎng)交互變化區(qū)域的責(zé)任分析[J]. 楊艷,方賢文,劉祥偉. 計(jì)算機(jī)科學(xué). 2014(07)
[5]基于Petri網(wǎng)的流程模型中最小變化域的分析方法[J]. 郝文君,方賢文. 計(jì)算機(jī)科學(xué). 2012(S3)
[6]Verification of workflow nets with transition conditions[J]. Zhao-xia WANG 1,2,3,4,5,Jian-min WANG 1,3,4,Xiao-chen ZHU 1,2,3,4,Li-jie WEN 1,3,4(1 School of Software,Tsinghua University,Beijing 100084,China) (2 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China) (3 MOE Key Laboratory for Information System Security,Tsinghua University,Beijing 100084,China) (4 National Laboratory for Information Science and Technology,Tsinghua University,Beijing 100084,China) (5 Department of Logistical Information & Engineering,Logistical Engineering University,Chongqing 400016,China). Journal of Zhejiang University-Science C(Computers & Electronics). 2012(07)
本文編號(hào):3572824
【文章來源】:安徽理工大學(xué)安徽省
【文章頁數(shù)】:78 頁
【學(xué)位級(jí)別】:碩士
【部分圖文】:
圖1本文結(jié)構(gòu)示意圖??Fig?1?Schematic?diagram?of?this?paper??
?架構(gòu)是不可視的,已有的方法是通過系統(tǒng)產(chǎn)生的大量事件日志重構(gòu)模型,再與原??設(shè)計(jì)模型一致性比較,如圖2所示。但重構(gòu)模型并不能保證其質(zhì)量,此過程可能??產(chǎn)生不必要的偏差。??廣???一致性??(原設(shè)計(jì)模型??發(fā)'??.丄?^^??系統(tǒng)一_—,事件日志__g■程?./模型??圖2系統(tǒng)評(píng)估??Fig?2?System?evaluation??為了有效提高系統(tǒng)測試結(jié)果,本文提出了基于行為包含的日志變化挖掘方法,??直接對(duì)事件日志進(jìn)行分析,主要包括日志和模型后繼關(guān)系的計(jì)算,行為包含的具??體誘導(dǎo)規(guī)則,以及如何利用行為包含與行為輪廓關(guān)系對(duì)完備日志進(jìn)行變化挖掘。??3.3.1計(jì)算日志的行為包含??通過直接分析處理實(shí)際系統(tǒng)運(yùn)行產(chǎn)生的事件日志,可以挖掘出系統(tǒng)對(duì)應(yīng)仿真??模型的變法片段。如果該日志所有活動(dòng)的行為關(guān)系都包含于預(yù)定義模型中,則說??明實(shí)際系統(tǒng)符合設(shè)計(jì)規(guī)范與要求,否則存在變化。下面給出計(jì)算日志的活動(dòng)行為??是否包含于預(yù)定義模型的具體方法。??定義3.6_?(行為包含)己知網(wǎng)系統(tǒng)為S?=?(iV
:必要條件,證明過程參照文獻(xiàn)[9]推論2和推論3。??.3.2基于日志行為輪廓的基本結(jié)構(gòu)??根據(jù)上節(jié)提出的后繼包含關(guān)系,可以判斷日志活動(dòng)行為是否包含于預(yù)定義模??型,對(duì)于不滿足行為包含的活動(dòng)集合,接下來利用基于日志的行為輪廓方法挖掘??其對(duì)應(yīng)的變化片段。??要想準(zhǔn)確挖掘出變化活動(dòng)對(duì)應(yīng)的模型片段,必須明確基于日志行為輪廓的基??本結(jié)構(gòu),一些常見的結(jié)構(gòu)如下,活動(dòng)下標(biāo)代表滿足該結(jié)構(gòu)的活動(dòng)至少在跡中發(fā)生??的次數(shù)。??(1)如果日志Z?=?即貝�。蕦�(duì)應(yīng)的基本結(jié)構(gòu)如圖3⑷;??(2)如果曰志Z?=??具..},即[,則對(duì)應(yīng)的基本結(jié)構(gòu)如圖3(b);??(3)如果日志1?=?{...;^...},即;|(:2|^少1,則對(duì)應(yīng)的基本結(jié)構(gòu)如果3((:)??(4)如果日志1?=?{...工...;...少...},即;[:>^_};,則對(duì)應(yīng)的基本結(jié)構(gòu)如圖3(£1)。??
【參考文獻(xiàn)】:
期刊論文
[1]基于Petri網(wǎng)Behavior Inclusion的業(yè)務(wù)流程變化域融合分析[J]. 方賢文,趙芳,方歡,劉祥偉. 計(jì)算機(jī)學(xué)報(bào). 2018(03)
[2]基于變遷標(biāo)簽圖編輯距離的過程模型相似性度量[J]. 王子璇,聞立杰,汪抒浩,王建民. 計(jì)算機(jī)集成制造系統(tǒng). 2016(02)
[3]基于觸發(fā)序列集合的過程模型行為相似性算法[J]. 董子禾,聞立杰,黃浩未,王建民. 軟件學(xué)報(bào). 2015(03)
[4]基于行為片段模式的流程模型Petri網(wǎng)交互變化區(qū)域的責(zé)任分析[J]. 楊艷,方賢文,劉祥偉. 計(jì)算機(jī)科學(xué). 2014(07)
[5]基于Petri網(wǎng)的流程模型中最小變化域的分析方法[J]. 郝文君,方賢文. 計(jì)算機(jī)科學(xué). 2012(S3)
[6]Verification of workflow nets with transition conditions[J]. Zhao-xia WANG 1,2,3,4,5,Jian-min WANG 1,3,4,Xiao-chen ZHU 1,2,3,4,Li-jie WEN 1,3,4(1 School of Software,Tsinghua University,Beijing 100084,China) (2 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China) (3 MOE Key Laboratory for Information System Security,Tsinghua University,Beijing 100084,China) (4 National Laboratory for Information Science and Technology,Tsinghua University,Beijing 100084,China) (5 Department of Logistical Information & Engineering,Logistical Engineering University,Chongqing 400016,China). Journal of Zhejiang University-Science C(Computers & Electronics). 2012(07)
本文編號(hào):3572824
本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/3572824.html
最近更新
教材專著