基于開(kāi)放Petri網(wǎng)的帶日志的流程模型的變化域分析.pdf

《基于開(kāi)放Petri網(wǎng)的帶日志的流程模型的變化域分析.pdf》由會(huì)員上傳分享，免費(fèi)在線(xiàn)閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。

1、分類(lèi)號(hào)丁卩單位代碼：安焱這工犬學(xué)圃■傲論文題目：基于開(kāi)放網(wǎng)的帶日志的流程模型的變化域分析作者姓名：李小毛專(zhuān)業(yè)名稱(chēng)：應(yīng)用數(shù)學(xué)理學(xué)導(dǎo)師姓名：方賢文教授完成時(shí)間：二—五年六月中圖分類(lèi)號(hào)：論文編號(hào)學(xué)科分類(lèi)號(hào)：密級(jí)：公開(kāi)安徽理工大學(xué)碩士學(xué)位論文基于幵放網(wǎng)的帶日志的流程模型的變化域分析作者姓名：李小毛專(zhuān)業(yè)名稱(chēng)：應(yīng)用數(shù)學(xué)研宄方向：優(yōu)化理論與應(yīng)用導(dǎo)師姓名：方賢文教授導(dǎo)師單位：安徽理工大學(xué)答辯委員會(huì)主席：失士信論文答辯日期：年月日安徽理工大學(xué)研宄生處年月日ADissertationinComputerApplicationTechnologyAnalysisabout

2、theChangeRegionoftheProcessModelwiththeLogbasedonOpenPetriNetCandidate:LiXiaoMaoSupervisor:Prof.FangXianwenMajorofAppliedMathematicsAnHuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方以外

3、，論文中不包含其他人已經(jīng)發(fā)表或撰寫(xiě)過(guò)的研究成果，也不包含為獲得安徽理工大學(xué)或其他教育機(jī)構(gòu)的學(xué)位或證書(shū)而傕用過(guò)的材料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說(shuō)明并表謝意。學(xué)位論文作者簽名：盡日期：年月上曰學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解安徽理工大學(xué)有保留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬于安徽理工大學(xué)。學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和磁盤(pán)，允許論文被查閱和借閱。本人授權(quán)安徽理工大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以釆用影印、縮印或掃描等

4、復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本授權(quán)書(shū)）學(xué)位論文作者簽名：簽字日期：年月日導(dǎo)師簽名：，簽字曰期：年月日摘要摘要業(yè)務(wù)流程作為業(yè)務(wù)系統(tǒng)的核心，逐漸成為業(yè)務(wù)流程管理的核心內(nèi)容之一。由于用戶(hù)需求的多樣化、業(yè)務(wù)系統(tǒng)功能的復(fù)雜化以及環(huán)境的開(kāi)放化，對(duì)于業(yè)務(wù)流程的建模和分析也變得困難。現(xiàn)如今，越來(lái)越多的公司和企業(yè)使用業(yè)務(wù)流程管理）來(lái)處理商業(yè)事務(wù)，過(guò)程挖掘技術(shù)的主要工作就是在流程管理的基礎(chǔ)上挖掘有效數(shù)據(jù)，即根據(jù)日志記錄文件中記錄的相關(guān)信息可以重新構(gòu)建系統(tǒng)模型，進(jìn)而分析變化域等相關(guān)性質(zhì)。傳統(tǒng)的流程挖掘技術(shù)主要關(guān)注于離線(xiàn)業(yè)務(wù)流程的挖掘和分析，然而

5、對(duì)于開(kāi)放性系統(tǒng)而言，以前的一些研究方法可能存在不足，而且對(duì)復(fù)雜的開(kāi)放性系統(tǒng)來(lái)說(shuō)，其建模和變化域分析更加困難。因此在開(kāi)放性系統(tǒng)中借助流程挖掘技術(shù)分析流程模型的構(gòu)建和變化域具有非常重要的意義。己有的研宄方法都是在給定參考模型的基礎(chǔ)上，在網(wǎng)的約束下，借助測(cè)度、等工具來(lái)分析已給模型與參照模型的差異程度，即一致與否。如果出現(xiàn)非一致，則最后就需要定位存在非預(yù)期行為區(qū)域，進(jìn)而尋找對(duì)引起這一變化負(fù)責(zé)的一方。由于開(kāi)放網(wǎng)系統(tǒng)的復(fù)雜性和多變性，而且在實(shí)際應(yīng)用中，參考模型很難給定出來(lái)，更多的是給定部分日志，根據(jù)日志來(lái)分析相關(guān)性質(zhì)，因此繼續(xù)使用傳統(tǒng)的分析方法無(wú)法解決上述問(wèn)題。

6、基于這種背景，想要剖析這些問(wèn)題，并尋找解決方法，本文開(kāi)展了以下兩方面的研宄：流程模型是分析網(wǎng)系統(tǒng)性質(zhì)的重要基礎(chǔ)，因此首先考慮的問(wèn)題就是如何正確構(gòu)建模型。針對(duì)開(kāi)放性網(wǎng)系統(tǒng)的特殊性和復(fù)雜性，本文提出了一種新的建模方法，即利用開(kāi)放網(wǎng)的相關(guān)知識(shí)，將其作為建模工具構(gòu)建模型。最后將這一方法應(yīng)用到電子商務(wù)中的在線(xiàn)充值系統(tǒng)上進(jìn)行實(shí)際演練，通過(guò)具體實(shí)例，從不變量和可達(dá)性?xún)蓚€(gè)方面分析相關(guān)性質(zhì)，驗(yàn)證了這種建模方法的有效性與簡(jiǎn)明性。該方法不僅簡(jiǎn)化了復(fù)雜的開(kāi)放性網(wǎng)絡(luò)系統(tǒng)，還有利于進(jìn)一步研宄模型的一些重要性質(zhì)。變化域的研宄是業(yè)務(wù)流程管理中的核心問(wèn)題，分析流程模型的變化域有利于建

7、模者發(fā)現(xiàn)問(wèn)題，進(jìn)而改善流程模型，使其滿(mǎn)足建模要求。在開(kāi)放網(wǎng)的環(huán)境下，通過(guò)給定部分執(zhí)行事件日志來(lái)確定業(yè)務(wù)流程變化域的問(wèn)題是本文主要研宄的方向。現(xiàn)有的研究方法主要是在給出模型的基礎(chǔ)上利用行為語(yǔ)義的方法來(lái)分析變化區(qū)域。然而對(duì)只給出部分日志，傳統(tǒng)方法就會(huì)出現(xiàn)或多或少的不足之處。本文在考慮部分事件日志的情況下，提出了一種基于日志錯(cuò)誤點(diǎn)確定模型變化域的分析方法。通過(guò)給定日志挖掘出原模型，計(jì)算日志的錯(cuò)誤點(diǎn)，根據(jù)錯(cuò)誤程度的摘要不同進(jìn)行分類(lèi)，最終確定可疑變化區(qū)域，并給出實(shí)例驗(yàn)證方法的可行性。這種新方式彌補(bǔ)了沒(méi)有目標(biāo)模型的缺陷，降低了分析難度。圖表參關(guān)鍵詞：開(kāi)放網(wǎng)；行為

8、輪廓；日志；錯(cuò)誤點(diǎn)；過(guò)程挖掘；變化域分類(lèi)號(hào)：摘要，，，，，摘要：，，，目錄目錄插圖清單纖弓丨研宄背景研宄現(xiàn)狀