協(xié)議開(kāi)發(fā)的理論與方法(更新版)
【正文】 到目標(biāo)代碼轉(zhuǎn)換的算法和模型。 ? 所建立的 Petri網(wǎng)模型支持協(xié)議描述、協(xié)議驗(yàn)證、協(xié)議實(shí)現(xiàn)、性能分析、一致性測(cè)試等協(xié)議工程各個(gè)活動(dòng)。 24 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)的形式基礎(chǔ)使它與其它并發(fā)模型建立了連接 ， 這有益于分布式系統(tǒng)的描述和分析 。 需 求 描 述領(lǐng) 域 和 系統(tǒng) 分 析協(xié) 議 層設(shè) 計(jì)實(shí) 現(xiàn)測(cè) 試維 護(hù)G P D L 應(yīng) 用18 在三種主要的國(guó)際標(biāo)準(zhǔn) FDT中， SDL與UML結(jié)合的是較容易的，因?yàn)? ? SDL是基于狀態(tài)變遷技術(shù)的 ， 而狀態(tài) 圖 （ state diagram） 正是 UML建模的 5種圖之一；一個(gè)狀態(tài)圖就是一個(gè)狀態(tài)機(jī) ； ? SDL具有抽象數(shù)據(jù)類型 ， 與 UML的面向?qū)ο蠹夹g(shù)吻合 。 ? UML簡(jiǎn)介 UML統(tǒng)一各種面向?qū)ο蠓治龊驮O(shè)計(jì)方法的差異 。 ? 混合模型 （ 如擴(kuò)展的 FSM） ：擴(kuò)展的 FSM過(guò)于復(fù)雜并且缺乏形式語(yǔ)義 ， 分析功能較弱 。 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)的開(kāi)拓者； ? 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í)代。 ? LOTOS提供形式語(yǔ)義 ， 保證描述不存在二義性 ， 便于分析和一致性測(cè)試?yán)碚摰难芯?。 14 FDT與 UML的結(jié)合 ? UML用于協(xié)議開(kāi)發(fā)的優(yōu)勢(shì) ? 當(dāng)今的形式化的協(xié)議開(kāi)發(fā)技術(shù)缺少可視化； ? 不支持協(xié)議開(kāi)發(fā)的整個(gè)生命周期； 而上述兩點(diǎn)正是 UML的優(yōu)勢(shì)所在 。 21 基于 Petri網(wǎng)的 FDT 近幾年人們的注意力集中在如何將代數(shù)的抽象數(shù)據(jù)類型，融合在高級(jí)網(wǎng)結(jié)構(gòu)中，能夠大大地提高描述協(xié)議和服務(wù)所用的高級(jí) Petri網(wǎng)系統(tǒng)的表示能力。 25 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)表現(xiàn)出面向?qū)ο蠹夹g(shù)的各個(gè)特性 ， 將是一種優(yōu)良的可用圖形表示的面向?qū)?
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1