【网络协议的形式化分析与设计】古天龙等电子工业.pdf
网络协议的形式化分析与设计 古天龙蔡国永著 Publishing House of Electronics Industry 北京BEIJING
前言 计算机网络是计算机和通信密切结合的产物,近些年来得到了 迅速发展和广泛应用,已逐渐成为当今信息社会的基石。网络协议 是计算机网络中不可缺少的一个重要组成部分,它是计算机和计算 机之间以及计算机和其他设备之间进行数据通信的必要条件.协议最早就诞生于通信系统中,协议设计的历史与通信本身一 样古老。从古至今,如何建立一个在远距离上快速传输信息的系统,一直是人们在不断探索和研究的问题。为了实现远距离的信息传递,一方面需要有发送和接收信号的装置,即硬件设备.同时还需要建 立一套规则、标准或约定,用来规定信号的传送和接收方式以及所 传送信号的意义,这就是协议。
化方法的教育以及工业界推广应用形式化技术有所帮助.全书内容共有8章。第1章对网络协议及开发进行一般介绍,包括:早期的通信及协议的简要历史回顾、网络协议的定义及其基 本要素、网络协议的分层结构和OSI模型、网络协议的开发过程等.第2章讨论了网络协议的形式化模型,主要包括有限状态机、Petmi 网、时态逻辑和通信进程演算等。第3章对网络协议的典型形式描 述语言ESTELLE,LOTOS和SDL等进行了介绍。第4章介绍网络协 议的形式化验证,主要包括网络协议性质概述、系统断言语言、不 变性分析、可达性分析和符号模型检验等。第5章对基于有限状态 机规格的网络协议综合及相关问题进行了介绍。