師新峰

（鄭州TCL電器銷售有限公司，河南 鄭州 450008）

企業(yè)的內(nèi)部控制信息化的執(zhí)行是一個非常復(fù)雜且龐大的一項工作，在這其中需要具有科學(xué)的方法來作為指導(dǎo)，有效的工具和技術(shù)來保障內(nèi)控整體系統(tǒng)的質(zhì)量。這中間可以通過領(lǐng)域和形式化的方法來進(jìn)行計算機(jī)工程中對于軟硬件系統(tǒng)分析，進(jìn)一步規(guī)范，創(chuàng)建模型，以此來證明使用的方法和技巧，能夠很好地幫助企業(yè)內(nèi)控信息化進(jìn)行實施，同時在內(nèi)控系統(tǒng)工作以前，還可以通過數(shù)理邏輯思維從中分析系統(tǒng)設(shè)計過程中和運行的過程中，存在的問題和缺陷，在很大程度上降低了企業(yè)的風(fēng)險程度。這篇文章主要講的是以銷售業(yè)務(wù)為主要案例充分地進(jìn)行討論了領(lǐng)域分析和形式化方法的企業(yè)內(nèi)部控制信息化系統(tǒng)建立的過程。

一、領(lǐng)域形式化分析在內(nèi)部控制信息化實行的可能性

領(lǐng)域和形式化分析可以說是計算機(jī)軟件系統(tǒng)對于軟硬件系統(tǒng)從中進(jìn)行分析、規(guī)范、創(chuàng)建、研究和運用的方式。計算機(jī)的發(fā)展經(jīng)過多年的成長，從中取得了跨越性的進(jìn)步，其中包括開發(fā)的方式方法，以及所使用的工具和技術(shù)都有了很大程度的提高，與此同時領(lǐng)域和形式化的方法在具體的開發(fā)上面也是比較多樣式的。

（一）領(lǐng)域分析的含義

領(lǐng)域分析還有另一個名稱那就是領(lǐng)域工程分析，說的是從中利用領(lǐng)域的分析方法來作為工具，對計算機(jī)整體運用系統(tǒng)進(jìn)行需求的分析、識別和提煉工作，并且可以抽象的表達(dá)出這個計算機(jī)所應(yīng)用程序系統(tǒng)中含義的共同性的特征和其中的區(qū)別，還能夠從中指出可以進(jìn)行變化的特征，進(jìn)一步進(jìn)行整體的構(gòu)建領(lǐng)域的描述模型。其作用可以分為以下幾點：第一點，能夠在軟件設(shè)計開發(fā)或者是進(jìn)行再次開發(fā)以前，從中分析出應(yīng)用系統(tǒng)的詳細(xì)需求，可以明確對于系統(tǒng)軟件的需求。第二點，可以按照合適的方法從中建立容易理解的表達(dá)方式，這樣一來利益相關(guān)的人員可以明確地知道所要表達(dá)的需求，也就是某種類型的表達(dá)工具建立的領(lǐng)域描述模型。第三點，從領(lǐng)域描述模型提煉出有關(guān)性質(zhì)重要的部分，方便進(jìn)行形式化的描述工作和形式化的驗證工作。

（二）形式化方法的含義

形式化方法說的就是，一種作用于數(shù)學(xué)和理論邏輯的方法來對計算機(jī)軟硬件系統(tǒng)從中進(jìn)行分析，規(guī)范，創(chuàng)建模型，開發(fā)和驗證的方法。其特點是精確度比較高，整體運用下來比較簡潔，并且有機(jī)器可以加以證明。在現(xiàn)在技術(shù)中主要運用于整體要求比較高的安全系統(tǒng)開發(fā)的建設(shè)中。形式化方法通常的分析手段和工具主要是代數(shù)規(guī)約描述和模型剪測這兩種類型。這篇文章主要的研究對象是企業(yè)的內(nèi)部控制系統(tǒng)也可以說為是社會系統(tǒng)，及其具有不確定性，在使用過程中可以利用模型監(jiān)測的方法來對狀態(tài)空間不確定的系統(tǒng)來進(jìn)行分析，其中可能存在的“狀態(tài)空間不夠用”的問題，所以這篇文章主要的研究方法和工具選用的是代數(shù)方法。

（三）領(lǐng)域和形式化在內(nèi)部控制系統(tǒng)中的可行問題

領(lǐng)域和形式化的方法已經(jīng)在多個領(lǐng)域得到了比較廣泛的運用。在日本的一些國家科研人員已經(jīng)從理數(shù)思維方式的角度出發(fā)對領(lǐng)域和形式化方法的技術(shù)可實施性方面進(jìn)行了數(shù)學(xué)方面的證明。從現(xiàn)在運用的理論和實踐方面來看，領(lǐng)域和形式化方法都具有良好的運行基礎(chǔ)。在企業(yè)內(nèi)部信息化系統(tǒng)是一套風(fēng)險預(yù)防措施，這套系統(tǒng)一般是由人工來進(jìn)行掌控的，和計算機(jī)應(yīng)用控制共同運行，在其內(nèi)部控制系統(tǒng)中即應(yīng)用到了整體組織制度方面的設(shè)計與此同時還運用到了管理軟件內(nèi)部控制功能方面的設(shè)計，從中需要發(fā)現(xiàn)設(shè)計中存在的缺點和遺漏的問題。通過以上分析可以得知企業(yè)內(nèi)部控制信息化技術(shù)是可以進(jìn)行實施的。

