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

1、隨著計(jì)算機(jī)技術(shù)和網(wǎng)絡(luò)技術(shù)的飛猛發(fā)展，人類社會(huì)的信息化進(jìn)程大為加快，對(duì)信息的依賴程度越來越高。保險(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)和公司無法繼續(xù)前進(jìn)。
　　本文基于擴(kuò)展Petri網(wǎng)和有限自動(dòng)機(jī)對(duì)保險(xiǎn)索賠系統(tǒng)的協(xié)同容錯(cuò)模型進(jìn)行研究，主要工作如下:

2、r>　　(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ù)流程的正確