協(xié)議開發(fā)的理論與方法-預(yù)覽頁(yè)
【正文】 方法來設(shè)計(jì)了； ? 協(xié)議工程 （ Protocol Engineering） 用 形式化的方法 來描述在協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)活動(dòng) ， 建立一套嚴(yán)格的協(xié)議設(shè)計(jì)方法 ，使協(xié)議開發(fā)的整個(gè)過程 一體化 、 系統(tǒng)化 和形式化 ， 從而保證協(xié)議的完整性 、 正確性 、安全性和可移植性 。 Congestion Control ? Switching ? Middleware ? ……… 4 協(xié)議發(fā)展 ? IBM SNA、 ISO OSI/RM和 DoD TCP/IP等著名體系結(jié)構(gòu)和協(xié)議已發(fā)揮了不可估量的作用； ? SNA是協(xié)議體系結(jié)構(gòu)的開拓者； ? OSI/RM是協(xié)議的指路燈塔； ? TCP/IP是目前盛行的實(shí)事上的工業(yè)標(biāo)準(zhǔn)； ? XTP、 VMTP、 Deltat和 NETBLT的出現(xiàn)，將使計(jì)算機(jī)網(wǎng)絡(luò)進(jìn)入一個(gè)高性能的時(shí)代。進(jìn)程代數(shù)與隨機(jī)模型相結(jié)合 （ 如馬爾可夫模型 ） ， 被應(yīng)用到協(xié)議的性能評(píng)價(jià) 。 ? LOTOS提供形式語(yǔ)義 ， 保證描述不存在二義性 ， 便于分析和一致性測(cè)試?yán)碚摰难芯?。 13 FDT與 UML的結(jié)合 近年來 UML (Unified Modeling Language) 被應(yīng)用到協(xié)議開發(fā)中 。 14 FDT與 UML的結(jié)合 ? UML用于協(xié)議開發(fā)的優(yōu)勢(shì) ? 當(dāng)今的形式化的協(xié)議開發(fā)技術(shù)缺少可視化； ? 不支持協(xié)議開發(fā)的整個(gè)生命周期； 而上述兩點(diǎn)正是 UML的優(yōu)勢(shì)所在 。 17 FDT與 UML相結(jié)合 —GPDL GPDL主要用于協(xié)議的設(shè)計(jì)和實(shí)現(xiàn) ， 用GPDL描述的協(xié)議可以比較容易地轉(zhuǎn)換成SDL標(biāo)準(zhǔn) 。 21 基于 Petri網(wǎng)的 FDT 近幾年人們的注意力集中在如何將代數(shù)的抽象數(shù)據(jù)類型，融合在高級(jí)網(wǎng)結(jié)構(gòu)中，能夠大大地提高描述協(xié)議和服務(wù)所用的高級(jí) Petri網(wǎng)系統(tǒng)的表示能力。 因而網(wǎng)系統(tǒng)是異步并發(fā)的 “ 自由王國(guó) ” ， 沒有主宰全局的中央控制 ， 這很適合網(wǎng)絡(luò)體系結(jié)構(gòu) 、協(xié)議和服務(wù)的特點(diǎn) 。 25 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)表現(xiàn)出面向?qū)ο蠹夹g(shù)的各個(gè)特性 ， 將是一種優(yōu)良的可用圖形表示的面向?qū)ο笳Z(yǔ)言 。 ? Petri網(wǎng)節(jié)點(diǎn)和可達(dá)狀態(tài)的爆炸，包括適當(dāng)?shù)母呒?jí)網(wǎng)系統(tǒng)和分層網(wǎng)系統(tǒng)建立、網(wǎng)系統(tǒng)的合成和化簡(jiǎn)和協(xié)議工程工作
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1