3G協議標準的應用優勢
我們知道現在現行的3G協議標準包括TD-SCDMA以及cdma2000還有WCDMA。那么這里我們對于它們三個的特點和區分不再做總結,主要說一下3G協議標準的一些優勢。那么我們先來看看它所具體所包含的應用和作用。
1.3G協議標準
TD-SCDMA和UMTS/IMT-2000系統在未來的幾年將會被廣泛應用。以下幾種形式化語言是3GPP方法的一部分,并且被廣泛地應用于標準中:
SDL,Specification and Description Language,規格和描述語言,描述系統結構和行為的圖形化語言。
MSC,Message Sequence Chart,消息順序圖,描述通信序列的圖形化語言。
ASN.1,Abstract Syntax Notation Number One,抽象語法表示法一,描述協議信息和編解碼的語言。
TTCN,Tree and Tabular Combined Notation,樹表結合表示法,描述一致性測試的語言。
所有這些語言都由ITU和/或ISO標準化。它們都可由計算機進行處理,在市場上已有優秀的集成開發工具。 以下我們討論用形式化語言進行TD-SCDMA和UMTS協議棧開發的諸多優勢。
2.啟動迅速
使用3G協議標準基于SDL/ASN.1工具實現由SDL和ASN.1描述的協議的優勢是顯而易見的。用戶從計算機可處理的規范開始開發。該規范是完全正確的——因為它本身就是標準。
TD-SCDMA和UMTS標準包含完整、詳細的協議中使用的的協議數據單元(PDU)描述。當ASN.1在標準中使用時,ASN.1可以并且應該直接使用到實現過程中。3G協議標準中ASN.1已經詳細到可以自動生成編解碼器,可以直接作為實現語言,用于數據定義。
然而,標準中的SDL規范還遠沒有詳細到可以直接生成實現。有些行為是用狀態機描述的,但限于那些直接影響協議實體外部特征的行為,并且采用的也是一種抽象的方式,從而不對協議實現有所限制。規范的很多語義描述在附加文本中,有時用SDL圖形表示出來,作為不定義的過程。
為了得到一個可執行的規范,實現者必須添加協議框架來創建、管理和刪除協議實體。另外,許多體系結構方面的選擇,如緩沖機制等也必須確定下來,使得標準的所有語義都由行為圖和外部過程(必須被實現)表示出來。從標準中初始得到SDL描述,然后經過幾個更加面向執行的后續階段,直到產生實現。
其優勢是基于SDL/ASN.1的實現者不需要從零開始創建一個系統描述,因為它們在標準中已經有了一個起點。
3.早期證實和驗證
3G協議標準第二個主要的優勢是實現者不必等到完整的實現之前就能進行行為的觀察和測試。即使是非常有限的SDL描述也能進行仿真。實現者在早期階段就可以證實SDL行為確實符合標準。一種方法是將標準中的MSC圖與仿真中生成的MSC圖進行比較。
另外,通過觀察仿真描述的行為,給出特定輸入,實現者還可以增進對協議的理解。
4.成熟的方法
從TD-SCDMA或者UMTS標準到實現是一個相當復雜的任務。要控制這種復雜性,分階段進行開發是非常重要的,在每個階段進行有限的、良好定義的和容易理解的增強。這種方法不僅有助于開發過程,它還使得體系和結構的選擇更加明顯、可見,并可公開進行討論和改進,而不會隱含在和躲藏在復雜度后面,除了實現者之外別人都看不見。
從這種意義上說,基于SDL的方法是成熟的。這種可追蹤的可發過程已經有現成的課程、書籍和咨詢服務。