第3講_網(wǎng)絡(luò)協(xié)議及其設(shè)計(jì)方法

1、1 第第3 3講講 網(wǎng)絡(luò)協(xié)議及其設(shè)計(jì)方法網(wǎng)絡(luò)協(xié)議及其設(shè)計(jì)方法2內(nèi)容提綱內(nèi)容提綱1 網(wǎng)絡(luò)協(xié)議基本概念網(wǎng)絡(luò)協(xié)議基本概念2 網(wǎng)絡(luò)協(xié)議的發(fā)展和要素網(wǎng)絡(luò)協(xié)議的發(fā)展和要素3 網(wǎng)絡(luò)協(xié)議缺陷示例網(wǎng)絡(luò)協(xié)議缺陷示例4 協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化5 網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)協(xié)議工程6 網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法7 協(xié)議形式化描述技術(shù)協(xié)議形式化描述技術(shù) 3協(xié)議基本概念協(xié)議基本概念v 協(xié)議是某一種活動(dòng)或行為所遵守的準(zhǔn)則，是有關(guān)各方協(xié)議是某一種活動(dòng)或行為所遵守的準(zhǔn)則，是有關(guān)各方事先約定好的和必須遵守的規(guī)則。事先約定好的和必須遵守的規(guī)則。v 網(wǎng)絡(luò)協(xié)議是為網(wǎng)絡(luò)中互相通信的對(duì)等實(shí)體間進(jìn)行數(shù)據(jù)交換而建立的規(guī)則、標(biāo)準(zhǔn)或約定，規(guī)定信號(hào)的傳輸

2、方式及其意義，是計(jì)算機(jī)網(wǎng)絡(luò)不可缺少的組成部分，保證實(shí)體在計(jì)算機(jī)網(wǎng)絡(luò)中有條不紊地交換數(shù)據(jù)。v 實(shí)體(Entity)是指任何可以發(fā)送或接收信息的硬件或軟件進(jìn)程，在大多數(shù)情況下，就是一個(gè)特定的軟件進(jìn)程。v 位于不同系統(tǒng)的同一層次內(nèi)交互的實(shí)體，就構(gòu)成了對(duì)等實(shí)體。 4協(xié)議基本概念（協(xié)議基本概念（Cont.）v 英格蘭國(guó)家物理實(shí)驗(yàn)室英格蘭國(guó)家物理實(shí)驗(yàn)室NPL(National Physical Laboratory)的的R.A. Scantlebury和和K.A.Bartlett在一份備在一份備忘錄忘錄( (A protocol for use in the NPL data communications

3、 network) )中最早將中最早將“協(xié)議協(xié)議(protocol)”一詞用于描述數(shù)據(jù)一詞用于描述數(shù)據(jù)通信過(guò)程。（通信過(guò)程。（19671967年年4 4月，月，19691969年年ARPNETARPNET開(kāi)始運(yùn)行）開(kāi)始運(yùn)行） “協(xié)議是關(guān)于分布式系統(tǒng)進(jìn)行信息交換時(shí)的一種約定，協(xié)議是關(guān)于分布式系統(tǒng)進(jìn)行信息交換時(shí)的一種約定，協(xié)議應(yīng)按照語(yǔ)言的方式進(jìn)行定義。協(xié)議應(yīng)按照語(yǔ)言的方式進(jìn)行定義?！?v 基于他們的觀點(diǎn)：網(wǎng)絡(luò)協(xié)議就是具有規(guī)定文法、語(yǔ)法和基于他們的觀點(diǎn)：網(wǎng)絡(luò)協(xié)議就是具有規(guī)定文法、語(yǔ)法和語(yǔ)義的語(yǔ)言，其中，語(yǔ)義的語(yǔ)言，其中，文法文法給出了有效信息的精確格式，給出了有效信息的精確格式，語(yǔ)法語(yǔ)法描述了數(shù)據(jù)交

4、換的規(guī)則，描述了數(shù)據(jù)交換的規(guī)則，語(yǔ)義語(yǔ)義規(guī)定了可交換信息的規(guī)定了可交換信息的詞匯及其含義。詞匯及其含義。5協(xié)議基本概念（協(xié)議基本概念（Cont.）v 協(xié)議三要素協(xié)議三要素( (從語(yǔ)言的角度來(lái)理解協(xié)議從語(yǔ)言的角度來(lái)理解協(xié)議) )：語(yǔ)法（語(yǔ)法（SyntaxSyntax）：協(xié)議元素的結(jié)構(gòu)或格式）：協(xié)議元素的結(jié)構(gòu)或格式（怎么表達(dá)）（怎么表達(dá)）。語(yǔ)義（語(yǔ)義（SemanticsSemantics）：協(xié)議元素的類(lèi)型，具體發(fā)出何種信息）：協(xié)議元素的類(lèi)型，具體發(fā)出何種信息和采取何種動(dòng)作（和采取何種動(dòng)作（什么含義什么含義）。）。同步（同步（TimingTiming）：相關(guān)事件實(shí)現(xiàn)的嚴(yán)格順序）：相關(guān)事件實(shí)現(xiàn)的嚴(yán)格順

5、序（前后關(guān)系）（前后關(guān)系）。 v 五個(gè)基本要素五個(gè)基本要素( (從功能實(shí)現(xiàn)的角度從功能實(shí)現(xiàn)的角度) )：服務(wù)說(shuō)明服務(wù)說(shuō)明環(huán)境假設(shè)環(huán)境假設(shè)協(xié)議詞匯（消息類(lèi)型）協(xié)議詞匯（消息類(lèi)型）消息的編碼格式消息的編碼格式過(guò)程規(guī)則過(guò)程規(guī)則6協(xié)議基本概念：語(yǔ)法協(xié)議基本概念：語(yǔ)法v 在語(yǔ)言學(xué)中，語(yǔ)法是指語(yǔ)言組成成分在語(yǔ)言學(xué)中，語(yǔ)法是指語(yǔ)言組成成分(詞、句等詞、句等)之間以之間以按照什么樣的關(guān)系結(jié)合而構(gòu)成語(yǔ)句或語(yǔ)言，也即是語(yǔ)按照什么樣的關(guān)系結(jié)合而構(gòu)成語(yǔ)句或語(yǔ)言，也即是語(yǔ)言的結(jié)構(gòu)方法和構(gòu)成規(guī)則。言的結(jié)構(gòu)方法和構(gòu)成規(guī)則。v 在網(wǎng)絡(luò)協(xié)議中，可以將交換的報(bào)文在網(wǎng)絡(luò)協(xié)議中，可以將交換的報(bào)文( (也稱(chēng)為協(xié)議數(shù)據(jù)單也稱(chēng)為協(xié)議數(shù)據(jù)單

6、元元PDU)PDU)分為兩種：用于傳輸用戶(hù)數(shù)據(jù)的數(shù)據(jù)報(bào)文和用分為兩種：用于傳輸用戶(hù)數(shù)據(jù)的數(shù)據(jù)報(bào)文和用于協(xié)議控制的控制報(bào)文。網(wǎng)絡(luò)協(xié)議中的于協(xié)議控制的控制報(bào)文。網(wǎng)絡(luò)協(xié)議中的語(yǔ)法體現(xiàn)在數(shù)語(yǔ)法體現(xiàn)在數(shù)據(jù)報(bào)文據(jù)報(bào)文 ( (包括其中的控制信息，通常在報(bào)文的首部包括其中的控制信息，通常在報(bào)文的首部) )和和各種控制報(bào)文的結(jié)構(gòu)和格式上各種控制報(bào)文的結(jié)構(gòu)和格式上，也即是規(guī)定報(bào)文的長(zhǎng)，也即是規(guī)定報(bào)文的長(zhǎng)度，報(bào)文中劃分多少個(gè)域度，報(bào)文中劃分多少個(gè)域(Field)(Field)，每個(gè)域的名稱(chēng)、意，每個(gè)域的名稱(chēng)、意義、數(shù)據(jù)類(lèi)型、長(zhǎng)度等。其中，報(bào)文中各個(gè)域的類(lèi)型、義、數(shù)據(jù)類(lèi)型、長(zhǎng)度等。其中，報(bào)文中各個(gè)域的類(lèi)型、長(zhǎng)度及相互

