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