協(xié)議開發(fā)的理論與方法(編輯修改稿)
2024-11-24 21:04 本頁面
【文章內容簡介】 (Unified Modeling Language) 被應用到協(xié)議開發(fā)中 。 ? UML簡介 UML統(tǒng)一各種面向對象分析和設計方法的差異 。 1995年 10月發(fā)布了第一個版本 ，現在 。 如今 UML已成為一個流行的 、 標準化的 、 通用目的面向對象的可視化模型語言 ， 許多大的軟件開發(fā)組織開始用它進行系統(tǒng)建模 。 14 FDT與 UML的結合 ? UML用于協(xié)議開發(fā)的優(yōu)勢 ? 當今的形式化的協(xié)議開發(fā)技術缺少可視化； ? 不支持協(xié)議開發(fā)的整個生命周期； 而上述兩點正是 UML的優(yōu)勢所在 。 ? UML用于協(xié)議開發(fā)的不足 UML缺少定義復雜通信系統(tǒng)協(xié)議的形式化語義 ， 不能直接用它來開發(fā)協(xié)議 ， 必須給 UML增加一些語義功能 。 15 FDT與 UML相結合 — BDL ? BDL (Behavioural Description Language) ? 一個能夠描述異步并發(fā)行為的語言 BDL（ 把UML的面向對象技術引入到形式化的協(xié)議驗證中 ） ； ? 利用 BDL可以一致性的操縱包含序列或協(xié)同圖的 UML行為視圖 ， 并且不同 UML行為視圖可以相互轉換； ? 在 BDL中 ， 用事件的偏序集合來表示對象間的相互交互 ， 用對象間的一些基本的交互來描述整個系統(tǒng)的行為 。 16 FDT與 UML相結合 —GPDL ? GPDL (Graphical Protocol Description Language ) ? 一個圖形化的協(xié)議設計語言 ， 描述協(xié)議的結構和行為； ? GPDL的重要性在于把 UML的圖形引入到了協(xié)議設計中 ， 使之可視化； ? GPDL包含兩部分：一是 圖 和 文本 ， 圖的結構使協(xié)議設計形象化 ， 當圖形不能表示時 ， 就用文字說明；另一部分是 GAEL (Generic Action Extension Language)用來表達協(xié)議的語義信息 ， 以彌補 UML的不足 。 17 FDT與 UML相結合 —GPDL GPDL主要用于協(xié)議的設計和實現 ， 用GPDL描述的協(xié)議可以比較容易地轉換成SDL標準 。 需 求 描 述領 域 和 系統(tǒng) 分 析協(xié) 議 層設 計實 現測 試維 護G P D L 應
教學課件相關推薦
鄂ICP備17016276號-1