協(xié)議開發(fā)的理論與方法-wenkub
2022-10-30 21:04:09 本頁面
【正文】 10月發(fā)布了第一個版本 ，現(xiàn)在 。 12 FDT的國際標(biāo)準(zhǔn)－ Estelle ? Estelle(Extended State Transition Model Language)： EFSM + extended Pascal ? Estelle也是基于擴展的狀態(tài)變遷模型 ， 但使用PASCAL語法和數(shù)據(jù)類型 ， 它有一個形式化的獨立于實現(xiàn)的語義 。 FDT種類 10 國際標(biāo)準(zhǔn) FDT－ SDL ? SDL (Specification and Description Language)： FSM + extensions 1976年由 CCITT(ITU)頒布 ， 一種基于擴展?fàn)顟B(tài)變遷和抽象數(shù)據(jù)類型的混合技術(shù) ， 被電信公司廣泛用于描述電子分組交換系統(tǒng) ， 最近已發(fā)布了 SDL2020的新版本 。 6 協(xié)議開發(fā)主要活動間的關(guān)系 用 戶 需 求服 務(wù) 描 述體 系 結(jié) 構(gòu) 設(shè) 計協(xié) 議 描 述目 標(biāo) 實 現(xiàn)構(gòu) 造定 義 服 務(wù)協(xié) 議 綜 合自 動 實 現(xiàn)驗 證一 致 性 測 試性 能 分 析7 ? 完整的語法和語義定義； ? 體系結(jié)構(gòu) 、 服務(wù)和協(xié)議的可表達(dá)性； ? 協(xié)議重要特性的可分析性； ? 支持復(fù)雜協(xié)議的管理； ? 支持逐步求精的方法； ? 支持實現(xiàn)獨立性； ? 支持協(xié)議生命期的各環(huán)節(jié) （ 描述 、 驗證 、實現(xiàn) 、 一致性測試 、 …… ） ； ? 支持自動設(shè)計 、 驗證 、 實現(xiàn)和維護方法 。協(xié)議開發(fā)的理論與方法 羅軍舟 東南大學(xué)計算機科學(xué)與工程系 2 計算機網(wǎng)絡(luò) ? 計算機學(xué)科發(fā)展的一個特征： 應(yīng)用驅(qū)動 ? 計算機網(wǎng)絡(luò)： 應(yīng)用和工程 → 技術(shù) → 科學(xué) ? 理論和方法： 體系結(jié)構(gòu)與協(xié)議， 協(xié)議開發(fā) 3 協(xié)議研究 ? Routing ? QoS ? Multicast ? Admission Control amp。 形式描述技術(shù) FDT的特征 8 ? 狀態(tài)變遷模型 ? 有限狀態(tài)機 FSM ? 通信有限狀態(tài)機 CFSM ? Petri網(wǎng) ? 程序設(shè)計語言模型 ? 抽象程序 ? CCS， CSP ? 時態(tài)邏輯 FDT種類 9 ? 進程代數(shù) （ Pr
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1