協(xié)議開發(fā)的理論與方法(編輯修改稿)
2025-02-10 21:02 本頁面
【文章內(nèi)容簡介】 UML (Unified Modeling Language) 被應(yīng)用到協(xié)議開發(fā)中 。 ? UML簡介 UML統(tǒng)一各種面向?qū)ο蠓治龊驮O(shè)計方法的差異 。 1995年 10月發(fā)布了第一個版本 ，現(xiàn)在 。 如今 UML已成為一個流行的 、 標(biāo)準(zhǔn)化的 、 通用目的面向?qū)ο蟮目梢暬Ｐ驼Z言 ， 許多大的軟件開發(fā)組織開始用它進(jìn)行系統(tǒng)建模 。 13 FDT與 UML的結(jié)合 ? UML用于協(xié)議開發(fā)的優(yōu)勢 ? 當(dāng)今的形式化的協(xié)議開發(fā)技術(shù)缺少可視化； ? 不支持協(xié)議開發(fā)的整個生命周期； 而上述兩點正是 UML的優(yōu)勢所在 。 ? UML用于協(xié)議開發(fā)的不足 UML缺少定義復(fù)雜通信系統(tǒng)協(xié)議的形式化語義 ， 不能直接用它來開發(fā)協(xié)議 ， 必須給 UML增加一些語義功能 。 14 FDT與 UML相結(jié)合 — BDL ? BDL (Behavioural Description Language) ? 一個能夠描述異步并發(fā)行為的語言 BDL（ 把UML的面向?qū)ο蠹夹g(shù)引入到形式化的協(xié)議驗證中 ） ； ? 利用 BDL可以一致性的操縱包含序列或協(xié)同圖的 UML行為視圖 ， 并且不同 UML行為視圖可以相互轉(zhuǎn)換； ? 在 BDL中 ， 用事件的偏序集合來表示對象間的相互交互 ， 用對象間的一些基本的交互來描述整個系統(tǒng)的行為 。 15 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)用來表達(dá)協(xié)議的語義信息 ， 以彌補 UML的不足 。 16 FDT與 UML相結(jié)合 —GPDL GPDL主要用于協(xié)議的設(shè)計和實現(xiàn) ， 用GPDL描述的協(xié)議可以比較容易地轉(zhuǎn)換成SDL標(biāo)準(zhǔn) 。 17 在三種主要的國際標(biāo)準(zhǔn) FDT中， SDL與UML結(jié)合的是
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1