協(xié)議開發(fā)的理論與方法-文庫(kù)吧
2025-09-15 21:04 本頁(yè)面
【正文】 ? 程序設(shè)計(jì)語(yǔ)言模型 ? 抽象程序 ? CCS， CSP ? 時(shí)態(tài)邏輯 FDT種類 9 ? 進(jìn)程代數(shù) （ Process Algebra） ：用代數(shù)的方法來研究協(xié)議 ， 它有一套完善的等價(jià)理論 ， 如果與網(wǎng)論相結(jié)合 ， 可以用一套完善的分析技術(shù) ， 提供一個(gè)結(jié)構(gòu)清晰的模型 。進(jìn)程代數(shù)與隨機(jī)模型相結(jié)合 （ 如馬爾可夫模型 ） ， 被應(yīng)用到協(xié)議的性能評(píng)價(jià) 。 ? 混合模型 （ 如擴(kuò)展的 FSM） ：擴(kuò)展的 FSM過于復(fù)雜并且缺乏形式語(yǔ)義 ， 分析功能較弱 。 FDT種類 10 國(guó)際標(biāo)準(zhǔn) FDT－ SDL ? SDL (Specification and Description Language)： FSM + extensions 1976年由 CCITT(ITU)頒布 ， 一種基于擴(kuò)展?fàn)顟B(tài)變遷和抽象數(shù)據(jù)類型的混合技術(shù) ， 被電信公司廣泛用于描述電子分組交換系統(tǒng) ， 最近已發(fā)布了 SDL2020的新版本 。 11 國(guó)際標(biāo)準(zhǔn) FDT－ LOTOS ? LOTOS (Language Of Temporal Ordering Specification) ：CCS+ADT ? 80年代 ISO制訂 OSI參考模型時(shí)發(fā)布 ，1988年確立了最后的國(guó)際標(biāo)準(zhǔn)文本 。 ? LOTOS提供形式語(yǔ)義 ， 保證描述不存在二義性 ， 便于分析和一致性測(cè)試?yán)碚摰难芯?。 LOTOS有二個(gè)組成部分 ， 一部分基于過程代數(shù) ， 另一部分是基于 ACT ONE的抽象數(shù)據(jù)類型 。 12 FDT的國(guó)際標(biāo)準(zhǔn)－ Estelle ? Estelle(Extended State Transition Model Language)： EFSM + extended Pascal ? Estelle也是基于擴(kuò)展的狀態(tài)變遷模型 ， 但使用PASCAL語(yǔ)法和數(shù)據(jù)類型 ， 它有一個(gè)形式化的獨(dú)立于實(shí)現(xiàn)的語(yǔ)義 。 ? Estelle標(biāo)準(zhǔn)頒布以后 ， 一直到 1994年 ， Estelle研究小組主要致力工具包的研制 ， 1996年以后 ， Estelle標(biāo)準(zhǔn)又被改進(jìn)了 50多處 ， 不過直到現(xiàn)在也沒有見到 Estelle 的升級(jí)版本 。 13 FDT與 UML的結(jié)合 近年來 UML
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1