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

1.3G協(xié)議標(biāo)準(zhǔn)

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

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é)合表示法,描述一致性測(cè)試的語言｡

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

2.啟動(dòng)迅速

使用3G協(xié)議標(biāo)準(zhǔn)基于SDL/ASN.1工具實(shí)現(xiàn)由SDL和ASN.1描述的協(xié)議的優(yōu)勢(shì)是顯而易見的｡用戶從計(jì)算機(jī)可處理的規(guī)范開始開發(fā)｡該規(guī)范是完全正確的——因?yàn)樗旧砭褪菢?biāo)準(zhǔn)｡

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

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

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

其優(yōu)勢(shì)是基于SDL/ASN.1的實(shí)現(xiàn)者不需要從零開始創(chuàng)建一個(gè)系統(tǒng)描述,因?yàn)樗鼈冊(cè)跇?biāo)準(zhǔn)中已經(jīng)有了一個(gè)起點(diǎn)｡

3.早期證實(shí)和驗(yàn)證

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

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

4.成熟的方法

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

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