freepeople性欧美熟妇, 色戒完整版无删减158分钟hd, 无码精品国产vα在线观看DVD, 丰满少妇伦精品无码专区在线观看,艾栗栗与纹身男宾馆3p50分钟,国产AV片在线观看,黑人与美女高潮,18岁女RAPPERDISSSUBS,国产手机在机看影片

正文內(nèi)容

協(xié)議開發(fā)的理論與方法(參考版)

2024-10-23 21:04本頁面
  

【正文】 Answers 。 ? 所建立的 Petri網(wǎng)模型支持協(xié)議描述、協(xié)議驗(yàn)證、協(xié)議實(shí)現(xiàn)、性能分析、一致性測試等協(xié)議工程各個(gè)活動(dòng)。 ? 協(xié)議 Petri網(wǎng)描述到協(xié)議實(shí)現(xiàn)的自動(dòng)化,建立Petri網(wǎng)編譯系統(tǒng),實(shí)現(xiàn)網(wǎng)系統(tǒng)到目標(biāo)代碼轉(zhuǎn)換的算法和模型。 為適應(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網(wǎng) (SPN)、 數(shù)字 Petri網(wǎng) (NPN)等 。 ? Petri網(wǎng)最大的優(yōu)點(diǎn)是具備一套嚴(yán)密的數(shù)學(xué)理論 , 各種技術(shù)極有利于驗(yàn)證和分析 。 24 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)的形式基礎(chǔ)使它與其它并發(fā)模型建立了連接 , 這有益于分布式系統(tǒng)的描述和分析 。 23 基于 Petri網(wǎng)的 FDT ? Petri網(wǎng)具有異步特性并發(fā) , 決定了它的主要應(yīng)用方向是分布式系統(tǒng) 根據(jù)外延公理 , 變遷的發(fā)生完全由它的外延決定 , 與系統(tǒng)全局狀態(tài)無關(guān) 。 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ù) 。 Petri網(wǎng)有一套成熟的數(shù)學(xué)理論工具 , 建立了許多分析技術(shù) , 包括可達(dá)性分析 、 不變量分析 (使用線性代數(shù)方法 )、 保持特性的變換 (包括化簡 )、 構(gòu)造理論 、 形式語言理論 、同步距離和網(wǎng)的分解和等價(jià)等 。 需 求 描 述領(lǐng) 域 和 系統(tǒng) 分 析協(xié) 議 層設(shè) 計(jì)實(shí) 現(xiàn)測 試維 護(hù)G P D L 應(yīng) 用18 在三種主要的國際標(biāo)準(zhǔn) FDT中, SDL與UML結(jié)合的是較容易的,因?yàn)? ? SDL是基于狀態(tài)變遷技術(shù)的 , 而狀態(tài) 圖 ( state diagram) 正是 UML建模的 5種圖之一;一個(gè)狀態(tài)圖就是一個(gè)狀態(tài)機(jī) ; ? SDL具有抽象數(shù)據(jù)
點(diǎn)擊復(fù)制文檔內(nèi)容
教學(xué)課件相關(guān)推薦
文庫吧 www.dybbs8.com
備案圖鄂ICP備17016276號(hào)-1