7、間的位置、順序關(guān)系則構(gòu)成了長(zhǎng)度及相互間的位置、順序關(guān)系則構(gòu)成了詞法詞法。詞法。詞法也是語(yǔ)法的一個(gè)組成部分。也是語(yǔ)法的一個(gè)組成部分。 7協(xié)議基本概念：語(yǔ)義協(xié)議基本概念：語(yǔ)義v 網(wǎng)絡(luò)協(xié)議的語(yǔ)義可以理解為協(xié)議數(shù)據(jù)報(bào)文中的控制信網(wǎng)絡(luò)協(xié)議的語(yǔ)義可以理解為協(xié)議數(shù)據(jù)報(bào)文中的控制信息和控制報(bào)文所約定的含義，即需要發(fā)出何種控制信息和控制報(bào)文所約定的含義，即需要發(fā)出何種控制信息，完成何種動(dòng)作以及做出何種響應(yīng)。息，完成何種動(dòng)作以及做出何種響應(yīng)。v 例如：例如：報(bào)文首部控制信息中的目的地址信息指明了報(bào)文的目的地，報(bào)文首部控制信息中的目的地址信息指明了報(bào)文的目的地，接收到此報(bào)文的網(wǎng)絡(luò)結(jié)點(diǎn)均將其作為進(jìn)行路由選擇的依據(jù)，接

8、收到此報(bào)文的網(wǎng)絡(luò)結(jié)點(diǎn)均將其作為進(jìn)行路由選擇的依據(jù)，因而在首部控制信息中特定域內(nèi)出現(xiàn)的目標(biāo)結(jié)點(diǎn)地址就是一因而在首部控制信息中特定域內(nèi)出現(xiàn)的目標(biāo)結(jié)點(diǎn)地址就是一種語(yǔ)義。種語(yǔ)義。 為了實(shí)現(xiàn)有連接的傳輸服務(wù)，設(shè)計(jì)了一套實(shí)現(xiàn)連接的控制報(bào)為了實(shí)現(xiàn)有連接的傳輸服務(wù)，設(shè)計(jì)了一套實(shí)現(xiàn)連接的控制報(bào)文。發(fā)起連接方構(gòu)造一個(gè)請(qǐng)求連接的協(xié)議控制報(bào)文，這個(gè)文。發(fā)起連接方構(gòu)造一個(gè)請(qǐng)求連接的協(xié)議控制報(bào)文，這個(gè)“請(qǐng)求連接請(qǐng)求連接”就是該控制報(bào)文的語(yǔ)義。收端收到這個(gè)控制報(bào)就是該控制報(bào)文的語(yǔ)義。收端收到這個(gè)控制報(bào)文后，根據(jù)已知的格式分析規(guī)定域中報(bào)文編碼就可了解這個(gè)文后，根據(jù)已知的格式分析規(guī)定域中報(bào)文編碼就可了解這個(gè)“請(qǐng)求連接請(qǐng)求連接”

9、的語(yǔ)義，從而作出的語(yǔ)義，從而作出“允許連接允許連接”或或“拒絕連接拒絕連接”的響應(yīng)。的響應(yīng)。8協(xié)議基本概念：語(yǔ)義（協(xié)議基本概念：語(yǔ)義（Cont.）v例如：例如：“允許連接允許連接”報(bào)文和報(bào)文和“拒絕連接拒絕連接”報(bào)文的格式和語(yǔ)報(bào)文的格式和語(yǔ)義也是協(xié)議中約定好的，通信雙方通過(guò)這些約定語(yǔ)義也是協(xié)議中約定好的，通信雙方通過(guò)這些約定語(yǔ)義的控制報(bào)文按一定時(shí)序關(guān)系進(jìn)行交換即可實(shí)現(xiàn)建義的控制報(bào)文按一定時(shí)序關(guān)系進(jìn)行交換即可實(shí)現(xiàn)建立連接的功能和提供有連接服務(wù)。立連接的功能和提供有連接服務(wù)。 在協(xié)議中常使用的在協(xié)議中常使用的“數(shù)據(jù)收到確認(rèn)數(shù)據(jù)收到確認(rèn)”報(bào)文報(bào)文(ACK(ACK報(bào)報(bào)文文) )、“出錯(cuò)通知出錯(cuò)通知”報(bào)

10、文、報(bào)文、“緊急通知緊急通知”報(bào)文等均報(bào)文等均可看成為具有特定語(yǔ)義的網(wǎng)絡(luò)協(xié)議的語(yǔ)句，即協(xié)議可看成為具有特定語(yǔ)義的網(wǎng)絡(luò)協(xié)議的語(yǔ)句，即協(xié)議的組成部分。的組成部分。 9協(xié)議基本概念：同步協(xié)議基本概念：同步v 簡(jiǎn)單地說(shuō)，同步是指事件實(shí)現(xiàn)順序的詳細(xì)說(shuō)明。簡(jiǎn)單地說(shuō)，同步是指事件實(shí)現(xiàn)順序的詳細(xì)說(shuō)明。 v 具體來(lái)說(shuō)，同步是指通信過(guò)程中各種控制報(bào)文傳送的具體來(lái)說(shuō)，同步是指通信過(guò)程中各種控制報(bào)文傳送的順序關(guān)系，例如順序關(guān)系，例如“允許連接允許連接”或或“拒絕連接拒絕連接”報(bào)文必報(bào)文必須是作為請(qǐng)求連接報(bào)文的一種響應(yīng)來(lái)發(fā)送，須是作為請(qǐng)求連接報(bào)文的一種響應(yīng)來(lái)發(fā)送，“拆除連拆除連接接”報(bào)文也必須在建立連接后的某種條件下發(fā)

11、送，等報(bào)文也必須在建立連接后的某種條件下發(fā)送，等等。等。v 這種控制報(bào)文發(fā)送的時(shí)序關(guān)系，也決定了通信雙方所這種控制報(bào)文發(fā)送的時(shí)序關(guān)系，也決定了通信雙方所處的通信狀態(tài)處的通信狀態(tài)( (發(fā)送狀態(tài)、接收狀態(tài)、等待狀態(tài)等發(fā)送狀態(tài)、接收狀態(tài)、等待狀態(tài)等) )的的制約關(guān)系，所以常用通信雙方的有限狀態(tài)機(jī)的方法來(lái)制約關(guān)系，所以常用通信雙方的有限狀態(tài)機(jī)的方法來(lái)描述網(wǎng)絡(luò)協(xié)議。描述網(wǎng)絡(luò)協(xié)議。 v 在有些文獻(xiàn)中，也將這種同步關(guān)系視為協(xié)議語(yǔ)法的一在有些文獻(xiàn)中，也將這種同步關(guān)系視為協(xié)議語(yǔ)法的一部分。部分。 10協(xié)議相關(guān)定義：進(jìn)一步延伸協(xié)議相關(guān)定義：進(jìn)一步延伸v進(jìn)一步延伸為計(jì)算機(jī)通信協(xié)議。進(jìn)一步延伸為計(jì)算機(jī)通信協(xié)議。 v協(xié)

