B方法在企業(yè)視頻監(jiān)控系統(tǒng)中的應用.pdf

1、企業(yè)是支持國家經濟的命脈，利用網絡和計算機的視頻監(jiān)控系統(tǒng)對企業(yè)的管理、生產等重要環(huán)節(jié)進行有效的監(jiān)控管理是非常必要的。在企業(yè)視頻監(jiān)控系統(tǒng)中安全性問題被提升到尤為重要的位置，它也是企業(yè)視頻監(jiān)控系統(tǒng)設計的關鍵。系統(tǒng)設計人員一直都在嘗試設計安全、高效、全面、可靠的視頻監(jiān)控系統(tǒng)。目前系統(tǒng)設計人員通常使用UML統(tǒng)一建模語言來設計系統(tǒng)模型。
　　 UML統(tǒng)一建模語言(簡稱UML)是由圖形化概念、自然語言和形式化語言共同組成的一種語言，它用于描

2、述軟件的需求模型、對象模型、動態(tài)模型和部署模型。UML適用于各種軟件開發(fā)、軟件生命周期的各個階段、各種應用領域以及各種開發(fā)工具，然而UML缺乏形式化方法的準確語義，很難產生準確無歧義的軟件規(guī)約，因此對模型難以進行一致性檢查和正確性分析，成為基于UML技術的嚴重缺陷。
　　 針對UML存在的不足，本文使用更為嚴謹的方法—形式化方法來描述系統(tǒng)模型。B方法是一種比較實用的軟件形式化方法。B方法能產生精確、無二義性的形式規(guī)約。在一些安全

3、悠關的領域，B方法能為軟件開發(fā)提供嚴格的數學基礎，提高復雜軟件系統(tǒng)的可靠性，同時可以用Atelier B4.0或Pro-B等工具來驗證描述的正確性。
　　 本文將B和UML結合使用，借助形式化方法的精確語義來產生準確一致的系統(tǒng)規(guī)約。B語言可以精確地提供嚴格的證明，因此UML-B的結合可以產生一種形式化、精確化的需求，產生基于精化的，面向對象的行為模型。
　　 本課題所研究的企業(yè)視頻監(jiān)控系統(tǒng)是基于Intranet網絡平臺的

4、有關企業(yè)安防、生產管理的視頻數據的管理系統(tǒng)，它是傳統(tǒng)視頻監(jiān)控系統(tǒng)在功能上的延伸和擴展，在通訊手段上的升級和進步，是未來工業(yè)電視、閉路電視系統(tǒng)的發(fā)展方向。在研究和探討了視頻監(jiān)控技術發(fā)展的前提下，利用UML與形式化B方法相結合的軟件開發(fā)方法，我們首先通過用例映射系統(tǒng)的需求，分析用例圖、類圖及順序圖，抽象出系統(tǒng)的結構模型，然后根據UML-B的轉換方法，構建目標系統(tǒng)的B機器，從而建立一種從圖形加文字的半形式化模型到具有數學基礎的形式化模型的系統(tǒng)