公司內(nèi)控信息化實(shí)施的規(guī)范化方法研究

1、<p>　　公司內(nèi)控信息化實(shí)施的規(guī)范化方法研究</p><p>　　摘 要 企業(yè)內(nèi)控實(shí)現(xiàn)信息化，需要利用信息技術(shù)在信息系統(tǒng)中固化內(nèi)控理念、內(nèi)控流程、內(nèi)控措施與內(nèi)控制度，轉(zhuǎn)化企業(yè)的信息系統(tǒng)，形成適用于企業(yè)內(nèi)控的信息化管理平臺(tái)。本文基于領(lǐng)域分析和形式化方法，主要對(duì)公司內(nèi)控信息化實(shí)施的規(guī)范化方法進(jìn)行研究。 </p><p>　　關(guān)鍵詞 內(nèi)控信息化 規(guī)范化 形式化方法 </p>

2、;<p>　　在信息時(shí)代背景下，企業(yè)內(nèi)控實(shí)現(xiàn)信息化是企業(yè)發(fā)展的必然趨勢(shì)，內(nèi)控信息化是企業(yè)經(jīng)營管理的必然途徑、手段，通過信息化手段，實(shí)現(xiàn)內(nèi)控制度執(zhí)行常態(tài)化、標(biāo)準(zhǔn)化與剛性化，將傳統(tǒng)崗位分置、權(quán)力制約的內(nèi)控方式轉(zhuǎn)變?yōu)樾畔⒘鞯腎T與人工相結(jié)合的內(nèi)控方式。筆者根據(jù)自身多年的從業(yè)經(jīng)驗(yàn)，基于領(lǐng)域分析和形式化方法，主要對(duì)公司內(nèi)控信息化實(shí)施的規(guī)范化方法進(jìn)行研究。 </p><p>　　一、企業(yè)內(nèi)控信息化中實(shí)施領(lǐng)域分析

3、與形式化方法的作用 </p><p>　　首先，可及早發(fā)現(xiàn)管理軟件的內(nèi)控功能漏洞、缺陷。針對(duì)企業(yè)內(nèi)控信息化，由技術(shù)角度來說，需開發(fā)一套適用于企業(yè)內(nèi)控需求，將控制流程、業(yè)務(wù)處理流程向整合的管理軟件。由內(nèi)控角度來說，管理軟件可分析各個(gè)管理層次、業(yè)務(wù)循環(huán)的控制活動(dòng)、措施、目標(biāo)與經(jīng)營風(fēng)險(xiǎn)，使企業(yè)內(nèi)控理念與制度在規(guī)范指導(dǎo)下，利用計(jì)算機(jī)程序?qū)?nèi)控措施、方法、流程嵌入至業(yè)務(wù)處理程序，實(shí)現(xiàn)自動(dòng)化、IT內(nèi)控執(zhí)行制度。但由于人們使用

4、自然語言實(shí)現(xiàn)業(yè)務(wù)處理與內(nèi)控，管理軟件無法避免漏洞、缺陷。而領(lǐng)域形式化方法是一種基于數(shù)理邏輯、規(guī)范分析推力的技術(shù)。在開發(fā)階段即可發(fā)現(xiàn)軟件設(shè)計(jì)中的內(nèi)控功能漏洞與缺陷，避免系統(tǒng)投入后產(chǎn)生風(fēng)險(xiǎn)，特別在成本與資金管控較為適用。 </p><p>　　其次，ERP系統(tǒng)在上線之后，提供規(guī)范技術(shù)與方法檢驗(yàn)、嵌入內(nèi)控措施。目前，我國許多企業(yè)處于系統(tǒng)集成轉(zhuǎn)型期，都正準(zhǔn)備后已經(jīng)上線了ERP系統(tǒng)。因ERP軟件必須具有通用性功能，企業(yè)利用

5、二次開發(fā)嵌入內(nèi)控措施、流程與制度，通過初始化各子系統(tǒng)、各業(yè)務(wù)板塊，對(duì)IT內(nèi)控功能進(jìn)行設(shè)置，便于企業(yè)內(nèi)控通過信息系統(tǒng)實(shí)現(xiàn)自動(dòng)執(zhí)行。人工控制轉(zhuǎn)變?yōu)樾畔⒘鱅T內(nèi)控管理流程，實(shí)現(xiàn)ERP控制，實(shí)施者必須ERP軟件的整個(gè)內(nèi)控功能更，還需熟悉企業(yè)內(nèi)控機(jī)構(gòu)設(shè)置、業(yè)務(wù)流程、制度體系與權(quán)責(zé)分配的各個(gè)關(guān)鍵風(fēng)險(xiǎn)環(huán)節(jié)。領(lǐng)域形式法有利于實(shí)施者根據(jù)企業(yè)內(nèi)控需求，正確啟動(dòng)內(nèi)控功能、內(nèi)控措施，檢驗(yàn)ERP軟件內(nèi)控、企業(yè)內(nèi)控內(nèi)控設(shè)計(jì)的漏洞與缺陷。 </p>&