12、議是協(xié)議是計(jì)算機(jī)網(wǎng)絡(luò)和分布式系統(tǒng)計(jì)算機(jī)網(wǎng)絡(luò)和分布式系統(tǒng)中各種中各種通信實(shí)通信實(shí)體體或或進(jìn)程間進(jìn)程間相互交換信息時(shí)必須遵守的一組規(guī)相互交換信息時(shí)必須遵守的一組規(guī)則或約定則或約定。v網(wǎng)絡(luò)協(xié)議工程中的許多技術(shù)和方法可應(yīng)用到分網(wǎng)絡(luò)協(xié)議工程中的許多技術(shù)和方法可應(yīng)用到分布式系統(tǒng)中進(jìn)程間通信協(xié)議的設(shè)計(jì)活動(dòng)中。布式系統(tǒng)中進(jìn)程間通信協(xié)議的設(shè)計(jì)活動(dòng)中。 11協(xié)議相關(guān)定義：網(wǎng)絡(luò)體系結(jié)構(gòu)協(xié)議相關(guān)定義：網(wǎng)絡(luò)體系結(jié)構(gòu)v大量研究和實(shí)踐經(jīng)驗(yàn)表明，對(duì)于非常復(fù)雜的計(jì)大量研究和實(shí)踐經(jīng)驗(yàn)表明，對(duì)于非常復(fù)雜的計(jì)算機(jī)網(wǎng)絡(luò)協(xié)議，其結(jié)構(gòu)應(yīng)采用層次式的。算機(jī)網(wǎng)絡(luò)協(xié)議，其結(jié)構(gòu)應(yīng)采用層次式的。 v在計(jì)算機(jī)網(wǎng)絡(luò)中，將在計(jì)算機(jī)網(wǎng)絡(luò)中，將計(jì)算機(jī)網(wǎng)絡(luò)的計(jì)

13、算機(jī)網(wǎng)絡(luò)的各層各層及其及其協(xié)協(xié)議議的集合的集合，稱(chēng)為網(wǎng)絡(luò)的，稱(chēng)為網(wǎng)絡(luò)的體系結(jié)構(gòu)體系結(jié)構(gòu)(architecture)。ISOISO的的OSI/RMOSI/RM（開(kāi)放系統(tǒng)互連（開(kāi)放系統(tǒng)互連/ /參考模型）參考模型）IBMIBM的的SNASNA（系統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)）（系統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)）DECDEC的的DNADNA（分布式網(wǎng)絡(luò)體系結(jié)構(gòu)）（分布式網(wǎng)絡(luò)體系結(jié)構(gòu)）IETFIETF的的TCP/IPTCP/IP 12內(nèi)容提綱內(nèi)容提綱1 網(wǎng)絡(luò)協(xié)議基本概念網(wǎng)絡(luò)協(xié)議基本概念2 網(wǎng)絡(luò)協(xié)議的發(fā)展和要素網(wǎng)絡(luò)協(xié)議的發(fā)展和要素3 網(wǎng)絡(luò)協(xié)議缺陷示例網(wǎng)絡(luò)協(xié)議缺陷示例4 協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化5 網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)協(xié)議工程6 網(wǎng)絡(luò)協(xié)議設(shè)計(jì)

14、方法網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法7 協(xié)議形式化描述技術(shù)協(xié)議形式化描述技術(shù)13協(xié)議的發(fā)展：早期的協(xié)議協(xié)議的發(fā)展：早期的協(xié)議v 戰(zhàn)爭(zhēng)中的烽火通信、敲鼓和鳴鑼?xiě)?zhàn)爭(zhēng)中的烽火通信、敲鼓和鳴鑼 v 改進(jìn)的火炬通信（兩組，每組五個(gè)火炬）改進(jìn)的火炬通信（兩組，每組五個(gè)火炬）v 美國(guó)革命戰(zhàn)爭(zhēng)使用的懸掛不同物品的旗桿美國(guó)革命戰(zhàn)爭(zhēng)使用的懸掛不同物品的旗桿v Chappe的反射信號(hào)系統(tǒng)（一個(gè)調(diào)節(jié)器和兩個(gè)指示器的反射信號(hào)系統(tǒng)（一個(gè)調(diào)節(jié)器和兩個(gè)指示器）v 百葉窗通信系統(tǒng)（多扇百葉窗構(gòu)成簡(jiǎn)單百葉窗通信系統(tǒng)（多扇百葉窗構(gòu)成簡(jiǎn)單0、1序列序列）。）。v Telegraph，節(jié)省成本和提高速度。，節(jié)省成本和提高速度。v Firstly us

15、ed on several lines of the Great Western Railways in England v Purpose: avoid more than one train is in the tunnel at the same time.14火炬通信火炬通信協(xié)議的發(fā)展：早期的協(xié)議協(xié)議的發(fā)展：早期的協(xié)議反射信號(hào)系統(tǒng)反射信號(hào)系統(tǒng)百葉窗通信系統(tǒng)百葉窗通信系統(tǒng)15協(xié)議的發(fā)展：電報(bào)協(xié)議的發(fā)展：電報(bào)(Telegraph)v 1753，C.M給給Scots雜志的信中描述了一個(gè)使用一些平行電雜志的信中描述了一個(gè)使用一些平行電線(xiàn)來(lái)通信的電子電報(bào)。線(xiàn)來(lái)通信的電子電報(bào)。v 1830，英國(guó)，

16、英國(guó)Michael Faraday和美國(guó)和美國(guó)Joseph Henry發(fā)現(xiàn)了電發(fā)現(xiàn)了電磁感應(yīng)。磁感應(yīng)。v 1837，William Cooke利用電流來(lái)使處在接收端磁場(chǎng)中的利用電流來(lái)使處在接收端磁場(chǎng)中的羅盤(pán)指針發(fā)生偏轉(zhuǎn)，從而得到信號(hào)。羅盤(pán)指針發(fā)生偏轉(zhuǎn)，從而得到信號(hào)。v 1837年年6月月12日，第一個(gè)電報(bào)系統(tǒng)的專(zhuān)利，日，第一個(gè)電報(bào)系統(tǒng)的專(zhuān)利，“五磁針信號(hào)五磁針信號(hào)系統(tǒng)系統(tǒng)”。v 1842年，年，Cooke“火車(chē)可以無(wú)所畏懼地行駛，而無(wú)論時(shí)間火車(chē)可以無(wú)所畏懼地行駛，而無(wú)論時(shí)間是否正確，也不管其是否在正確的軌道上，因?yàn)樵谑褂迷撌欠裾_，也不管其是否在正確的軌道上，因?yàn)樵谑褂迷撓到y(tǒng)后，其速率總可以及

17、時(shí)地降下來(lái)，從而避免碰撞系統(tǒng)后，其速率總可以及時(shí)地降下來(lái)，從而避免碰撞”。16協(xié)議的發(fā)展：現(xiàn)代網(wǎng)絡(luò)協(xié)議協(xié)議的發(fā)展：現(xiàn)代網(wǎng)絡(luò)協(xié)議vIBM SNA、ISO OSI/RM和和DoD TCP/IP等著名等著名體系結(jié)構(gòu)和協(xié)議已發(fā)揮了不可估量的作用；體系結(jié)構(gòu)和協(xié)議已發(fā)揮了不可估量的作用；vSNA是協(xié)議體系結(jié)構(gòu)的開(kāi)拓者；是協(xié)議體系結(jié)構(gòu)的開(kāi)拓者；vOSI/RM是網(wǎng)絡(luò)協(xié)議的指路燈；是網(wǎng)絡(luò)協(xié)議的指路燈；vTCP/IP是目前盛行的實(shí)事上的工業(yè)標(biāo)準(zhǔn)；是目前盛行的實(shí)事上的工業(yè)標(biāo)準(zhǔn)；vXTP、VMTP、IPv6和和NETBLT的出現(xiàn)，將使的出現(xiàn)，將使計(jì)算機(jī)網(wǎng)絡(luò)進(jìn)入一個(gè)高性能的時(shí)代。計(jì)算機(jī)網(wǎng)絡(luò)進(jìn)入一個(gè)高性能的時(shí)代。 17協(xié)

