企業內控信息化實施的規范化方法研究
——基于領域分析與形式化方法

師新峰

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

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

一、領域形式化分析在內部控制信息化實行的可能性

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

（一）領域分析的含義

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

（二）形式化方法的含義

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

（三）領域和形式化在內部控制系統中的可行問題

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

二、領域和形式化的方法在內部控制信息化的作用和意義

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

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

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

（二）企業內部控制系統工作效率問題，以及可實施性問題

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

（三）內部控制系統理論和實踐之間進行轉化的想法和技術

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

三、結束語

企業內部控制信息化技術的實施是社會科學和計算機科學應用方面結合的研究成果，從中需要將兩種方面的設計和實施進行結合和使用。從管理軟件的開發和實施的過程中可以看出，想要不出現缺點和不足是很難實現的，還需要我們在此方面進行加強。