保險索賠系統(tǒng)的協(xié)同容錯層次模型研究.pdf

1、隨著計算機技術(shù)和網(wǎng)絡(luò)技術(shù)的飛猛發(fā)展，人類社會的信息化進程大為加快，對信息的依賴程度越來越高。保險公司也依靠IT系統(tǒng)處理案件。
　　自從20世紀70年代《協(xié)同學導論》的出現(xiàn)，使得協(xié)同學的理論框架正式建立，并給企業(yè)系統(tǒng)奠定了自組織協(xié)同的基礎(chǔ)。公司職員相互協(xié)同辦公才能使業(yè)務(wù)正常運轉(zhuǎn)。一旦出現(xiàn)協(xié)同性的錯誤，會使得系統(tǒng)和公司無法繼續(xù)前進。
　　本文基于擴展Petri網(wǎng)和有限自動機對保險索賠系統(tǒng)的協(xié)同容錯模型進行研究，主要工作如下:

2、r>　　(1)在有限自動機中引入通配符和指數(shù)的表達形式，增加了有限自動機匹配部分字符的功能，還縮減了有限自動機狀態(tài)空間。
　　(2)提出了一種基于高級Petri網(wǎng)和有限自動機的保險索賠系統(tǒng)協(xié)同容錯層次模型，該模型分為3層：應(yīng)用層、檢錯層和恢復層。在應(yīng)用層，擴展了Petri網(wǎng)變遷的描述能力，對保險索賠系統(tǒng)進行基于擴展Petri網(wǎng)建模，給出了一種基于擴展Petri網(wǎng)的可達圖算法，并對模型進行基于可達圖的性質(zhì)分析，確?；緲I(yè)務(wù)流程的正確