18、議的類(lèi)別協(xié)議的類(lèi)別v鏈路協(xié)議鏈路協(xié)議v網(wǎng)絡(luò)協(xié)議網(wǎng)絡(luò)協(xié)議 v傳輸協(xié)議傳輸協(xié)議v應(yīng)用協(xié)議應(yīng)用協(xié)議v控制協(xié)議控制協(xié)議v信令協(xié)議信令協(xié)議v接口協(xié)議接口協(xié)議v管理維護(hù)協(xié)議管理維護(hù)協(xié)議v18協(xié)議五要素說(shuō)明協(xié)議五要素說(shuō)明（Lynch簡(jiǎn)單文件傳送協(xié)議）簡(jiǎn)單文件傳送協(xié)議）v服務(wù)說(shuō)明服務(wù)說(shuō)明 通過(guò)電話(huà)線(xiàn)傳輸文本文件，一個(gè)發(fā)送端和一個(gè)接收端、通過(guò)電話(huà)線(xiàn)傳輸文本文件，一個(gè)發(fā)送端和一個(gè)接收端、全雙工通信全雙工通信v環(huán)境假設(shè)環(huán)境假設(shè) 包括兩個(gè)用戶(hù)和一條傳輸通道，用戶(hù)僅需提交文件傳包括兩個(gè)用戶(hù)和一條傳輸通道，用戶(hù)僅需提交文件傳送請(qǐng)求，傳輸通道可能引起消息出錯(cuò)，但不會(huì)造成消送請(qǐng)求，傳輸通道可能引起消息出錯(cuò)，但不會(huì)造成消息丟失

19、和復(fù)制，并可檢測(cè)出錯(cuò)誤的消息息丟失和復(fù)制，并可檢測(cè)出錯(cuò)誤的消息v協(xié)議詞匯協(xié)議詞匯 定義了三種消息（報(bào)文）定義了三種消息（報(bào)文）ack（肯定確認(rèn)的消息）、（肯定確認(rèn)的消息）、nak（否定確認(rèn)的消息）和（否定確認(rèn)的消息）和err（傳輸錯(cuò)誤的消息）（傳輸錯(cuò)誤的消息）19協(xié)議五要素說(shuō)明協(xié)議五要素說(shuō)明（Lynch簡(jiǎn)單文件傳送協(xié)議）簡(jiǎn)單文件傳送協(xié)議）v消息的編碼格式消息的編碼格式 包含兩個(gè)部分：控制字段和數(shù)據(jù)字段包含兩個(gè)部分：控制字段和數(shù)據(jù)字段 con_tag，data enum control ack, nak, err struct message enum control con_tag; unsi

20、gned char data; v過(guò)程規(guī)則（自然語(yǔ)言描述）過(guò)程規(guī)則（自然語(yǔ)言描述） （1）如果收端收到正確消息，則在回送的消息中加入）如果收端收到正確消息，則在回送的消息中加入ack；否則收到了錯(cuò)誤消息，則反饋的消息中加入否則收到了錯(cuò)誤消息，則反饋的消息中加入nak。 （2）如果發(fā)端收到帶有）如果發(fā)端收到帶有nak的消息，則重傳上一個(gè)消息，否的消息，則重傳上一個(gè)消息，否則發(fā)送下一個(gè)消息。則發(fā)送下一個(gè)消息。20Lynch簡(jiǎn)單文件傳送協(xié)議的工作流程圖簡(jiǎn)單文件傳送協(xié)議的工作流程圖注釋?zhuān)鹤⑨專(zhuān)簄ext:o表示取出將要傳送的下一個(gè)數(shù)據(jù)項(xiàng)；表示取出將要傳送的下一個(gè)數(shù)據(jù)項(xiàng)； i表示輸入，表示輸入，o表示輸出

21、表示輸出Next: ostartreceiveack: onak: iack: inak: oerr: iack: oNext: o21內(nèi)容提綱內(nèi)容提綱1 網(wǎng)絡(luò)協(xié)議基本概念網(wǎng)絡(luò)協(xié)議基本概念2 網(wǎng)絡(luò)協(xié)議的發(fā)展和要素網(wǎng)絡(luò)協(xié)議的發(fā)展和要素3 網(wǎng)絡(luò)協(xié)議缺陷示例網(wǎng)絡(luò)協(xié)議缺陷示例4 協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化5 網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)協(xié)議工程6 網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法7 協(xié)議形式化描述技術(shù)協(xié)議形式化描述技術(shù)22協(xié)議缺陷示例協(xié)議缺陷示例:克萊頓隧道事故克萊頓隧道事故23協(xié)議缺陷示例：技術(shù)協(xié)議缺陷示例：技術(shù)(Technology)v semaphores with block-interval system(空

22、閑空閑/阻塞信號(hào)阻塞信號(hào)系統(tǒng)系統(tǒng))turn green signal to red automatically as a train passesset to green by hand afterwardsv signalmen on both ends linked by telegraphic linev malfunction of block-interval system signalled by a bellv red and white flags to replace malfunctioning semaphore24協(xié)議缺陷示例：報(bào)文協(xié)議缺陷示例：報(bào)文(Messages)

23、vMessage:TT: Train in Tunnel（火車(chē)在隧道中）（火車(chē)在隧道中）TF: Tunnel is Free（隧道已空）（隧道已空）TL: Has Train left the Tunnel?（火車(chē)離開(kāi)隧道否？）（火車(chē)離開(kāi)隧道否？）25協(xié)議缺陷示例：差錯(cuò)控制機(jī)制協(xié)議缺陷示例：差錯(cuò)控制機(jī)制vError Free Functioning（正常情況）（正常情況）train enters tunnel, signalman A sends TT to Btrain leaves the tunnel, B sends TF to AA sets semaphore to green b

24、y handvUnder Error Situation（故障情況）（故障情況）train enters tunnel, A sends TT to Bbell rings, A shows red flag to next traintrain leaves the tunnel, B sends TF to AA shows white flag to next train26協(xié)議缺陷示例：事故協(xié)議缺陷示例：事故(Accident)vOne day in August 1861 at Clayton Tunnel.train-1 enters tunnel, block-interval

25、system fails(fails to set the signal to red), so the bell warns signalman A, thenA sends TT to B, then fetches the red flag to warn the next train.train-2 comes too fast, could not stop in time, and has already passed the green signal. Fortunately, its driver glimpse the red flag just in time as he

26、enters the tunnel.train-3 sees the red flag and stops before the tunnel entrance.27協(xié)議缺陷示例：事故（協(xié)議缺陷示例：事故（Accident) A sends another TT to B (for train-2), wish to notify B B does not understand second TT(because the protocol did not account for this event so the meaning of two sbusequent TT had not bee

27、n specified.) A sends TL (has the train left the tunnel?)to B28協(xié)議缺陷示例：事故（協(xié)議缺陷示例：事故（Accident) B sees train-1 has left and sends TF A thinks two trains left the tunnel and shows white flag to train-3 However, train-2 had seen red flag before, is afraid and tries to return to position A After some deli

