網(wǎng)絡(luò)協(xié)議工程

前言

　　辦議工程是指集成化、形式化的協(xié)開發(fā)過程。“集成化”是指協(xié)議開發(fā)的并個(gè)階段（設(shè)計(jì)、驗(yàn)證、實(shí)現(xiàn)和測(cè)試），在技術(shù)上前后銜接，并在同個(gè)開發(fā)系統(tǒng)中完成。“形式化”是指用形式描述技術(shù)連接協(xié)議開發(fā)的各個(gè)階段。協(xié)議工程旨在減少協(xié)議開發(fā)中潛在的錯(cuò)誤，提高協(xié)議開發(fā)的效率和質(zhì)量。隨著剛絡(luò)規(guī)模和網(wǎng)絡(luò)應(yīng)用的發(fā)展，網(wǎng)絡(luò)協(xié)議的復(fù)雜性也相應(yīng)增人。早期的非正艇規(guī)協(xié)議開發(fā)技術(shù)不能完全適應(yīng)這種復(fù)雜的協(xié)議開發(fā)，20世紀(jì)80年代初，開始將已在軟什工程方而取得的成功經(jīng)驗(yàn)用于協(xié)議丌發(fā)過程，逐漸形成了協(xié)議工程的概念。協(xié)議工程活動(dòng)主要包括：協(xié)議設(shè)汁、協(xié)議規(guī)范的形式描述、協(xié)議驗(yàn)證、協(xié)議實(shí)現(xiàn)和協(xié)議刪試，其中協(xié)議規(guī)范的形式描述是協(xié)議工程活動(dòng)的基礎(chǔ)?！　∨c協(xié)議有關(guān)的課程比較多，如計(jì)算機(jī)網(wǎng)絡(luò)、數(shù)據(jù)通信、分布式系統(tǒng)。但是，有關(guān)分布式系統(tǒng)、計(jì)算機(jī)網(wǎng)絡(luò)或數(shù)據(jù)通信的教材一般只涉及些被廣泛接受并被一些_下際標(biāo)準(zhǔn)化組織標(biāo)準(zhǔn)化的協(xié)議，而沒有完整地描述協(xié)議開發(fā)的完整過程和方法。本書的主要目的是使讀者熟悉協(xié)議開發(fā)過程中涉及的些基本概念、方法利技術(shù)．而小介紹具體的I叫絡(luò)協(xié)議，盡管在介紹基本原理和方法時(shí)可能會(huì)涉及某些具體協(xié)議?？尚膶⒈緯辖B的這釁方法和技術(shù)應(yīng)用到分布式系統(tǒng)、操作系統(tǒng)、網(wǎng)絡(luò)協(xié)議等的開發(fā)過程當(dāng)中。通過這些基本內(nèi)容的學(xué)習(xí)，了觶和掌握工程化的協(xié)議開發(fā)技術(shù)。

內(nèi)容概要

　　
網(wǎng)絡(luò)協(xié)議是計(jì)算機(jī)網(wǎng)絡(luò)及數(shù)據(jù)通信的核心，開發(fā)正確、有效的網(wǎng)絡(luò)協(xié)議一直是人們追求的目標(biāo)。協(xié)議工程是指集成化、形式化的協(xié)議開發(fā)過程，其目的是減少協(xié)議開發(fā)中潛在的錯(cuò)誤，提高協(xié)議開發(fā)的效率和質(zhì)量。本書以協(xié)議工程活動(dòng)所涉及的各種技術(shù)為主線，以介紹基本原理、技術(shù)與方法為原則，主要內(nèi)容包括：協(xié)議工程概論、協(xié)議設(shè)計(jì)技術(shù)、協(xié)議形式化描述技術(shù)、協(xié)議形式描述語言、協(xié)議驗(yàn)證技術(shù)、協(xié)議驗(yàn)證工具、協(xié)議一致性測(cè)試技術(shù)等。各章均附有討論題、思考題及參考文獻(xiàn)。
讀者對(duì)象：本書可作為高等學(xué)校網(wǎng)絡(luò)工程、計(jì)算機(jī)、通信工程等專業(yè)與網(wǎng)絡(luò)協(xié)議工程、協(xié)議設(shè)計(jì)與分析、通信軟件開發(fā)有關(guān)課程的高年級(jí)本科生和研究生教材，也可作為網(wǎng)絡(luò)研究和開發(fā)人員的自學(xué)教材和參考書。

書籍目錄

