我們知道現(xiàn)在現(xiàn)行的3G協(xié)議標準包括TD-SCDMA以及cdma2000還有WCDMA。那么這里我們對于它們?nèi)齻€的特點和區(qū)分不再做總結(jié)，主要說一下3G協(xié)議標準的一些優(yōu)勢。那么我們先來看看它所具體所包含的應(yīng)用和作用。

1.3G協(xié)議標準

TD-SCDMA和UMTS/IMT-2000系統(tǒng)在未來的幾年將會被廣泛應(yīng)用｡以下幾種形式化語言是3GPP方法的一部分,并且被廣泛地應(yīng)用于標準中:

SDL,Specification and Description Language,規(guī)格和描述語言,描述系統(tǒng)結(jié)構(gòu)和行為的圖形化語言｡

MSC,Message Sequence Chart,消息順序圖,描述通信序列的圖形化語言｡

ASN.1,Abstract Syntax Notation Number One,抽象語法表示法一,描述協(xié)議信息和編解碼的語言｡

TTCN,Tree and Tabular Combined Notation,樹表結(jié)合表示法,描述一致性測試的語言｡

所有這些語言都由ITU和/或ISO標準化｡它們都可由計算機進行處理,在市場上已有優(yōu)秀的集成開發(fā)工具｡ 以下我們討論用形式化語言進行TD-SCDMA和UMTS協(xié)議棧開發(fā)的諸多優(yōu)勢｡

2.啟動迅速

使用3G協(xié)議標準基于SDL/ASN.1工具實現(xiàn)由SDL和ASN.1描述的協(xié)議的優(yōu)勢是顯而易見的｡用戶從計算機可處理的規(guī)范開始開發(fā)｡該規(guī)范是完全正確的——因為它本身就是標準｡

TD-SCDMA和UMTS標準包含完整､詳細的協(xié)議中使用的的協(xié)議數(shù)據(jù)單元(PDU)描述｡當ASN.1在標準中使用時,ASN.1可以并且應(yīng)該直接使用到實現(xiàn)過程中｡3G協(xié)議標準中ASN.1已經(jīng)詳細到可以自動生成編解碼器,可以直接作為實現(xiàn)語言,用于數(shù)據(jù)定義｡

然而,標準中的SDL規(guī)范還遠沒有詳細到可以直接生成實現(xiàn)｡有些行為是用狀態(tài)機描述的,但限于那些直接影響協(xié)議實體外部特征的行為,并且采用的也是一種抽象的方式,從而不對協(xié)議實現(xiàn)有所限制｡規(guī)范的很多語義描述在附加文本中,有時用SDL圖形表示出來,作為不定義的過程｡

為了得到一個可執(zhí)行的規(guī)范,實現(xiàn)者必須添加協(xié)議框架來創(chuàng)建､管理和刪除協(xié)議實體｡另外,許多體系結(jié)構(gòu)方面的選擇,如緩沖機制等也必須確定下來,使得標準的所有語義都由行為圖和外部過程(必須被實現(xiàn))表示出來｡從標準中初始得到SDL描述,然后經(jīng)過幾個更加面向執(zhí)行的后續(xù)階段,直到產(chǎn)生實現(xiàn)｡

其優(yōu)勢是基于SDL/ASN.1的實現(xiàn)者不需要從零開始創(chuàng)建一個系統(tǒng)描述,因為它們在標準中已經(jīng)有了一個起點｡

3.早期證實和驗證

3G協(xié)議標準第二個主要的優(yōu)勢是實現(xiàn)者不必等到完整的實現(xiàn)之前就能進行行為的觀察和測試｡即使是非常有限的SDL描述也能進行仿真｡實現(xiàn)者在早期階段就可以證實SDL行為確實符合標準｡一種方法是將標準中的MSC圖與仿真中生成的MSC圖進行比較｡

另外,通過觀察仿真描述的行為,給出特定輸入,實現(xiàn)者還可以增進對協(xié)議的理解｡

4.成熟的方法

從TD-SCDMA或者UMTS標準到實現(xiàn)是一個相當復(fù)雜的任務(wù)｡要控制這種復(fù)雜性,分階段進行開發(fā)是非常重要的,在每個階段進行有限的､良好定義的和容易理解的增強｡這種方法不僅有助于開發(fā)過程,它還使得體系和結(jié)構(gòu)的選擇更加明顯､可見,并可公開進行討論和改進,而不會隱含在和躲藏在復(fù)雜度后面,除了實現(xiàn)者之外別人都看不見｡

從這種意義上說,基于SDL的方法是成熟的｡這種可追蹤的可發(fā)過程已經(jīng)有現(xiàn)成的課程､書籍和咨詢服務(wù)｡