線(xiàn)性時(shí)序邏輯在失業(yè)保險(xiǎn)審計(jì)中的應(yīng)用研究.pdf

1、在社會(huì)保險(xiǎn)審計(jì)的過(guò)程中，理解被審計(jì)地區(qū)的法規(guī)和業(yè)務(wù)流程是非常重要的環(huán)節(jié)。各地的法規(guī)政策是開(kāi)展業(yè)務(wù)的基礎(chǔ)，根據(jù)法規(guī)政策來(lái)構(gòu)建當(dāng)?shù)氐臉I(yè)務(wù)模型也是理解業(yè)務(wù)的有效手段。目前，模型檢測(cè)的方法很多，線(xiàn)性時(shí)序邏輯已經(jīng)受到廣泛的關(guān)注，并且已經(jīng)應(yīng)用到模型檢測(cè)中。
　　 本文根據(jù)法規(guī)政策的文本描述，構(gòu)建當(dāng)?shù)氐臉I(yè)務(wù)工作流程。依據(jù)時(shí)間序列上業(yè)務(wù)事件發(fā)生的時(shí)間不同，對(duì)構(gòu)建的業(yè)務(wù)模型進(jìn)行化簡(jiǎn)、完備失業(yè)保險(xiǎn)業(yè)務(wù)處理流程模型等操作。基于有限狀態(tài)自動(dòng)機(jī)的失業(yè)保險(xiǎn)

2、業(yè)務(wù)處理流程模型構(gòu)建完畢后，應(yīng)用線(xiàn)性時(shí)序邏輯對(duì)模型的時(shí)序性質(zhì)加以描述，針對(duì)該時(shí)序描述，應(yīng)用線(xiàn)性時(shí)序邏輯語(yǔ)言編寫(xiě)程序，程序作為模型檢測(cè)輸入的一部分。本文提取失業(yè)保險(xiǎn)法規(guī)政策的約束條件，作為失業(yè)保險(xiǎn)業(yè)務(wù)模型檢測(cè)的標(biāo)準(zhǔn)，再將法規(guī)的線(xiàn)性時(shí)序邏輯語(yǔ)言描述轉(zhuǎn)換成線(xiàn)性時(shí)序邏輯程序，這部分程序作為模型檢測(cè)輸入的約束條件。以上兩部分程序作為輸入條件來(lái)檢測(cè)失業(yè)保險(xiǎn)業(yè)務(wù)模型的正確性。
　　 本文利用線(xiàn)性時(shí)序邏輯來(lái)描述失業(yè)保險(xiǎn)業(yè)務(wù)處理流程模型的時(shí)序性質(zhì)