資源描述：
《基于開放Petri網(wǎng)的帶日志的流程模型的變化域分析.pdf》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學術(shù)論文-天天文庫。
1、分類號丁卩單位代碼：安焱這工犬學圃■傲論文題目：基于開放網(wǎng)的帶日志的流程模型的變化域分析作者姓名：李小毛專業(yè)名稱：應(yīng)用數(shù)學理學導師姓名：方賢文教授完成時間：二—五年六月中圖分類號：論文編號學科分類號：密級：公開安徽理工大學碩士學位論文基于幵放網(wǎng)的帶日志的流程模型的變化域分析作者姓名：李小毛專業(yè)名稱：應(yīng)用數(shù)學研宄方向：優(yōu)化理論與應(yīng)用導師姓名：方賢文教授導師單位：安徽理工大學答辯委員會主席：失士信論文答辯日期：年月日安徽理工大學研宄生處年月日ADissertationinComputerApplicationTechnologyAnalysisabout
2、theChangeRegionoftheProcessModelwiththeLogbasedonOpenPetriNetCandidate:LiXiaoMaoSupervisor:Prof.FangXianwenMajorofAppliedMathematicsAnHuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA獨創(chuàng)性聲明本人聲明所呈交的學位論文是本人在導師指導下進行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標注和致謝的地方以外
3、，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得安徽理工大學或其他教育機構(gòu)的學位或證書而傕用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作了明確的說明并表謝意。學位論文作者簽名：盡日期：年月上曰學位論文版權(quán)使用授權(quán)書本學位論文作者完全了解安徽理工大學有保留、使用學位論文的規(guī)定，即：研究生在校攻讀學位期間論文工作的知識產(chǎn)權(quán)單位屬于安徽理工大學。學校有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復印件和磁盤，允許論文被查閱和借閱。本人授權(quán)安徽理工大學可以將學位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢索，可以釆用影印、縮印或掃描等
4、復制手段保存、匯編學位論文。（保密的學位論文在解密后適用本授權(quán)書）學位論文作者簽名：簽字日期：年月日導師簽名：，簽字曰期：年月日摘要摘要業(yè)務(wù)流程作為業(yè)務(wù)系統(tǒng)的核心，逐漸成為業(yè)務(wù)流程管理的核心內(nèi)容之一。由于用戶需求的多樣化、業(yè)務(wù)系統(tǒng)功能的復雜化以及環(huán)境的開放化，對于業(yè)務(wù)流程的建模和分析也變得困難?，F(xiàn)如今，越來越多的公司和企業(yè)使用業(yè)務(wù)流程管理）來處理商業(yè)事務(wù)，過程挖掘技術(shù)的主要工作就是在流程管理的基礎(chǔ)上挖掘有效數(shù)據(jù)，即根據(jù)日志記錄文件中記錄的相關(guān)信息可以重新構(gòu)建系統(tǒng)模型，進而分析變化域等相關(guān)性質(zhì)。傳統(tǒng)的流程挖掘技術(shù)主要關(guān)注于離線業(yè)務(wù)流程的挖掘和分析，然而
5、對于開放性系統(tǒng)而言，以前的一些研究方法可能存在不足，而且對復雜的開放性系統(tǒng)來說，其建模和變化域分析更加困難。因此在開放性系統(tǒng)中借助流程挖掘技術(shù)分析流程模型的構(gòu)建和變化域具有非常重要的意義。己有的研宄方法都是在給定參考模型的基礎(chǔ)上，在網(wǎng)的約束下，借助測度、等工具來分析已給模型與參照模型的差異程度，即一致與否。如果出現(xiàn)非一致，則最后就需要定位存在非預期行為區(qū)域，進而尋找對引起這一變化負責的一方。由于開放網(wǎng)系統(tǒng)的復雜性和多變性，而且在實際應(yīng)用中，參考模型很難給定出來，更多的是給定部分日志，根據(jù)日志來分析相關(guān)性質(zhì)，因此繼續(xù)使用傳統(tǒng)的分析方法無法解決上述問題。
6、基于這種背景，想要剖析這些問題，并尋找解決方法，本文開展了以下兩方面的研宄：流程模型是分析網(wǎng)系統(tǒng)性質(zhì)的重要基礎(chǔ)，因此首先考慮的問題就是如何正確構(gòu)建模型。針對開放性網(wǎng)系統(tǒng)的特殊性和復雜性，本文提出了一種新的建模方法，即利用開放網(wǎng)的相關(guān)知識，將其作為建模工具構(gòu)建模型。最后將這一方法應(yīng)用到電子商務(wù)中的在線充值系統(tǒng)上進行實際演練，通過具體實例，從不變量和可達性兩個方面分析相關(guān)性質(zhì)，驗證了這種建模方法的有效性與簡明性。該方法不僅簡化了復雜的開放性網(wǎng)絡(luò)系統(tǒng)，還有利于進一步研宄模型的一些重要性質(zhì)。變化域的研宄是業(yè)務(wù)流程管理中的核心問題，分析流程模型的變化域有利于建
7、模者發(fā)現(xiàn)問題，進而改善流程模型，使其滿足建模要求。在開放網(wǎng)的環(huán)境下，通過給定部分執(zhí)行事件日志來確定業(yè)務(wù)流程變化域的問題是本文主要研宄的方向。現(xiàn)有的研究方法主要是在給出模型的基礎(chǔ)上利用行為語義的方法來分析變化區(qū)域。然而對只給出部分日志，傳統(tǒng)方法就會出現(xiàn)或多或少的不足之處。本文在考慮部分事件日志的情況下，提出了一種基于日志錯誤點確定模型變化域的分析方法。通過給定日志挖掘出原模型，計算日志的錯誤點，根據(jù)錯誤程度的摘要不同進行分類，最終確定可疑變化區(qū)域，并給出實例驗證方法的可行性。這種新方式彌補了沒有目標模型的缺陷，降低了分析難度。圖表參關(guān)鍵詞：開放網(wǎng)；行為
8、輪廓；日志；錯誤點；過程挖掘；變化域分類號：摘要，，，，，摘要：，，，目錄目錄插圖清單纖弓丨研宄背景研宄現(xiàn)狀
