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

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

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

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

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

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

6、，根據(jù)對(duì)流程中行為變化的分析，從而進(jìn)一步精確尋找故障變化域的位置。
　　(2)計(jì)算機(jī)系統(tǒng)和業(yè)務(wù)流程系統(tǒng)的實(shí)際需求的多樣化，業(yè)務(wù)流程管理系統(tǒng)中的多模型組合和交互也越來(lái)越普遍，在已有的研究結(jié)論中，針對(duì)行為變換分析的研究成果大都出自業(yè)務(wù)流系統(tǒng)的變化域和變化傳播分析方面。研究變化在模型間傳播，但是并沒有探討如何尋找到變化的節(jié)點(diǎn)也很少?gòu)奶接懽兓a(chǎn)生的原因出發(fā)，去尋找變化節(jié)點(diǎn)的位置?；谝陨戏治?，本文定位故障變化域是通過(guò)捕捉信息系統(tǒng)記錄的系統(tǒng)