協(xié)議開發(fā)的理論與方法-免費(fèi)閱讀
【正文】 ? Petri網(wǎng)節(jié)點(diǎn)和可達(dá)狀態(tài)的爆炸，包括適當(dāng)?shù)母呒?jí)網(wǎng)系統(tǒng)和分層網(wǎng)系統(tǒng)建立、網(wǎng)系統(tǒng)的合成和化簡和協(xié)議工程工作站的建立。 因而網(wǎng)系統(tǒng)是異步并發(fā)的 “ 自由王國 ” ， 沒有主宰全局的中央控制 ， 這很適合網(wǎng)絡(luò)體系結(jié)構(gòu) 、協(xié)議和服務(wù)的特點(diǎn) 。 17 FDT與 UML相結(jié)合 —GPDL GPDL主要用于協(xié)議的設(shè)計(jì)和實(shí)現(xiàn) ， 用GPDL描述的協(xié)議可以比較容易地轉(zhuǎn)換成SDL標(biāo)準(zhǔn) 。 13 FDT與 UML的結(jié)合 近年來 UML (Unified Modeling Language) 被應(yīng)用到協(xié)議開發(fā)中 。進(jìn)程代數(shù)與隨機(jī)模型相結(jié)合 （ 如馬爾可夫模型 ） ， 被應(yīng)用到協(xié)議的性能評價(jià) 。 5 協(xié)議工程 ? 隨著網(wǎng)絡(luò)服務(wù)要求的提高 ， 網(wǎng)絡(luò)系統(tǒng)的復(fù)雜性在協(xié)議方面體現(xiàn)出 空間分布性 、 并發(fā)性 、 異步性 、 不穩(wěn)定性 和 多樣性 ， 高質(zhì)量的通信協(xié)議再也不可能靠工程直覺方法來設(shè)計(jì)了； ? 協(xié)議工程 （ Protocol Engineering） 用 形式化的方法 來描述在協(xié)議設(shè)計(jì)和維護(hù)中的各個(gè)活動(dòng) ， 建立一套嚴(yán)格的協(xié)議設(shè)計(jì)方法 ，使協(xié)議開發(fā)的整個(gè)過程 一體化 、 系統(tǒng)化 和形式化 ， 從而保證協(xié)議的完整性 、 正確性 、安全性和可移植性 。 LOTOS有二個(gè)組成部分 ， 一部分基于過程代數(shù) ， 另一部分是基于 ACT ONE的抽象數(shù)據(jù)類型 。 ? UML用于協(xié)議開發(fā)的不足 UML缺少定義復(fù)雜通信系統(tǒng)協(xié)議的形式化語義 ， 不能直接用它來開發(fā)協(xié)議 ， 必須給 UML增加一些語義功能 。 22 基于 Petri網(wǎng)的 FDT ? 三種標(biāo)準(zhǔn)的 FDT只支持協(xié)議工程的一至二個(gè)活動(dòng) ? Estelle是一種過程語言 ， 可以描述協(xié)議細(xì)節(jié) ，用它描述的協(xié)議僅便于實(shí)現(xiàn)； ? LOTOS描述協(xié)議實(shí)體的外部行為 ， 不關(guān)心實(shí)體內(nèi)部變化 ， 描述的協(xié)議僅便于驗(yàn)證； ? SDL是一種混合式的 FDT， 缺乏形式語義 ， 缺乏分析技術(shù) 。 為適應(yīng)不同規(guī)范及驗(yàn)證的需求 ， 從基本Petri網(wǎng)模型衍化出許多擴(kuò)展模型系統(tǒng) ， 目前主要有：謂詞 /動(dòng)作 Petri網(wǎng) 、 時(shí)間 Petri網(wǎng)(TPN)、 帶時(shí)態(tài)邏輯的 Petri網(wǎng) 、 顏色 Petri網(wǎng)(CPN)、 面向?qū)ο?Petri網(wǎng) (OOPN)、 隨機(jī) Petri
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1