協(xié)議開發(fā)的理論與方法-文庫吧資料
2024-10-27 21:04本頁面
【正文】 類型 ， 與 UML的面向?qū)ο蠹夹g(shù)吻合 。 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的不足 。 ? UML用于協(xié)議開發(fā)的不足 UML缺少定義復(fù)雜通信系統(tǒng)協(xié)議的形式化語義 ， 不能直接用它來開發(fā)協(xié)議 ， 必須給 UML增加一些語義功能 。 如今 UML已成為一個流行的 、 標(biāo)準(zhǔn)化的 、 通用目的面向?qū)ο蟮目梢暬Ｐ驼Z言 ， 許多大的軟件開發(fā)組織開始用它進行系統(tǒng)建模 。 ? UML簡介 UML統(tǒng)一各種面向?qū)ο蠓治龊驮O(shè)計方法的差異 。 ? Estelle標(biāo)準(zhǔn)頒布以后 ， 一直到 1994年 ， Estelle研究小組主要致力工具包的研制 ， 1996年以后 ， Estelle標(biāo)準(zhǔn)又被改進了 50多處 ， 不過直到現(xiàn)在也沒有見到 Estelle 的升級版本 。 LOTOS有二個組成部分 ， 一部分基于過程代數(shù) ， 另一部分是基于 ACT ONE的抽象數(shù)據(jù)類型 。 11 國際標(biāo)準(zhǔn) FDT－ LOTOS ? LOTOS (Language Of Temporal Ordering Specification) ：CCS+ADT ? 80年代 ISO制訂 OSI參考模型時發(fā)布 ，1988年確立了最后的國際標(biāo)準(zhǔn)文本 。 ? 混合模型 （ 如擴展的 FSM） ：擴展的 FSM過于復(fù)雜并且缺乏形式語義 ， 分析功能較弱 。 形式描述技術(shù) FDT的特征 8 ? 狀態(tài)變遷模型 ? 有限狀態(tài)機 FSM ? 通信有限狀態(tài)機 CFSM ? Petri網(wǎng) ? 程序設(shè)計語言模型 ? 抽象程序 ? CCS， CSP ? 時態(tài)邏輯 FDT種類 9 ? 進程代數(shù) （ Process Algebra） ：用代數(shù)的方法來研究協(xié)議 ， 它有一
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1