數據通信協議

出自 MBA智库百科(https://wiki.mbalib.com/)

數據通信協議(data communication protocols)

　　數據通信協議亦稱數據通信控制協議。是為保證數據通信網中通信雙方能有效，可靠通信而規定的一系列約定。這些約定包括數據的格式，順序和速率，數據傳輸的確認或拒收，差錯檢測，重傳控制和詢問等操作。數據通信協議分兩類：一類稱為基本型通信控制協議，用於以字元為基本單位的數據傳輸，如BSC協議（二進位同步同步通信協議）；另一類稱為高級鍵路控制協議，用於以比特為基本單位的數據傳輸，如HDLC（高級數據鍵路控制協議）和SDLC（同步數據鍵路控制協議）。

　　數據通信協議有兩個顯著特點：

　　一是都採用分層結構。網路體繫結構實際上就是通信功能層次和協議的集合。在開放系統中，各端系統必須執行開放系統互連參考模型中的七層協議，中繼系統則執行其下三層協議。

　　二是數據通信協議都是以標準的形式出現。這裡所說的標準包括國際標準和各國各公司的標準。數據通信協議的國際標準主要有相關的CCITT建議和ISO標準。CCITT建議是從數據通信網的角度出發的，ISO標準則是從網路終端系統的角度出發的，二者的相應協議標準互相兼容。CCITT有關數據通信協議的主要建議有V系列建議、X系列建議、T系列建議和I系列建議。V系列建議規定了電話網中數據傳輸協議（X系列建議系統地規定了數據通信網業務和業務功能、網路體繫結構、網路互連、移動數據通信、網路編號方案、數據傳輸質量、網路管理和安全體繫結構等協議以及消息處理系統和目錄查詢等應用協議；T系列建議規定了數據終端及應用協議>1系列建議規定了綜合業務數字（ISDN）中數據通信的協議。

　　協議實用化的主要技術。主要包括協議形式化描述技術、協議驗證技術、協議分析技術和協議一致性測試技術。

　　1.協議形式化描述技術

　　協議形式化描述技術是用某種具有形式語法或語義的語言（包括狀態圖表等）對某種給定協議進行說明的技術，是為協議實現莫定基礎的一種有效手段，是使協議無含糊性和能夠唯一解釋的一種表示技術。CCITT和ISO相繼研究出SDL（說明和描述語言）、ESTELLE（擴展的狀態轉移語言）和LOTOSC時序說明語言）三種形式化描述技術。

　　2.協議驗證技術

　　協議驗證技術證明所描述的對象是否滿足協議規範的技術。主要的方法有：

　　①狀態轉移法利用狀態轉移圖表示協議和驗證協議的各種性質的方法。這種方法容易檢測死鎖現象以及檢測出現特殊狀態的可能性，也可以用電腦自動實現。缺點是當協議規模增大和複雜化時，狀態數增加，電腦處理就比較困難。這種方法多用於已經模型化了的通信進程間的事件交換。

　　②編程語言法以PASCAL等高級編程語言為基礎，增加適於表示協議的固定命令集所形成的語言規範的驗證方法。這種方法可以用於驗證用狀態轉移法難以驗證的序列號和定時值等參數的處理規程，

　　③時序邏輯法在邏輯運算符（邏輯和、邏輯乘、同意、否定等）的基礎上增加時間運算符的規範描述驗證方法。這種方法對協議生存性和安全性的驗證能力強，但當協議規模較大時，描述內容的可理解性降低，驗證變得困難。

　　④代數方法利用操作、參數的說明部分（定義域、值域）和公理來規定協議規範的驗證方法。這種方法的優點是協議規範作為公理給出，驗證和協議規範描述可在同一框架中討論。缺點是協議規模大時，可理解性降低，維護變得困難。

　　3.協議分析技術

　　協議分析技術是在協議開發；、試驗和維護等過程中，對協議的執行狀況進行判斷和故障診斷，從而判定協議執行正確性的技術。協議分析是利用協議分析儀，採用監控和模擬兩種方式來實現的。監控方式是協議分析儀通過顯示和存儲從線路上接收到的數據信號，供操作人員判斷和分析。模擬方式是用協議分析儀代替主電腦或終端，在預先編製的程式控制下，檢査和分析被測設備執行協議的正確性。

　　協議一致性測試技術測試數據通信系統中協議實現和協議標準之間一致性程度的技術。其目的在於提高數據通信設備之間的互操作性。