6、lt;p>　　第三，有利于提高企業(yè)內(nèi)控效率，移植推廣成功經(jīng)驗(yàn)，評(píng)價(jià)內(nèi)控系統(tǒng)。企業(yè)通過內(nèi)控信息化，利用信息技術(shù)，建立一個(gè)適用于企業(yè)的內(nèi)控需求管理平臺(tái)，因各企業(yè)的行業(yè)特點(diǎn)，其內(nèi)控目標(biāo)、組織架構(gòu)與業(yè)務(wù)流程均存在差異，企業(yè)需按照自身需求設(shè)計(jì)相應(yīng)的IT內(nèi)控體系，建立達(dá)到個(gè)性內(nèi)控需求的管理平臺(tái)。領(lǐng)域形式法可有效排除人為因素，提供規(guī)范的信息技術(shù)，通過納入內(nèi)控活動(dòng)、內(nèi)控措施，將計(jì)算機(jī)程序?qū)崿F(xiàn)自動(dòng)控制。 </p><p>　

7、　二、企業(yè)內(nèi)控信息化中實(shí)施領(lǐng)域分析與形式化方法的應(yīng)用框架 </p><p>　　首先，領(lǐng)域形式法對(duì)內(nèi)控領(lǐng)域?qū)崿F(xiàn)分析建模。針對(duì)企業(yè)內(nèi)控活動(dòng)、環(huán)境，尋找問題域的限制條件、目標(biāo)與功能需求、內(nèi)控范圍與性能需求，制定內(nèi)控系統(tǒng)的共同領(lǐng)域需求。同時(shí)，通過從上至下的領(lǐng)域分析、描述各子內(nèi)控領(lǐng)域的子系統(tǒng)，反映上層級(jí)映射。同其它系統(tǒng)分析比較，領(lǐng)域形式法通過建立領(lǐng)域描述模型，可輕易轉(zhuǎn)化為形式規(guī)范模型，可實(shí)現(xiàn)機(jī)器的自動(dòng)驗(yàn)證。 </p

8、><p>　　其次，領(lǐng)域形式化可實(shí)現(xiàn)企業(yè)內(nèi)控的形式化建模與描述。IT內(nèi)控系統(tǒng)通過建立領(lǐng)域描述模型，利用形式化工具、形式化方法對(duì)領(lǐng)域模型核心進(jìn)一步進(jìn)行形式化建模與描述，確保形式化模型、領(lǐng)域分析模型的呈對(duì)照性特征。 </p><p>　　第三，形式化推力檢驗(yàn)形式化模型性質(zhì)。針對(duì)企業(yè)內(nèi)控系統(tǒng)，建立形式化建模與描述為前提，利用自然語言對(duì)模型涉及的企業(yè)內(nèi)控制度、內(nèi)控條例、內(nèi)控規(guī)范，通過數(shù)理邏輯方法，轉(zhuǎn)化

9、成形式化的語言描述。 </p><p>　　第四，分析說明形式化的推理結(jié)果，提出相應(yīng)的風(fēng)險(xiǎn)防范建議。其一，可直接顯示內(nèi)控條件，證明是根據(jù)所建的內(nèi)控系統(tǒng)模型實(shí)施內(nèi)控，可達(dá)到相應(yīng)內(nèi)控目標(biāo)；其二，針對(duì)引理證明條例與引理描述，可對(duì)所建內(nèi)控模型提出相應(yīng)改進(jìn)建議與方案；其三，針對(duì)形式化模型無法證明性質(zhì)的，找出該性質(zhì)控制點(diǎn)，證明內(nèi)控規(guī)則無法利用信息化方法控制，必須通過人工控制，反映內(nèi)控設(shè)計(jì)具有漏洞、缺陷。 </p>

10、<p>　　第五，對(duì)企業(yè)內(nèi)控模型進(jìn)行修改與完善，在企業(yè)內(nèi)控信息實(shí)施中應(yīng)用。通過形式化分析，綜合所建內(nèi)控系統(tǒng)模型，發(fā)現(xiàn)模型漏洞與缺陷，評(píng)價(jià)內(nèi)控制度、措施設(shè)計(jì)合理與否，利用信息化手段進(jìn)行修正與完善。 </p><p><b>　　三、結(jié)語 </b></p><p>　　企業(yè)內(nèi)控實(shí)現(xiàn)信息化，是計(jì)算機(jī)科學(xué)與社會(huì)科學(xué)的結(jié)合，必須有機(jī)結(jié)合、運(yùn)用兩者的設(shè)計(jì)方法、實(shí)施方

11、法。針對(duì)管理軟件實(shí)施、軟件過程而言，在信息系統(tǒng)中納入內(nèi)控理念、措施、流程與制度，人們可采用自然語言對(duì)企業(yè)內(nèi)控系統(tǒng)需求進(jìn)行表達(dá)，利用計(jì)算機(jī)規(guī)范方法、表達(dá)工具，轉(zhuǎn)化為計(jì)算機(jī)程序可實(shí)現(xiàn)過程。領(lǐng)域與形式化方法是一種科學(xué)、規(guī)范的分析，筆者通過實(shí)施科學(xué)方法、技術(shù)手段，分析企業(yè)內(nèi)控系統(tǒng)中存在的漏洞、缺陷，使企業(yè)內(nèi)控信息化實(shí)施的質(zhì)量得以進(jìn)一步提高。 </p><p><b>　　參考文獻(xiàn)： </b><

12、/p><p>　　[1]李合芳，李杰，賈同軍等.青島聯(lián)通內(nèi)控管理信息化建設(shè).中國科技博覽.2011（36）：396-396. </p><p>　　[2]趙留榮.信息化推動(dòng)出版企業(yè)內(nèi)控制度建設(shè).中國管理信息化.2012，15（23）：61-62. </p><p>　　[3]孫亮，丁學(xué)英，王連忠等.信息化條件下加強(qiáng)電力企業(yè)內(nèi)控管理的研究.電力信息化.2013，11（7）