網路協定的形式化分析與設計

基本信息

出版日期：2003 年6月

開本：16開

頁碼：367

版次：1-1

內容簡介

計算機網路及數據通信是當今信息社會的基石，網路協定則是其中不可缺少的重要組成部分。形式化方法與技術已經滲透到網路協定開發的整個過程。本書主要內容包括：網路協定及開發概論；網路協定的形式化模型；網路協定的形式描述語言；網路協定的形式化驗證；網路協定的形式化綜合；網路協定的測試；網路協定的分析驗證工具；電子商務協定的形式化分析等。本書可作為計算機、通信、自動化等專業高年級本科生或研究生的教學用書，也可供相關領域的研究和工程技術人員參考。

圖書目錄

第1章網路協定及開發概論

1.1 早期的通信及協定

1.1.1 早期的通信系統

1.1.2 協定缺陷的教訓

1.2 通信與計算機的結合

1.2.1 數據通信

1.2.2 計算機網路

1.3 網路協定及其基本元素

1.3.1 網路協定的定義

1.3.2 網路協定的基本要素

1.3.3 簡單協定的分析

1.4 分層結構與osi模型

1.4.1 分層結構的意義

1.4.2 osi模型

1.5 網路協定的開發過程

思考與練習

第2章協定的形式化模型

2.1 有限狀態機（fsm）

2.1.1 fsm的基本定義

2.1.2 fsm的化簡與複合

.2.1.3 協定的fsm模型

2.2 petri網

2.2.1 petri網的基本定義

2.2.2 petri網的性質

2.2.3 petri網的分析

2.2.4 協定的petri網模型

2.3 時態邏輯(tl)

2.3.1 基本術語

2.3.2 時態邏輯系統

2.3.3 協定的tl模型

2.4 通信進程演算

2.4.1 ccs的基本定義

2.4.2 ccs的擴展

2.4.3 協定的ccs模型

思考與練習

第3章網路協定的形式描述語言

3.1 estelle

3.1.1 概述

3.1.2 模組及相關概念

3.1.3 模組通信

3.1.4 狀態轉換

3.1.5 estelle描述舉例

3.2 lotos

3.2.1 概述

3.2.2 進程及相關概念

3.2.3 行為運算元

3.2.4 抽象數據類型

3.2.5 lotos描述舉例

3.3 sdl

3.3.1 概述

3.3.2 結構的定義

3.3.3 進程的行為

3.3.4 通信機制

3.3.5 數據

3.3.6 sdl描述舉例

思考與練習

網路協定的形式化分析與設計

基本介紹

基本信息

內容簡介

圖書目錄

相關詞條

熱門詞條