二、領(lǐng)域和形式化的方法在內(nèi)部控制信息化的作用和意義

企業(yè)內(nèi)部控制信息化說的是企業(yè)內(nèi)部整體運行時候信息化系統(tǒng)的開展和控制的過程，其中分為兩個部分：第一部分，從中利用相關(guān)的技術(shù)把企業(yè)的內(nèi)部控制理念，制定的制度，執(zhí)行的過程，以及相關(guān)的措施進(jìn)行固定到信息化的系統(tǒng)當(dāng)中，把信息化的系統(tǒng)提高到一個整體的內(nèi)部需求化信息管理平臺。第二方面，實施信息化系統(tǒng)管理平臺是企業(yè)內(nèi)部控制運行的一個長期運行的方式。其中包括人和制定體制的因素，能否達(dá)到企業(yè)內(nèi)部整體控制方面的需求，這直接影響到內(nèi)部系統(tǒng)實施的效果。

（一）管理軟件中存在的缺點

企業(yè)內(nèi)部控制信息化在具體實施的過程中，首先要符合的條件就是需求方面的滿足，擁有一套完整的業(yè)務(wù)處理方法和控制方法為一體的管理系統(tǒng)，從內(nèi)部控制的角度上來說，這套系統(tǒng)的開發(fā)應(yīng)該從企業(yè)的業(yè)務(wù)方面，管理方面的各種風(fēng)險從中進(jìn)行分析和研究，并且在新型制度的指導(dǎo)下，將適合計算機(jī)程序的控制系統(tǒng)進(jìn)行編寫成程序應(yīng)用到業(yè)務(wù)處理中。一套系統(tǒng)要想沒有缺陷這是難做到的，對于內(nèi)部控制系統(tǒng)從中運用領(lǐng)域和形式化方式可以說是非常規(guī)范的，其中的數(shù)學(xué)理論的分析和推理技術(shù)，可以有效地發(fā)現(xiàn)內(nèi)部管理系統(tǒng)中存在的漏洞問題。

（二）企業(yè)內(nèi)部控制系統(tǒng)工作效率問題，以及可實施性問題

在企業(yè)內(nèi)部實施內(nèi)部控制信息化系統(tǒng)，首先需要的就是運用計算機(jī)技術(shù)，從中進(jìn)行結(jié)合工作。企業(yè)要在滿足自身發(fā)展需求的情況下來進(jìn)行設(shè)計和建立計算機(jī)信息化管理系統(tǒng)平臺。在這中間如果我們運用傳統(tǒng)的“手工作坊式”的方式來進(jìn)行，主要的勞動力是個人或者是團(tuán)隊，而且這種作業(yè)方式是手工的，也正是因為此工作的進(jìn)行必須由人親自操作，在工作的時候難免和會出現(xiàn)差錯，不可避免的從內(nèi)部控制的理論到內(nèi)部控制實踐的過程中會存在著比較多的人為方面的問題，這些問題可大可小，與理想結(jié)果之間的距離也不一樣。這樣一來不但會造成效率比較低下的問題，在整體質(zhì)量方面也沒有得到有效的保障等這些問題的出現(xiàn)。而我們現(xiàn)在運行的領(lǐng)域和形式化方法從中運用規(guī)范性的實施技術(shù)可以很好地解決人為因素的影響。可以通過內(nèi)部控制系統(tǒng)范圍的控制活動方面進(jìn)行分析，從中分離出哪些程序可以由計算機(jī)進(jìn)行操作，哪些程序必須由人工來進(jìn)行管理，并且還可以根據(jù)各行各業(yè)不同的需求建立不同的模式，以此來提高內(nèi)控信息化系統(tǒng)實施的規(guī)范性。

（三）內(nèi)部控制系統(tǒng)理論和實踐之間進(jìn)行轉(zhuǎn)化的想法和技術(shù)

內(nèi)部控制系統(tǒng)可以有效地控制企業(yè)風(fēng)險，能夠保證企業(yè)整體運行目標(biāo)得以實現(xiàn)，長時間以來，企業(yè)內(nèi)部的控制方式都是采用傳統(tǒng)的權(quán)利制約或者是崗位分配的人工方面進(jìn)行控制體系。在傳統(tǒng)的觀念中，對于崗位的建設(shè)，人員的分配，管理體制，監(jiān)督和檢查等方面比較看重，從中通過這些工作來進(jìn)行控制?，F(xiàn)如今，企業(yè)面對的全球經(jīng)濟(jì)化問題越來越嚴(yán)重，其市場競爭也日趨激烈，相對應(yīng)的對于內(nèi)部控制系統(tǒng)方面的要求也進(jìn)一步提高，所以導(dǎo)致內(nèi)部系統(tǒng)信息化的規(guī)模也不斷增加，內(nèi)容方面也日漸復(fù)雜，成本方面也不斷增加。所以根據(jù)這種現(xiàn)象，有必要把領(lǐng)域和形式化方法帶入到企業(yè)內(nèi)部控制制度當(dāng)中。

三、結(jié)束語

企業(yè)內(nèi)部控制信息化技術(shù)的實施是社會科學(xué)和計算機(jī)科學(xué)應(yīng)用方面結(jié)合的研究成果，從中需要將兩種方面的設(shè)計和實施進(jìn)行結(jié)合和使用。從管理軟件的開發(fā)和實施的過程中可以看出，想要不出現(xiàn)缺點和不足是很難實現(xiàn)的，還需要我們在此方面進(jìn)行加強(qiáng)。