協(xié)議開發(fā)的理論與方法(文件)
【正文】 ocess Algebra） ：用代數(shù)的方法來研究協(xié)議 ， 它有一套完善的等價理論 ， 如果與網(wǎng)論相結(jié)合 ， 可以用一套完善的分析技術(shù) ， 提供一個結(jié)構(gòu)清晰的模型 。 11 國際標(biāo)準(zhǔn) FDT－ LOTOS ? LOTOS (Language Of Temporal Ordering Specification) ：CCS+ADT ? 80年代 ISO制訂 OSI參考模型時發(fā)布 ，1988年確立了最后的國際標(biāo)準(zhǔn)文本 。 ? Estelle標(biāo)準(zhǔn)頒布以后 ， 一直到 1994年 ， Estelle研究小組主要致力工具包的研制 ， 1996年以后 ， Estelle標(biāo)準(zhǔn)又被改進了 50多處 ， 不過直到現(xiàn)在也沒有見到 Estelle 的升級版本 。 如今 UML已成為一個流行的 、 標(biāo)準(zhǔn)化的 、 通用目的面向?qū)ο蟮目梢暬Ｐ驼Z言 ， 許多大的軟件開發(fā)組織開始用它進行系統(tǒng)建模 。 16 FDT與 UML相結(jié)合 —GPDL ? GPDL (Graphical Protocol Description Language ) ? 一個圖形化的協(xié)議設(shè)計語言 ， 描述協(xié)議的結(jié)構(gòu)和行為； ? GPDL的重要性在于把 UML的圖形引入到了協(xié)議設(shè)計中 ， 使之可視化； ? GPDL包含兩部分：一是 圖 和 文本 ， 圖的結(jié)構(gòu)使協(xié)議設(shè)計形象化 ， 當(dāng)圖形不能表示時 ， 就用文字說明；另一部分是 GAEL (Generic Action Extension Language)用來表達協(xié)議的語義信息 ， 以彌補 UML的不足 。 Petri網(wǎng)有一套成熟的數(shù)學(xué)理論工具 ， 建立了許多分析技術(shù) ， 包括可達性分析 、 不變量分析 (使用線性代數(shù)方法 )、 保持特性的變換 (包括化簡 )、 構(gòu)造理論 、 形式語言理論 、同步距離和網(wǎng)的分解和等價等 。 23 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)具有異步特性并發(fā) ， 決定了它的主要應(yīng)用方向是分布式系統(tǒng) 根據(jù)外延公理 ， 變遷的發(fā)生完全由它的外延決定 ， 與系統(tǒng)全局狀態(tài)無關(guān) 。 ? Petri網(wǎng)最大的優(yōu)點是具備一套嚴密的數(shù)學(xué)理論 ， 各種技術(shù)極有利于驗證和分析 。 ? 協(xié)議 Petri網(wǎng)描述到協(xié)議實現(xiàn)的自動化，建立Petri網(wǎng)編譯系統(tǒng)，實現(xiàn)網(wǎng)系統(tǒng)到目標(biāo)代碼轉(zhuǎn)換的算法和模型。 Answers 。 ? 所建立的
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1