第1章 概述
　1.1 協(xié)議
　　1.1.1 定義
　　1.1.2 協(xié)議的標(biāo)準(zhǔn)化
　1.2 協(xié)議工程
第2章 協(xié)議設(shè)計(jì)技術(shù)
　2.1 協(xié)議模型
　2.2 協(xié)議設(shè)計(jì)的基本內(nèi)容
　　2.2.1 協(xié)議的?信環(huán)境
　　2.2.2 協(xié)議提供的服務(wù)
　　2.2.3 協(xié)議功能
　　2.2.4 協(xié)議元素
　　2.2.5 協(xié)議組織
　　2.2.6 協(xié)議文本
　2.3 協(xié)議設(shè)計(jì)方法
　　2.3.1 協(xié)議設(shè)計(jì)原則
　　2.3.2 分層次的協(xié)議設(shè)計(jì)
　　2.3.3 自頂向下的協(xié)議設(shè)計(jì)
　2.4 差錯(cuò)控制技術(shù)
　　2.4.1 差錯(cuò)類型
　　2.4.2 差錯(cuò)檢測(cè)技術(shù)
　　2.4.3 差錯(cuò)控制技術(shù)
　　2.4.4 差錯(cuò)控制與層次的關(guān)系
　2.5 流量控制技術(shù)
　　2.5.1 X-on/X-off協(xié)議
　　2.5.2 滑動(dòng)窗口協(xié)議
第3章 協(xié)議形式化描述技術(shù)
　3.1 概述
　3.2 FSM
　　3.2.1 FSM的基本概念
　　3.2.2 FSM的簡(jiǎn)化
　　3.2.3 FSM的錯(cuò)誤模型
　　3.2.4 FSM的合并
　　3.2.5 擴(kuò)展的有限狀態(tài)機(jī)(EFSM)
　3.3 PetriNet
　　3.3.1 Petri網(wǎng)的基本概念
　　3.3.2 Petri網(wǎng)的擴(kuò)充
　　3.3.3 Petri網(wǎng)的性質(zhì)
　　3.3.4 Petri網(wǎng)在協(xié)議描述中的應(yīng)用
　3.4 時(shí)序邏輯
　　3.4.1 基本概念
　　3.4.2 時(shí)序邏輯系統(tǒng)
　　3.4.3 時(shí)序邏輯在協(xié)議描述中的應(yīng)用
　3.5 通信順序進(jìn)程
　　3.5.1 概述
　　3.5.2 CSP在協(xié)議描述中的應(yīng)用
第4章 協(xié)議形式描述語言
第5章 協(xié)議驗(yàn)證技術(shù)
第6章 協(xié)議驗(yàn)證工具
第7章 協(xié)議一致性測(cè)試技術(shù)
附錄A 英文縮略詞

章節(jié)摘錄

版權(quán)頁：插圖：我們將?！案鶕?jù)協(xié)議的需求說明構(gòu)造協(xié)議的非形式描述文本（經(jīng)過非形式的驗(yàn)證分析）”這一過程稱為“協(xié)議設(shè)計(jì)”，而將“協(xié)議的設(shè)計(jì)、形式描述、驗(yàn)證、實(shí)現(xiàn)、測(cè)試、運(yùn)行”這一全過程稱為“協(xié)議開發(fā)”，即協(xié)議開發(fā)是指協(xié)議工程活動(dòng)的全過程。需要說明的是，也有的文獻(xiàn)將協(xié)議設(shè)計(jì)定義為“從協(xié)議的需求說明到協(xié)議的形式描述文本，并經(jīng)過嚴(yán)格驗(yàn)證和性能分析”這一過程，或定義為協(xié)議工程活動(dòng)的全過程，即相當(dāng)于“協(xié)議開發(fā)”。協(xié)議設(shè)計(jì)是協(xié)議開發(fā)的第一步，它包括：協(xié)議環(huán)境分析（用戶需求、協(xié)議運(yùn)行環(huán)境的特性、工作模式）、協(xié)議的功能設(shè)計(jì)、協(xié)議組織形式的確定、協(xié)議元素的構(gòu)造、協(xié)議文本的編制等幾項(xiàng)工作。協(xié)議設(shè)計(jì)質(zhì)量的好壞直接關(guān)系到開發(fā)出來的協(xié)議性能、功能是否能滿足用戶需求的一個(gè)重要因素。協(xié)議設(shè)計(jì)階段的結(jié)果是非形式描述協(xié)議文本。協(xié)議設(shè)計(jì)涉及很多技術(shù)，如差錯(cuò)控制技術(shù)、流量控制技術(shù)、連接管理技術(shù)、路由選擇技術(shù)等。協(xié)議設(shè)計(jì)還必須遵循一些基本原則，如結(jié)構(gòu)化、模塊化等。本書將在第2章中重點(diǎn)介紹與協(xié)議設(shè)計(jì)有關(guān)的概念、技術(shù)和方法。

編輯推薦

《網(wǎng)絡(luò)協(xié)議工程》由電子工業(yè)出版社出版。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    網(wǎng)絡(luò)協(xié)議工程 PDF格式下載

---