基于Petri網(wǎng)模型合并的可配置業(yè)務(wù)流程變化域分析.pdf

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

1、分類號(hào)：?jiǎn)挝淮a：“安反這工犬學(xué)論文題目：基于網(wǎng)模型合并的可配置業(yè)務(wù)流程變化域分析作者姓名：歐陽(yáng)虹專業(yè)名稱：應(yīng)用數(shù)學(xué)導(dǎo)師姓名：方賢文教授完成時(shí)間：二—五年六月中圖分類號(hào)：學(xué)科分類號(hào)：安徽理工大學(xué)石頁(yè)士學(xué)位論文基于網(wǎng)模型合并的可配置業(yè)務(wù)流程變化域分析作者姓名歐陽(yáng)虹專業(yè)名稱應(yīng)用數(shù)學(xué)研究方向：優(yōu)化理論與應(yīng)用導(dǎo)師姓名：方賢文教授導(dǎo)師單位：安徽理工大學(xué)答辯委員會(huì)主席：朱言教授論文答辯日期：年月日安徽理工大學(xué)研究生處年月日ADissertationinAppliedMathematicsTheChangeRegionAnalysisofConfigurableBusinessPro

2、cessbasedonMergingModelofPetriNetCandidate:OuyangHongSupervisor:Prof.FangXianwenSchoolofScienceAnHuiUniversityofScienceandTechnologyNo.168,ShungengRoad,Huainan,232001,P.R.CHINA獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得安徽理工大學(xué)或其他教育機(jī)構(gòu)的學(xué)位

3、或證書而佶用過的料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名：爺份日期：年上月上日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解安徽理工大學(xué)有保留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬于安徽理工大學(xué)。學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授權(quán)安徽理工大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以釆用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本授權(quán)書）學(xué)位論文作者簽名：簽字日期年月日導(dǎo)師簽名：簽

4、字曰期年（月日摘要摘要目前，業(yè)務(wù)流程管理已被廣泛提出并被應(yīng)用到企業(yè)流程管理及系統(tǒng)分析設(shè)計(jì)等智能化管理領(lǐng)域。其主要是對(duì)流程模型進(jìn)行相關(guān)性分析，即它們旳相互影響程度進(jìn)行分析，從而得知它們對(duì)彼此行為的影響，再?gòu)闹姓页鲎兓瘏^(qū)域。但是由于大部分實(shí)際模型都有龐大復(fù)雜而冗余的體系，人們無法通過經(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)被廣泛提出并用來描述這一類

5、型的流程模型。此外，由于大部分業(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)行合并。然后提取合并模型的摘要，并通過分析模型摘要與原模型的行為輪廓間的差異找出了原模型交互發(fā)生變化的區(qū)域。這樣可以根據(jù)變化區(qū)域的行為語(yǔ)義分析了出現(xiàn)交互不兼容的原因。而且，本文通過用配置約束形式化地描述了交互的配置模型間的約束行為，提出了一個(gè)基于配置約束合并流程模型的方法，通過該方法可以得到一個(gè)帶配置約束的合并模型，最后

6、根據(jù)文中所給出的算法將該模型作為流程配置的參照模型用于尋找流程模型的變化域，這樣排除了配置實(shí)例中不滿足預(yù)設(shè)的配置約束情況的發(fā)生。通過將交互模型間的行為約束轉(zhuǎn)化成可配置的流程模型配置上的約束，可以得到一個(gè)配置的合成體，合并模型通過分離配置的方式對(duì)不可行的配置方式做了限制，使之不能同時(shí)發(fā)生，這樣有利于配置的正確性。通過該方法得出的帶配置約束的合并模型可作為流程配置的參照模型用于尋找?guī)Ъs束的配置流程的變化域。該方法解決了以下問題：（將交互模型中不具有匹配關(guān)系的活動(dòng)對(duì)間隱含的依賴關(guān)系通過配置約束的方式表示出來；（并通過合并配置模型的方法來保證配置滿足這種約束；（通過比較合并模型

7、的配置路徑和配置實(shí)例的配置路徑來尋找配置實(shí)例中出現(xiàn)的變化域。關(guān)鍵詞：行為輪廓；業(yè)務(wù)流程；模型合并；流程配置；變化域。分類號(hào)：摘要，，摘要，，，目錄目錄插圖清單弓緒研究背景研究現(xiàn)狀變化域分析模型合并可配置流程模型研究動(dòng)機(jī)與意義本文內(nèi)容安排基礎(chǔ)知識(shí)網(wǎng)的基本理論網(wǎng)的相關(guān)性質(zhì)基于模型合并和摘要提取的復(fù)雜模型變化域分析方法概述基本概念基于復(fù)雜匹配關(guān)系合并模型模型的復(fù)雜匹配關(guān)系確定通過抽象匹配域進(jìn)行模型標(biāo)準(zhǔn)化合并模型通過模型摘要確定變化域提取模型摘要根據(jù)模型摘要確定變化域總結(jié)與展望基于可配置的業(yè)務(wù)流程模型的變化域分析研究概述研究動(dòng)機(jī)基于可配置流程模型