在社會(huì)保險(xiǎn)審計(jì)的過程中,理解被審計(jì)地區(qū)的法規(guī)和業(yè)務(wù)流程是非常重要的環(huán)節(jié)。各地的法規(guī)政策是開展業(yè)務(wù)的基礎(chǔ),根據(jù)法規(guī)政策來構(gòu)建當(dāng)?shù)氐臉I(yè)務(wù)模型也是理解業(yè)務(wù)的有效手段。目前,模型檢測(cè)的方法很多,線性時(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ù)處理流程模型等操作�；谟邢逘顟B(tài)自動(dòng)機(jī)的失業(yè)保險(xiǎn)業(yè)務(wù)處理流程模型構(gòu)建完畢后,應(yīng)用線性時(shí)序邏輯對(duì)模型的時(shí)序性質(zhì)加以描述,針對(duì)該時(shí)序描述,應(yīng)用線性時(shí)序邏輯語言編寫程序,程序作為模型檢測(cè)輸入的一部分。本文提取失業(yè)保險(xiǎn)法規(guī)政策的約束條件,作為失業(yè)保險(xiǎn)業(yè)務(wù)模型檢測(cè)的標(biāo)準(zhǔn),再將法規(guī)的線性時(shí)序邏輯語言描述轉(zhuǎn)換成線性時(shí)序邏輯程序,這部分程序作為模型檢測(cè)輸入的約束條件。以上兩部分程序作為輸入條件來檢測(cè)失業(yè)保險(xiǎn)業(yè)務(wù)模型的正確性。 本文利用線性時(shí)序邏輯來描述失業(yè)保險(xiǎn)業(yè)務(wù)處理流程模型的時(shí)序性質(zhì)。根據(jù)線性時(shí)序邏輯語法規(guī)則描述的線性時(shí)序邏輯公式,應(yīng)用NuSMV來檢測(cè)構(gòu)建的模型。避免審計(jì)人員和社保人員對(duì)生成疑點(diǎn)的意見和看法的不一致,指導(dǎo)審計(jì)方法...

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

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

圖1.1研究?jī)?nèi)容的相關(guān)聯(lián)系說明

圖2.2可區(qū)分狀態(tài)表

圖3.2失業(yè)保險(xiǎn)業(yè)務(wù)處理流程模型的初步完善模型

圖33處理后的失業(yè)保階業(yè)各處理流程樟型

本文編號(hào)：3886567