隨著計(jì)算機(jī)技術(shù)和網(wǎng)絡(luò)技術(shù)的飛猛發(fā)展,人類(lèi)社會(huì)的信息化進(jìn)程大為加快,對(duì)信息的依賴(lài)程度越來(lái)越高。保險(xiǎn)公司也依靠IT系統(tǒng)處理案件。自從20世紀(jì)70年代《協(xié)同學(xué)導(dǎo)論》的出現(xiàn),使得協(xié)同學(xué)的理論框架正式建立,并給企業(yè)系統(tǒng)奠定了自組織協(xié)同的基礎(chǔ)。公司職員相互協(xié)同辦公才能使業(yè)務(wù)正常運(yùn)轉(zhuǎn)。一旦出現(xiàn)協(xié)同性的錯(cuò)誤,會(huì)使得系統(tǒng)和公司無(wú)法繼續(xù)前進(jìn)。本文基于擴(kuò)展Petri網(wǎng)和有限自動(dòng)機(jī)對(duì)保險(xiǎn)索賠系統(tǒng)的協(xié)同容錯(cuò)模型進(jìn)行研究,主要工作如下：（1）在有限自動(dòng)機(jī)中引入通配符和指數(shù)的表達(dá)形式,增加了有限自動(dòng)機(jī)匹配部分字符的功能,還縮減了有限自動(dòng)機(jī)狀態(tài)空間。（2）提出了一種基于高級(jí)Petri網(wǎng)和有限自動(dòng)機(jī)的保險(xiǎn)索賠系統(tǒng)協(xié)同容錯(cuò)層次模型,該模型分為3層：應(yīng)用層、檢錯(cuò)層和恢復(fù)層。在應(yīng)用層,擴(kuò)展了Petri網(wǎng)變遷的描述能力,對(duì)保險(xiǎn)索賠系統(tǒng)進(jìn)行基于擴(kuò)展Petri網(wǎng)建模,給出了一種基于擴(kuò)展Petri網(wǎng)的可達(dá)圖算法,并對(duì)模型進(jìn)行基于可達(dá)圖的性質(zhì)分析,確�；緲I(yè)務(wù)流程的正確性。在檢錯(cuò)層,檢測(cè)在應(yīng)用層中的系統(tǒng)內(nèi)部活動(dòng)之間是否協(xié)同,提出了一種基于高級(jí)Petri網(wǎng)和有限自動(dòng)機(jī)的檢錯(cuò)算法。在恢復(fù)層,利用日志對(duì)出錯(cuò)的活動(dòng)進(jìn)行恢復(fù)。本文工作擴(kuò)展了Pe... 

【文章來(lái)源】：山東科技大學(xué)山東省

【文章頁(yè)數(shù)】：54 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

容錯(cuò)系統(tǒng)層次模型


本文編號(hào)：3213321