28、beration.29協(xié)議缺陷示例：事故（協(xié)議缺陷示例：事故（Accident)vResult train-3 and train-2 crashed: 21 people died and 176 got injured The set of instructions given to the signalmen was incomplete, which leads to the accident30協(xié)議缺陷示例：教訓(xùn)（協(xié)議缺陷示例：教訓(xùn)（Lessons）v “One can almost hear the same comment being made time after time.I

29、 could not imagine that could ever happen. Yet bitter experience showed that it could, and gradually the regulations and railway engineering practice were elaborated.”vProtocol: Use Under normal circumstances and that allowed for a safe recovery from unexpected events.31協(xié)議缺陷示例：教訓(xùn)（協(xié)議缺陷示例：教訓(xùn)（Lessons）v

30、even the most simple protocols may contain errorsvIt is the unexpected sequences of events that lead to protocol failures, and the hardest problem in protocol design is precisely that we must try to expect the unexpected.vprotocols must be fully verified before they are put in operationvtechniques t

31、o design, analyze and verify protocols are necessary32內(nèi)容提綱內(nèi)容提綱1 網(wǎng)絡(luò)協(xié)議基本概念網(wǎng)絡(luò)協(xié)議基本概念2 網(wǎng)絡(luò)協(xié)議的發(fā)展和要素網(wǎng)絡(luò)協(xié)議的發(fā)展和要素3 網(wǎng)絡(luò)協(xié)議缺陷示例網(wǎng)絡(luò)協(xié)議缺陷示例4 協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化5 網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)協(xié)議工程6 網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法7 協(xié)議形式化描述技術(shù)協(xié)議形式化描述技術(shù)33協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化vWhat are standards?Standards are documented agreements containing technical specifications to be used c

32、onsistently as rules, guidelines, or definitions of characteristics, to ensure that materials, products, processes and services are fit for their purposeInternational Standards contribute to making life simpler, and to increasing the reliability and effectiveness of the goods and services we useIndu

33、stry-wide standardization is a condition existing within a particular industrial sector when the large majority of products or services conform to the same standards34標(biāo)準(zhǔn)的定義和分類(lèi)標(biāo)準(zhǔn)的定義和分類(lèi)v 定義 名詞術(shù)語(yǔ)的定義 部件的分類(lèi) 材料、性能或操作的規(guī)范 規(guī)程的描述 數(shù)量和質(zhì)量的測(cè)量等 .v 分類(lèi) “de facto”(事實(shí)上的) “de jure”(法律上的)標(biāo)準(zhǔn)是一組規(guī)定的規(guī)標(biāo)準(zhǔn)是一組規(guī)定的規(guī)則、條件或要求。則、條件或要

34、求。事實(shí)上的標(biāo)準(zhǔn)是無(wú)計(jì)事實(shí)上的標(biāo)準(zhǔn)是無(wú)計(jì)劃而客觀形成的。劃而客觀形成的?！胺ǘǚǘā睒?biāo)準(zhǔn)是某些權(quán)標(biāo)準(zhǔn)是某些權(quán)威標(biāo)準(zhǔn)化機(jī)構(gòu)制定的威標(biāo)準(zhǔn)化機(jī)構(gòu)制定的正式、合法的標(biāo)準(zhǔn)。正式、合法的標(biāo)準(zhǔn)。35協(xié)議標(biāo)準(zhǔn)化（協(xié)議標(biāo)準(zhǔn)化（Cont.）vWhy Push For Standardization?The aim is to facilitate trade, exchange and technology transfer throughEnhanced product quality and reliability at a reasonable price.Greater compatibility and

35、 interoperability of goods and services.Simplification for improved usability.Increased distribution efficiency, and ease of maintenance36協(xié)議標(biāo)準(zhǔn)化（協(xié)議標(biāo)準(zhǔn)化（Cont.）vWhat does a standard look like? - ISO explains the major components of their standards documents:It can be anything from a one-page document to

36、 a 1000-page tome（冊(cè)、卷）（冊(cè)、卷）, including twice the length of the standard itself in informative annexes（附件）（附件）It may specify the tasks that a certain range of equipment must be able to perform, or describe in detail an apparatus and its safety features37協(xié)議標(biāo)準(zhǔn)化（協(xié)議標(biāo)準(zhǔn)化（Cont.）vWhat makes up a standard? It

37、 may contain:SymbolsDefinitionsDiagramsCodesTest methods38協(xié)議標(biāo)準(zhǔn)化（協(xié)議標(biāo)準(zhǔn)化（Cont.）vOrganization for Standardization for Protocols International Organization for Standardization (ISO) 國(guó)際電報(bào)電話(huà)咨詢(xún)委員會(huì)國(guó)際電報(bào)電話(huà)咨詢(xún)委員會(huì) (CCITT)International Telecommunications Union (ITU-T)Internet Engineering Task Force (IETF) Institut

38、e of Electrical and Electronics Engineers (IEEE)Institute of Electrical Engineers (IEE) World Wide Web Consortium (W3C)Association for Computing Machinery (ACM)Asynchronous Transfer Mode Forum (ATM Forum)American National Standards Institute (ANSI)39Timing: Its important for standardsvMIT D. Clarks

39、“apocalypse(啟示啟示) of the two elephants”The best period for standardization is between burst of research and burst of marketingThe period is very shortTCP/IP already entrenched by mid/late eightiesOSI/RM is put up in the burst of marketing of TCP/IP40標(biāo)準(zhǔn)化的時(shí)機(jī)標(biāo)準(zhǔn)化的時(shí)機(jī)關(guān)鍵：在兩個(gè)駝峰之間的低谷階段制定標(biāo)準(zhǔn)關(guān)鍵：在兩個(gè)駝峰之間的低谷階段制定標(biāo)準(zhǔn)

40、時(shí)間時(shí)間活動(dòng)活動(dòng) 投資投資研究研究制定標(biāo)準(zhǔn)制定標(biāo)準(zhǔn)41Examples: OSI/RM ProblemsvTannenbaum（泰倫鮑姆泰倫鮑姆）:Bad technologyBad timingBad implementationBad politics42Bad technologyv Model and protocol flawedv Standardized before implementedDesign by committee without implementation vs. design by implementors/researchers/engineersBound

41、aries somewhat arbitraryTop three layers not clear(application, presentation, session)v Why seven layers? Many fundamental issues can be addressed at multiple layersReliabilityFlow controlSecurityAddressing/naming43Bad timingvMIT D. Clarks “apocalypse(啟示啟示) of the two elephants”Technology activity v

42、s. time to standardizationvTCP/IP already entrenched by mid/late eighties44Bad implementationsvComplexity huge & slow implementations (考慮大而全，要全部實(shí)現(xiàn)就苯拙且效率低考慮大而全，要全部實(shí)現(xiàn)就苯拙且效率低)vCompetitor (BSD TCP/IP) was good, free, and easy to deploy45Bad politicsvPushed by European Community and U.S. governmentvN

43、egative image of government dictating standardsRemember “Clipper Chip（剪取器芯片剪取器芯片. 一種可以放一種可以放置在電話(huà)內(nèi)用來(lái)對(duì)通話(huà)進(jìn)行擾頻以防竊聽(tīng)的有置在電話(huà)內(nèi)用來(lái)對(duì)通話(huà)進(jìn)行擾頻以防竊聽(tīng)的有爭(zhēng)議的編碼裝置）爭(zhēng)議的編碼裝置）”46TCP/IP: Featuresv Layering not strict - only where appropriateCan define new abstractions on top of any existing protocolIP/UDP provides simple “send

