基于Petri網(wǎng)行為輪廓的故障變化域定位方法研究.pdf

1、業(yè)務流程模型系統(tǒng)中的故障診斷是業(yè)務流程系統(tǒng)運行中一項重要的研究課題，業(yè)務流程中系統(tǒng)運行的管理包括流程運行的設計和實施、流程模型的建立和分析研究以及運行程序的執(zhí)行等三部分。課題研究的關鍵是如何定位業(yè)務流程系統(tǒng)中的故障變化域進而規(guī)范流程系統(tǒng)。業(yè)務流程模型系統(tǒng)運行時由于模型間交互或其他不定因素使源模型與目標模型產(chǎn)生不一致的區(qū)域，即流程模型的變化域。所謂故障域也稱故障變化區(qū)域是指變化域中的某個區(qū)域對系統(tǒng)運行產(chǎn)生的影響致使系統(tǒng)異常運行，產(chǎn)生存在故

2、障的區(qū)域。模型中存在變化域不一定都使系統(tǒng)發(fā)生故障，但流程模型中若存在故障域就一定有變化域，即故障域是變化域存在的必要條件。本文通過精確定位變化域中的故障域，不僅有助于降低運營成本，還可以控制降低故障變化域對流程模型整體的影響，提高復雜流程模型中系統(tǒng)正常運行的效率，同時也能提高企業(yè)生產(chǎn)效率，以及在提高服務質量方面都發(fā)揮著重要的作用。
　　隨著計算機系統(tǒng)和業(yè)務系統(tǒng)規(guī)模的不斷壯大，業(yè)務流程的管理變得越來越重要，相對業(yè)務流程的要求也相對提

3、高了很多。由系統(tǒng)合成和模型合成所引起的系統(tǒng)發(fā)生錯誤的情況也越來越多，已有的方法研究表明，使用Petri網(wǎng)和行為輪廓的相關理論對故障變化域分析是十分有效的，但此方法是在缺少變化日志的前提下提出的，因此有一定的局限性。所以，探討系統(tǒng)Petri網(wǎng)模型合成時可能會產(chǎn)生的故障與系統(tǒng)中變化域之間的關系，可以更好的定位故障變化域，操作的運轉效率得到大幅度提高，進而達到高效率的生產(chǎn)及服務。對于定位模型系統(tǒng)中的故障變化域，已有的方法是通過切片方法尋找變化

4、區(qū)域，此方法運算量較大而且對于大型復雜系統(tǒng)的準確性上存在不足。針對這一問題，本文所講的內(nèi)容主要從行為和結構兩個方面來對流程模型進行分析和研究，提出基于行為輪廓、因果行為輪廓的基礎上對事件軌跡和模型結構進行研究，從而準確定位業(yè)務流程系統(tǒng)中故障變化域，使得定位方法更加的完備。本文主要貢獻有:
　　(1)對于已知源模型和事件發(fā)生序列集的基礎上研究流程模型的變化，通過研究系統(tǒng)中行為軌跡所產(chǎn)生的行為弱序關系與源模型不一致的地方，有效提出了基

5、于Petri網(wǎng)行為輪廓理論定位流程系統(tǒng)運行中產(chǎn)生的故障變化域。分析產(chǎn)生這種變化可能的原因，研究產(chǎn)生該類變化的結構特征，從而對可能發(fā)生的故障進行定位，分析對應系統(tǒng)的故障變化域?？焖?、準確的定位系統(tǒng)的故障變化域是研究流程模型的一個難點。目前已有的方法對于大型的結構復雜的流程模型故障域的定位其方法有一定的局限性。本文基于Petri網(wǎng)的行為輪廓理論，對自由選擇網(wǎng)進行分析和研究，先通過捕捉系統(tǒng)行為的事件軌跡集合，并對比源模型中各個變遷間的弱序關系

6、，根據(jù)對流程中行為變化的分析，從而進一步精確尋找故障變化域的位置。
　　(2)計算機系統(tǒng)和業(yè)務流程系統(tǒng)的實際需求的多樣化，業(yè)務流程管理系統(tǒng)中的多模型組合和交互也越來越普遍，在已有的研究結論中，針對行為變換分析的研究成果大都出自業(yè)務流系統(tǒng)的變化域和變化傳播分析方面。研究變化在模型間傳播，但是并沒有探討如何尋找到變化的節(jié)點也很少從探討變化產(chǎn)生的原因出發(fā)，去尋找變化節(jié)點的位置?；谝陨戏治觯疚亩ㄎ还收献兓蚴峭ㄟ^捕捉信息系統(tǒng)記錄的系統(tǒng)