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

【文章來源】：山東科技大學山東省

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

【學位級別】：碩士

【部分圖文】：

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


本文編號：3213321