44、 a packet” serviceEx: SNMP, DNS, IP phone, etc. v Hourglass shapeIP centerpiecev Design and implementation go hand-in-handIETF requires two independent, interoperable implementations before standardizationThe “dogma（教義）（教義）”: We reject kings, presidents, and voting. We believe in rough consensus （大體

45、一致（大體一致 ）and working code. - D. Clark47內(nèi)容提綱內(nèi)容提綱1 網(wǎng)絡(luò)協(xié)議基本概念網(wǎng)絡(luò)協(xié)議基本概念2 網(wǎng)絡(luò)協(xié)議的發(fā)展和要素網(wǎng)絡(luò)協(xié)議的發(fā)展和要素3 網(wǎng)絡(luò)協(xié)議缺陷示例網(wǎng)絡(luò)協(xié)議缺陷示例4 協(xié)議標(biāo)準(zhǔn)化協(xié)議標(biāo)準(zhǔn)化5 網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)協(xié)議工程6 網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方法7 協(xié)議形式化描述技術(shù)協(xié)議形式化描述技術(shù)48網(wǎng)絡(luò)協(xié)議工程：網(wǎng)絡(luò)協(xié)議工程：Why?網(wǎng)絡(luò)服務(wù)要求的提高應(yīng)用的多樣性網(wǎng)絡(luò)系統(tǒng)的多樣性導(dǎo)致在協(xié)議方面的體現(xiàn)復(fù)雜性分布性并發(fā)性異步性不穩(wěn)定性多樣性完整性正確性安全性可移植性標(biāo)準(zhǔn)化使得直覺(jué)的設(shè)計(jì)方法不能保證協(xié)議的協(xié)議工程協(xié)議工程(Protocol Engineeri

46、ng)軟件工程的經(jīng)驗(yàn)網(wǎng)絡(luò)系統(tǒng)的規(guī)模提升49協(xié)議工程概念協(xié)議工程概念v隨著網(wǎng)絡(luò)服務(wù)要求的提高，網(wǎng)絡(luò)系統(tǒng)的復(fù)雜性隨著網(wǎng)絡(luò)服務(wù)要求的提高，網(wǎng)絡(luò)系統(tǒng)的復(fù)雜性在協(xié)議方面體現(xiàn)出在協(xié)議方面體現(xiàn)出空間分布性空間分布性、并發(fā)性并發(fā)性、異步異步性性、不穩(wěn)定性不穩(wěn)定性和和多樣性多樣性，高質(zhì)量的通信協(xié)議再，高質(zhì)量的通信協(xié)議再也不可能靠人工直覺(jué)的方法來(lái)設(shè)計(jì)；也不可能靠人工直覺(jué)的方法來(lái)設(shè)計(jì)；v協(xié)議工程（協(xié)議工程（Protocol Engineering）用）用形式化的形式化的方法方法來(lái)描述在協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)活動(dòng)，來(lái)描述在協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)活動(dòng)，建立一套嚴(yán)格的協(xié)議設(shè)計(jì)方法，使協(xié)議開(kāi)發(fā)的建立一套嚴(yán)格的協(xié)議設(shè)計(jì)方法，

47、使協(xié)議開(kāi)發(fā)的整個(gè)過(guò)程整個(gè)過(guò)程一體化一體化、系統(tǒng)化系統(tǒng)化和和形式化形式化，從而保證，從而保證協(xié)議的完整性、正確性、安全性和可移植性。協(xié)議的完整性、正確性、安全性和可移植性。50Protocol Engineering: What?v 七十年代未人們開(kāi)始用形式化的方法描述通信協(xié)議。七十年代未人們開(kāi)始用形式化的方法描述通信協(xié)議。v 19811981年，在軟件工程思想的基礎(chǔ)上，年，在軟件工程思想的基礎(chǔ)上，PiatkowskiPiatkowski（皮皮亞考斯基亞考斯基）首先提出了）首先提出了“協(xié)議工程（協(xié)議工程（PEPE：Protocol Protocol EngineeringEngineering）

48、”的概念的概念v 協(xié)議工程學(xué)用形式化方法描述協(xié)議設(shè)計(jì)和維護(hù)中的各協(xié)議工程學(xué)用形式化方法描述協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)過(guò)程，它是以協(xié)議軟件為研究對(duì)象的軟件工程，而個(gè)過(guò)程，它是以協(xié)議軟件為研究對(duì)象的軟件工程，而且建立了一套比一般軟件工程方法更為嚴(yán)格、更為數(shù)且建立了一套比一般軟件工程方法更為嚴(yán)格、更為數(shù)學(xué)化的理論和方法，為協(xié)議軟件的開(kāi)發(fā)提供一整套工學(xué)化的理論和方法，為協(xié)議軟件的開(kāi)發(fā)提供一整套工程規(guī)范。程規(guī)范。v 集成化集成化(Integrated)(Integrated)、形式化形式化(Formal)(Formal)的協(xié)議開(kāi)發(fā)過(guò)的協(xié)議開(kāi)發(fā)過(guò)程程稱(chēng)為協(xié)議工程。協(xié)議工程的目的是減少協(xié)議開(kāi)發(fā)過(guò)稱(chēng)為協(xié)議工程。協(xié)

49、議工程的目的是減少協(xié)議開(kāi)發(fā)過(guò)程中潛在的錯(cuò)誤，提高協(xié)議開(kāi)發(fā)的效率，促進(jìn)協(xié)議標(biāo)程中潛在的錯(cuò)誤，提高協(xié)議開(kāi)發(fā)的效率，促進(jìn)協(xié)議標(biāo)準(zhǔn)化的發(fā)展。準(zhǔn)化的發(fā)展。 所謂所謂“集成化（一體化）集成化（一體化）”，就是指協(xié)議描述、驗(yàn)證、，就是指協(xié)議描述、驗(yàn)證、實(shí)現(xiàn)和測(cè)試等技術(shù)前后銜接，并在同一個(gè)開(kāi)發(fā)系統(tǒng)中實(shí)現(xiàn)和測(cè)試等技術(shù)前后銜接，并在同一個(gè)開(kāi)發(fā)系統(tǒng)中完成。在以往的協(xié)議開(kāi)發(fā)過(guò)程中，各個(gè)階段互不銜接。完成。在以往的協(xié)議開(kāi)發(fā)過(guò)程中，各個(gè)階段互不銜接。協(xié)議設(shè)計(jì)者憑自己的經(jīng)驗(yàn)和智慧設(shè)計(jì)出協(xié)議，用自然協(xié)議設(shè)計(jì)者憑自己的經(jīng)驗(yàn)和智慧設(shè)計(jì)出協(xié)議，用自然語(yǔ)言進(jìn)行描述，經(jīng)過(guò)他人審定或模擬之后，就予以公語(yǔ)言進(jìn)行描述，經(jīng)過(guò)他人審定或模擬之后

50、，就予以公布。其他的人只有在感興趣時(shí)才采用某種方法和理論布。其他的人只有在感興趣時(shí)才采用某種方法和理論對(duì)協(xié)議進(jìn)行驗(yàn)證。協(xié)議實(shí)現(xiàn)往往根據(jù)自己的環(huán)境和要對(duì)協(xié)議進(jìn)行驗(yàn)證。協(xié)議實(shí)現(xiàn)往往根據(jù)自己的環(huán)境和要求修改協(xié)議，協(xié)議實(shí)現(xiàn)之后不考慮實(shí)現(xiàn)與協(xié)議規(guī)范是求修改協(xié)議，協(xié)議實(shí)現(xiàn)之后不考慮實(shí)現(xiàn)與協(xié)議規(guī)范是否一致。協(xié)議的測(cè)試往往由協(xié)議實(shí)現(xiàn)者自己進(jìn)行，這否一致。協(xié)議的測(cè)試往往由協(xié)議實(shí)現(xiàn)者自己進(jìn)行，這實(shí)際上是一種程序調(diào)試。實(shí)際上是一種程序調(diào)試。 所謂所謂“形式化形式化”，就是指用形式描述技術(shù)，就是指用形式描述技術(shù)FDT(Formal Description Technique)貫穿協(xié)議開(kāi)貫穿協(xié)議開(kāi)發(fā)的各個(gè)階段。形式化描

