資源描述：
《基于Petri網(wǎng)配置的合并模型變化域分析方法研究.pdf》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、分類號：單位代碼：一安反這工犬學(xué)論文題目：基于網(wǎng)配置的合并模型變化域分析方法研究作者姓名：趙娟專業(yè)名稱：應(yīng)用數(shù)學(xué)導(dǎo)師姓名：嚴少平副教授完成時間：二—五年六月中圖分類號：論文編號學(xué)科分類號：密級：公開安黴理工大學(xué)碩士學(xué)位論文基于網(wǎng)配置的合并模型變化域分析方法研究娟專業(yè)名稱：應(yīng)用數(shù)學(xué)翻方向：優(yōu)化理論應(yīng)用導(dǎo)纖名：嚴平畐丨教授導(dǎo)師單位安徽理工大學(xué)員會姚朱士信教授論文辦日期：年月日年月日ADissertationinAppliedMathematicsResearchontheMethodofChangeDomainBased
2、onMergedModelofPetriNetConfigurationCandidate:ZhaoJuanSupervisor:Prof.FangXianwenMajorofAppliedMathematicsAnhuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA獨創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標注和致謝的地方以外，論文中不包含其他
3、人巳經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得安徽里王太生一或其他教育機構(gòu)的學(xué)位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名：絶曰期：滅年月』曰學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解安徽理工大學(xué)有倮留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)單位屬于安徽理工大學(xué)》學(xué)校有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授權(quán)安徽理工大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢索，可以
4、釆用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本授權(quán)書）學(xué)位論文作者簽名：知鄉(xiāng)簽字曰期年月曰簽字曰期：年月曰導(dǎo)師簽名尋夕平摘要摘要隨著業(yè)務(wù)需求的復(fù)雜化和多元化，業(yè)務(wù)流程模型的管理也隨之變得越來越有難度。在業(yè)務(wù)流程系統(tǒng)中，為了滿足用戶對復(fù)雜的業(yè)務(wù)系統(tǒng)功能的要求，經(jīng)常需要將多個業(yè)務(wù)流程模型進行合并。但是，合并后的模型在運行過程中經(jīng)常會出現(xiàn)異常，找出合并模型的變化區(qū)域或者是導(dǎo)致異常的疑似變化區(qū)域后，我們才可以對疑似變化區(qū)域進行修復(fù)最終來完成預(yù)期目標。于是，找出合并模型的疑似變化區(qū)域成了業(yè)務(wù)管
5、理的重要前提。而提取合并模型的摘要是確定變化區(qū)域的有效分析方法之一。目前對于摘要的提取主要集中于從合并模型的互逆性和可追溯性，主要考慮將多個輸入模型合并后得到一個合并模型，進而分析摘要的提取。但是這樣得到的摘要往往會有部分語義缺失?；蛘哒f，提取出的摘要直接作為變化區(qū)域較不精確，而且沒有將目標模型的變化區(qū)域和責任方模型緊密結(jié)合起來分析研究。正是由于以上研究背景，本文在網(wǎng)的一系列基本性質(zhì)和擴展的結(jié)構(gòu)樹的基礎(chǔ)上，考慮由合并模型的綜合行為輪廓和結(jié)構(gòu)樹挖掘出摘要，進而利用模塊分解對摘要進行優(yōu)化，并借助合并模型的可追溯性將變化區(qū)
6、域和責任方模型有效結(jié)合起來分析。本文主要貢獻有：提出了基于網(wǎng)配置的合并模型摘要的提取方法。合并模型的摘要是服務(wù)于同一建模目標的多個輸入模型的共同片段，用于建模者通過比較輸入模型的共性與區(qū)別從而來簡化合并模型。但是這樣得到的摘要會有部分語義缺失。本文在配置庫所的網(wǎng)模型的基本性質(zhì)的基本框架的基礎(chǔ)上，對輸入模型進行分析，給出摘要的行為輪廓和結(jié)構(gòu)樹的相關(guān)算法，進而提取出輸入模型的摘要。然后，我們將摘要中缺失語義的活動變遷視為配置接口，對其進行配置以優(yōu)化摘要。最后，基于上述分析方法給出了一個具體的業(yè)務(wù)流程模型的實例，理論與實例
7、相結(jié)合證實了此分析方法的正確性。提出了基于網(wǎng)合并模型的疑似變化區(qū)域的分析。由于技術(shù)的更新?lián)Q代、用戶觀念的幵放思維和要求的逐漸嚴格，導(dǎo)致服務(wù)同一個建模目標的流程模型往往不是單一的而是千變?nèi)f化的。但是，總會有一根主線也就是模型相關(guān)性將他們串聯(lián)在一起，為了避免責任方模型的變化區(qū)域分析的復(fù)雜性和重復(fù)運算，本文把相關(guān)程度較高的多個業(yè)務(wù)網(wǎng)合并為帶有標識符的合并網(wǎng)模型即摘要合并模型）；并從中提取摘要（找出變化區(qū)域；然后，基于模塊行為輪廓對變化區(qū)域進行優(yōu)化；最后，通過合并網(wǎng)模型的可追溯性找出責任方模型的疑似變化區(qū)域。圖表參關(guān)鍵詞：網(wǎng)
8、；配置；合并模型；責任方；變化區(qū)域分類號：AbstractAbstractWiththecomplexityanddiversityofbusinessneeds,businessprocessmanagementisbecomingincreasinglydificult.Inthebusinessprocesssystems,amultip
