協(xié)議開(kāi)發(fā)的理論與方法(已修改)
2024-11-04 21:04 本頁(yè)面
【正文】 協(xié)議開(kāi)發(fā)的理論與方法 羅軍舟 東南大學(xué)計(jì)算機(jī)科學(xué)與工程系 2 計(jì)算機(jī)網(wǎng)絡(luò) ? 計(jì)算機(jī)學(xué)科發(fā)展的一個(gè)特征： 應(yīng)用驅(qū)動(dòng) ? 計(jì)算機(jī)網(wǎng)絡(luò)： 應(yīng)用和工程 → 技術(shù) → 科學(xué) ? 理論和方法： 體系結(jié)構(gòu)與協(xié)議， 協(xié)議開(kāi)發(fā) 3 協(xié)議研究 ? Routing ? QoS ? Multicast ? Admission Control amp。 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í)代。 5 協(xié)議工程 ? 隨著網(wǎng)絡(luò)服務(wù)要求的提高 ， 網(wǎng)絡(luò)系統(tǒng)的復(fù)雜性在協(xié)議方面體現(xiàn)出 空間分布性 、 并發(fā)性 、 異步性 、 不穩(wěn)定性 和 多樣性 ， 高質(zhì)量的通信協(xié)議再也不可能靠工程直覺(jué)方法來(lái)設(shè)計(jì)了； ? 協(xié)議工程 （ Protocol Engineering） 用 形式化的方法 來(lái)描述在協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)活動(dòng) ， 建立一套嚴(yán)格的協(xié)議設(shè)計(jì)方法 ，使協(xié)議開(kāi)發(fā)的整個(gè)過(guò)程 一體化 、 系統(tǒng)化 和形式化 ， 從而保證協(xié)議的完整性 、 正確性 、安全性和可移植性 。 6 協(xié)議開(kāi)發(fā)主要活動(dòng)間的關(guān)系 用 戶 需 求服 務(wù) 描 述體 系 結(jié) 構(gòu) 設(shè) 計(jì)協(xié) 議 描 述目 標(biāo) 實(shí) 現(xiàn)構(gòu) 造定 義 服 務(wù)協(xié) 議 綜 合自 動(dòng) 實(shí) 現(xiàn)驗(yàn) 證一 致 性 測(cè) 試性 能 分 析7 ? 完整的語(yǔ)法和語(yǔ)義定義； ? 體系結(jié)構(gòu) 、 服務(wù)和協(xié)議的可表達(dá)性； ? 協(xié)議重要特性的可分析性； ? 支持復(fù)雜協(xié)議的管理； ? 支持逐步求精的方法； ? 支持實(shí)現(xiàn)獨(dú)立性； ? 支持協(xié)議生命期的各環(huán)節(jié) （ 描述 、 驗(yàn)證 、實(shí)現(xiàn) 、 一致性測(cè)試 、 …… ） ； ? 支持自動(dòng)設(shè)計(jì) 、 驗(yàn)證 、 實(shí)現(xiàn)和維護(hù)方法 。 形式描述技術(shù) FDT的特征 8 ? 狀態(tài)變遷模型 ? 有限狀態(tài)機(jī) FSM ? 通信有限狀態(tài)機(jī) CFSM ? Petri網(wǎng)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1