51、述語(yǔ)言發(fā)的各個(gè)階段。形式化描述語(yǔ)言FDL(Formal Description Language)以一種或多種形式化描述以一種或多種形式化描述技術(shù)為基礎(chǔ)，有嚴(yán)格的語(yǔ)法和語(yǔ)義定義，抽象于技術(shù)為基礎(chǔ)，有嚴(yán)格的語(yǔ)法和語(yǔ)義定義，抽象于具體的實(shí)現(xiàn)，可以轉(zhuǎn)換、翻譯成程序設(shè)計(jì)語(yǔ)言。具體的實(shí)現(xiàn)，可以轉(zhuǎn)換、翻譯成程序設(shè)計(jì)語(yǔ)言。當(dāng)協(xié)議進(jìn)行形式化描述后，協(xié)議的驗(yàn)證、自動(dòng)實(shí)當(dāng)協(xié)議進(jìn)行形式化描述后，協(xié)議的驗(yàn)證、自動(dòng)實(shí)現(xiàn)、測(cè)試就可以在一個(gè)集成化的協(xié)議工程系統(tǒng)中現(xiàn)、測(cè)試就可以在一個(gè)集成化的協(xié)議工程系統(tǒng)中進(jìn)行了。進(jìn)行了。 51協(xié)議表現(xiàn)形式協(xié)議表現(xiàn)形式在協(xié)議開(kāi)發(fā)過(guò)程中，協(xié)議表現(xiàn)為以下幾種形式：在協(xié)議開(kāi)發(fā)過(guò)程中，協(xié)議表現(xiàn)為以下幾

52、種形式：v 非形式描述文本：用自然語(yǔ)言和圖表表達(dá)的協(xié)議。非形式描述文本：用自然語(yǔ)言和圖表表達(dá)的協(xié)議。v 形式描述文本：用形式描述語(yǔ)言（形式描述文本：用形式描述語(yǔ)言（FDL）描述的協(xié)議，可轉(zhuǎn)換）描述的協(xié)議，可轉(zhuǎn)換成程序設(shè)計(jì)語(yǔ)言程序。它一般基于某種數(shù)學(xué)模型，如：有限狀成程序設(shè)計(jì)語(yǔ)言程序。它一般基于某種數(shù)學(xué)模型，如：有限狀態(tài)機(jī)（態(tài)機(jī)（FSM）、）、PETRI網(wǎng)、網(wǎng)、 ITU-T的規(guī)范描述語(yǔ)言（的規(guī)范描述語(yǔ)言（SDL）、）、時(shí)態(tài)邏輯（時(shí)態(tài)邏輯（TL）、通信系統(tǒng)演算（）、通信系統(tǒng)演算（CCS）等。）等。v 與機(jī)器無(wú)關(guān)的協(xié)議源程序代碼（與機(jī)器無(wú)關(guān)的協(xié)議源程序代碼（Machine-independent S

53、ource Code）：這是由形式描述文本翻譯過(guò)來(lái)的程序設(shè)計(jì)語(yǔ)言。）：這是由形式描述文本翻譯過(guò)來(lái)的程序設(shè)計(jì)語(yǔ)言。v 協(xié)議實(shí)現(xiàn)代碼（協(xié)議實(shí)現(xiàn)代碼（Implementation Code）：協(xié)議在一種機(jī)器的實(shí)）：協(xié)議在一種機(jī)器的實(shí)現(xiàn)還包括大量協(xié)議文本沒(méi)有描述的程序，如緩沖器的分配管理、現(xiàn)還包括大量協(xié)議文本沒(méi)有描述的程序，如緩沖器的分配管理、系統(tǒng)輸入輸出等操作，這部分程序稱(chēng)作協(xié)議實(shí)現(xiàn)代碼。系統(tǒng)輸入輸出等操作，這部分程序稱(chēng)作協(xié)議實(shí)現(xiàn)代碼。v 測(cè)試套件（測(cè)試套件（Test Suite）：是一組關(guān)于協(xié)議測(cè)試步驟和測(cè)試數(shù)據(jù)）：是一組關(guān)于協(xié)議測(cè)試步驟和測(cè)試數(shù)據(jù)的文件，由協(xié)議的形式描述文本產(chǎn)生，用于測(cè)試協(xié)議的實(shí)

