資源描述：
《基于petri網(wǎng)模型合并可配置業(yè)務(wù)流程變化域分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、萬方數(shù)據(jù)ADissertationinAppliedMathematics．TheChangeRegionAnalysisofConfigurableBusinessProcessbasedonMergingModelofPetriNetCandidate：OuyangHongSupervisor：Prof．FangXianwenSchoolofScienceAnHuiUniversityofScienceandTechnologyNo．168，ShungengRoad，Huainan，232001，P．R．CHINA萬方數(shù)據(jù)獨(dú)創(chuàng)性聲明本人聲明所呈
2、交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得塞徽理王太堂或其他教育機(jī)構(gòu)的學(xué)位或證書而使用過的材料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名：堡壘車壘垃日期：造年』月衛(wèi)日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解塞邀理王太堂有保留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬于塞邀堡王太堂。學(xué)校有權(quán)保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤
3、，允許論文被查閱和借閱。本人授權(quán)安徽理工大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。(保密的學(xué)位論文在解密后適用本授權(quán)書)學(xué)位論文作者簽名：膨p一∥簽字日期：Ⅵl蛑<月c口日導(dǎo)師簽名：≥侈0簽字日期渺I孓年6月c。日萬方數(shù)據(jù)摘要摘要目前，業(yè)務(wù)流程管理已被廣泛提出并被應(yīng)用到企業(yè)流程管理及系統(tǒng)分析設(shè)計(jì)等智能化管理領(lǐng)域。其主要是對(duì)流程模型進(jìn)行相關(guān)性分析，即它們的相互影響程度進(jìn)行分析，從而得知它們對(duì)彼此行為的影響，再從中找出變化區(qū)域。但是由于大部分實(shí)際模型都有龐大復(fù)雜而冗余的體系，人們無法
4、通過經(jīng)驗(yàn)分析得到正確的答案，而如果用以往的求變化域的方法對(duì)大型復(fù)雜系統(tǒng)進(jìn)行分析，不僅工作量大的驚人，而且無法對(duì)具有復(fù)雜對(duì)應(yīng)的模型系統(tǒng)進(jìn)行分析比較。由于移動(dòng)互聯(lián)環(huán)境下的電子商務(wù)流程需要滿足多個(gè)用戶的不同需求，需要根據(jù)實(shí)際需要選擇性的對(duì)流程中的活動(dòng)進(jìn)行不同配置。配置流程模型已經(jīng)被廣泛提出并用來描述這一類型的流程模型。此外，由于大部分業(yè)務(wù)流程模型都是基于描述模型交互的初衷來建立的，對(duì)流程模型的配置也需要考慮到模型交互行為間的約束關(guān)系。針對(duì)具有復(fù)雜對(duì)應(yīng)關(guān)系的模型系統(tǒng)變化域的分析問題，本文采用抽象的手段對(duì)具有復(fù)雜匹配關(guān)系的模型進(jìn)行預(yù)處理，再對(duì)經(jīng)過處理后模型進(jìn)
5、行合并。然后提取合并模型的摘要，并通過分析模型摘要與原模型的行為輪廓間的差異找出了原模型交互發(fā)生變化的區(qū)域。這樣可以根據(jù)變化區(qū)域的行為語義分析了出現(xiàn)交互不兼容的原因。而且，本文通過用配置約束形式化地描述了交互的配置模型間的約束行為，提出了一個(gè)基于配置約束合并流程模型的方法，通過該方法可以得到一個(gè)帶配置約束的合并模型，最后根據(jù)文中所給出的算法將該模型作為流程配置的參照模型用于尋找流程模型的變化域，這樣排除了配置實(shí)例中不滿足預(yù)設(shè)的配置約束情況的發(fā)生。通過將交互模型間的行為約束轉(zhuǎn)化成可配置的流程模型配置上的約束，可以得到一個(gè)配置的合成體，合并模型通過分離
6、配置的方式對(duì)不可行的配置方式做了限制，使之不能同時(shí)發(fā)生，這樣有利于配置的正確性。通過該方法得出的帶配置約束的合并模型可作為流程配置的參照模型用于尋找?guī)Ъs束的配置流程的變化域。該方法解決了以下問題：(1)將交互模型中不具有匹配關(guān)系的活動(dòng)對(duì)間隱含的依賴關(guān)系通過配置約束的方式表示出來；(2)并通過合并配置模型的方法來保證配置滿足這種約束；(3)通過比較合并模型的配置路徑和配置實(shí)例的配置路徑來尋找配置實(shí)例中出現(xiàn)的變化域。圖[16]參[67]關(guān)鍵詞：行為輪廓；業(yè)務(wù)流程；模型合并；流程配置；變化域。分類號(hào)：TP302．1萬方數(shù)據(jù)摘要AbstractThecor
7、eofbusinessprocessmanagementisanalyzingtherelevanceofrelatedmodelswiththeoverallgoaltoimprovetheinteractionabilitybetweenmodels．Therefore，determiningchangeregionplaysanimportantroleinthecontextofbusinessprocessmanagement．However，it'soverwhelmingforanalyststocopewiththeproblemo
8、nlybythepresentedapproachorbyexperientialismbecauseofbusiness