54、現(xiàn)代的文件，由協(xié)議的形式描述文本產(chǎn)生，用于測(cè)試協(xié)議的實(shí)現(xiàn)代碼。碼。 52協(xié)議一般開(kāi)發(fā)實(shí)現(xiàn)流程協(xié)議一般開(kāi)發(fā)實(shí)現(xiàn)流程v熟悉協(xié)議熟悉協(xié)議( (需求背景、實(shí)現(xiàn)內(nèi)容，相互間關(guān)系）需求背景、實(shí)現(xiàn)內(nèi)容，相互間關(guān)系） v制定實(shí)現(xiàn)方案（組織、結(jié)構(gòu)、層次）制定實(shí)現(xiàn)方案（組織、結(jié)構(gòu)、層次）v編寫(xiě)特定的實(shí)現(xiàn)程序（編寫(xiě)特定的實(shí)現(xiàn)程序（SDLSDL，JavaJava、C/C+C/C+等等, ,考考慮環(huán)境因素）慮環(huán)境因素）v運(yùn)行調(diào)試運(yùn)行調(diào)試v測(cè)試驗(yàn)證測(cè)試驗(yàn)證53Protocol Engineering: Procedure非形式化協(xié)議規(guī)范非形式化協(xié)議規(guī)范形式化協(xié)議規(guī)范形式化協(xié)議規(guī)范形式描述形式描述與機(jī)器無(wú)關(guān)的源代碼與機(jī)器無(wú)

55、關(guān)的源代碼實(shí)現(xiàn)代碼實(shí)現(xiàn)代碼(產(chǎn)品產(chǎn)品)轉(zhuǎn)換轉(zhuǎn)換實(shí)現(xiàn)實(shí)現(xiàn)產(chǎn)品測(cè)試器產(chǎn)品測(cè)試器測(cè)試序列發(fā)生器測(cè)試序列發(fā)生器一致性測(cè)試一致性測(cè)試性能分析性能分析模擬模擬驗(yàn)證驗(yàn)證設(shè)計(jì)設(shè)計(jì)用戶(hù)需求說(shuō)明（服務(wù)描述）用戶(hù)需求說(shuō)明（服務(wù)描述）首先需要設(shè)計(jì)滿(mǎn)足首先需要設(shè)計(jì)滿(mǎn)足需求的協(xié)議規(guī)范，需求的協(xié)議規(guī)范，而后要通過(guò)驗(yàn)證和分而后要通過(guò)驗(yàn)證和分析來(lái)證明其可用和正確析來(lái)證明其可用和正確。54協(xié)議開(kāi)發(fā)主要活動(dòng)間的關(guān)系協(xié)議開(kāi)發(fā)主要活動(dòng)間的關(guān)系55PE Activities: Designv 常用的定義：根據(jù)協(xié)議的需求說(shuō)明構(gòu)造協(xié)議的非形式常用的定義：根據(jù)協(xié)議的需求說(shuō)明構(gòu)造協(xié)議的非形式描述文本描述文本（經(jīng)過(guò)非形式的驗(yàn)證分析）經(jīng)過(guò)非形式的驗(yàn)

56、證分析） 稱(chēng)為稱(chēng)為協(xié)議設(shè)計(jì)協(xié)議設(shè)計(jì)；而將而將“協(xié)議的設(shè)計(jì)、形式描述、驗(yàn)證、實(shí)現(xiàn)、測(cè)試、協(xié)議的設(shè)計(jì)、形式描述、驗(yàn)證、實(shí)現(xiàn)、測(cè)試、運(yùn)行運(yùn)行”這一全過(guò)程稱(chēng)為這一全過(guò)程稱(chēng)為“協(xié)議開(kāi)發(fā)協(xié)議開(kāi)發(fā)”，即協(xié)議開(kāi)發(fā)是，即協(xié)議開(kāi)發(fā)是指協(xié)議工程活動(dòng)的全過(guò)程。指協(xié)議工程活動(dòng)的全過(guò)程。 v 其他定義：其他定義：將協(xié)議設(shè)計(jì)定義為將協(xié)議設(shè)計(jì)定義為“從協(xié)議的需求說(shuō)明到從協(xié)議的需求說(shuō)明到協(xié)議的形式描述文本，并經(jīng)過(guò)嚴(yán)格驗(yàn)證和性能分析協(xié)議的形式描述文本，并經(jīng)過(guò)嚴(yán)格驗(yàn)證和性能分析”這一過(guò)程，或定義為協(xié)議工程活動(dòng)的全過(guò)程，即相當(dāng)這一過(guò)程，或定義為協(xié)議工程活動(dòng)的全過(guò)程，即相當(dāng)于于“協(xié)議開(kāi)發(fā)協(xié)議開(kāi)發(fā)”。 v 包括：包括：協(xié)議環(huán)境分析協(xié)議環(huán)

57、境分析 、協(xié)議的功能設(shè)計(jì)、協(xié)議組織形協(xié)議的功能設(shè)計(jì)、協(xié)議組織形式的確定、協(xié)議元素的構(gòu)造、協(xié)議文本的編制等式的確定、協(xié)議元素的構(gòu)造、協(xié)議文本的編制等。56PE Activities : Design（Cont.）v 協(xié)議設(shè)計(jì)質(zhì)量的好壞直接關(guān)系到開(kāi)發(fā)出來(lái)的協(xié)議性能、協(xié)議設(shè)計(jì)質(zhì)量的好壞直接關(guān)系到開(kāi)發(fā)出來(lái)的協(xié)議性能、功能是否能滿(mǎn)足用戶(hù)需求的一個(gè)重要因素。協(xié)議設(shè)計(jì)功能是否能滿(mǎn)足用戶(hù)需求的一個(gè)重要因素。協(xié)議設(shè)計(jì)階段的結(jié)果是非形式描述協(xié)議文本。階段的結(jié)果是非形式描述協(xié)議文本。 v 協(xié)議設(shè)計(jì)涉及很多技術(shù)，如差錯(cuò)控制技術(shù)、流量控制協(xié)議設(shè)計(jì)涉及很多技術(shù)，如差錯(cuò)控制技術(shù)、流量控制技術(shù)、會(huì)話(huà)管理技術(shù)、路由選擇技術(shù)等。

58、技術(shù)、會(huì)話(huà)管理技術(shù)、路由選擇技術(shù)等。v 協(xié)議設(shè)計(jì)還要遵循一些原則，如結(jié)構(gòu)化、模塊化等。協(xié)議設(shè)計(jì)還要遵循一些原則，如結(jié)構(gòu)化、模塊化等。 v 協(xié)議設(shè)計(jì)中常犯的兩類(lèi)錯(cuò)誤：協(xié)議設(shè)計(jì)中常犯的兩類(lèi)錯(cuò)誤： 協(xié)議不完善或不完整協(xié)議不完善或不完整 設(shè)計(jì)的規(guī)則存在沖突設(shè)計(jì)的規(guī)則存在沖突57PE Activities : Formal Descrpt.v 通信系統(tǒng)行為的復(fù)雜性增大了行為描述的難度，人們必通信系統(tǒng)行為的復(fù)雜性增大了行為描述的難度，人們必須借助一種語(yǔ)言或一種技術(shù)來(lái)準(zhǔn)確地描述系統(tǒng)行為。須借助一種語(yǔ)言或一種技術(shù)來(lái)準(zhǔn)確地描述系統(tǒng)行為。v 在過(guò)去，人們習(xí)慣使用自然語(yǔ)言進(jìn)行協(xié)議描述在過(guò)去，人們習(xí)慣使用自然語(yǔ)言進(jìn)行

59、協(xié)議描述優(yōu)點(diǎn)：表達(dá)能力強(qiáng)、方便、易懂優(yōu)點(diǎn)：表達(dá)能力強(qiáng)、方便、易懂缺點(diǎn)：不嚴(yán)格、不精確、結(jié)構(gòu)不好、沒(méi)有描述標(biāo)準(zhǔn)、有二義性缺點(diǎn)：不嚴(yán)格、不精確、結(jié)構(gòu)不好、沒(méi)有描述標(biāo)準(zhǔn)、有二義性必須手工實(shí)現(xiàn)協(xié)議、難以進(jìn)行協(xié)議測(cè)試和驗(yàn)證，效率低必須手工實(shí)現(xiàn)協(xié)議、難以進(jìn)行協(xié)議測(cè)試和驗(yàn)證，效率低 不同的人對(duì)協(xié)議描述的理解不一樣導(dǎo)致不同的協(xié)議實(shí)現(xiàn)之間不不同的人對(duì)協(xié)議描述的理解不一樣導(dǎo)致不同的協(xié)議實(shí)現(xiàn)之間不能互操作，甚至還會(huì)得出錯(cuò)誤的協(xié)議。能互操作，甚至還會(huì)得出錯(cuò)誤的協(xié)議。 v 用程序語(yǔ)言描述：便于協(xié)議實(shí)現(xiàn)，但可讀性差，不能很用程序語(yǔ)言描述：便于協(xié)議實(shí)現(xiàn)，但可讀性差，不能很好的表述協(xié)議的并發(fā)行、不確定性好的表述協(xié)議的并發(fā)行、

60、不確定性v 解決辦法：形式（化）描述技術(shù)解決辦法：形式（化）描述技術(shù) FDT (Formal Description Technique) 58PE Activities : Formal Descrpt.(Cont.)v 采用形式描述技術(shù)的最終目的是：采用形式描述技術(shù)的最終目的是：為開(kāi)發(fā)者提供一種分析協(xié)議的方法；為開(kāi)發(fā)者提供一種分析協(xié)議的方法；作為對(duì)開(kāi)發(fā)結(jié)果驗(yàn)證的基礎(chǔ)；作為對(duì)開(kāi)發(fā)結(jié)果驗(yàn)證的基礎(chǔ)；為設(shè)計(jì)人員和應(yīng)用人員提供交流途徑；為設(shè)計(jì)人員和應(yīng)用人員提供交流途徑；作為開(kāi)發(fā)文檔能在將來(lái)再開(kāi)發(fā)時(shí)使用。作為開(kāi)發(fā)文檔能在將來(lái)再開(kāi)發(fā)時(shí)使用。 v 理想形式描述技術(shù)應(yīng)既能描述系統(tǒng)行為特征，又方便實(shí)現(xiàn)：理想形式描述技