协议工程复习要点1.pptVIP

协议工程复习要点 第一章 协议工程概论 1、概述 协议：是某种活动或者行为所遵守的准则或规则。在计算机世界中，协议是计算机之间或者计算机与其它设备之间用来通信的规则或语言。 协议工程学：是研究协议设计，协议验证、协议实现、协议测试等技术的一门新地计算机学科。 协议工程：一体化、形式化的协议开发过程。 协议工程研究目的：旨在减少协议开发种潜在地错误，提高协议开发效率，促进协议标准化地发展 第一章 协议工程概论 2、SDU、PDU和PCI之间的关系 第一章 协议工程概论 3、协议开发过程 协议的开发包括六个过程 协议设计(PDU格式,协议机制,服务原语等设计) 协议描述,用某种语言确切地描述协议元素 协议的验证与性能分析,对所描述的协议严正其正确性,分析其性能; 协议实现,根据描述的协议产生网络硬软件 协议测试,对实现的协议进行测试 协议维护,对网络软硬件进行维护 第一章 协议工程概论 4、协议的复杂性，如何理解（P 5) 分布性、并发性、异步性、实时性、通道系统的不稳定性 第一章 协议工程概论 5、协议工程的研究内容 协议工程技术可归结为5个方面 （1）协议设计技术(构造、综合、开发) （2）协议模型及形式描述技术 （3）协议验证分析技术 （4）协议实现技术 （5）协议测试技术 第二章 协议构造技术 1、协议构造包括以下内容： ① 协议环境分析：用户要求、通道性质、工作模式 ② 协议功能设计 ③ 协议组织形式的确定（层次化、阶段化、分类、运行方式（交替、并发、并行）） ④ 协议元素的构成（重点） ⑤ 协议文本的编写 第二章 协议构造技术 2、协议有六种元素： ●服务原语和服务原语的时序 ●协议数据单元（PDU）和PDU交换时序 ●协议状态 ●协议事件 ●协议变量 ●协议行动和谓词 第三章 协议模型技术 1、协议性质（P35-36） （1）活动性（概念、体现——终止性与进展性；协议的回归性） （2）安全性（概念） （3）一致性（概念） （4）完备性（概念） 第三章 协议模型技术 2、协议元素性质（P37） （1）事件的成对性 （2）事件的原子性 （3）事件的时序性 （4）状态时序性 （5）变量的有界性 （6）过程的原子性 第三章 协议模型技术 2、有限状态自动机（FSM）S,I,E,T (1)有限状态自动机定义 (2) 通道FSM 空通道FSM模型 非缓冲通道FSM模型 半双工非缓冲通道FSM 模型 (3) AB协议系统有限状态自动机模型(S,R实体) 第三章 协议模型技术 3 Petri网 （1）Petri网的定义 （2） Petri网触发规则 （3）AB协议实体S、R的petri网模型 （4）通道的Petri网模型 （5） AB协议的petri网模型 第三章 协议模型技术 4、时序逻辑 时序逻辑系统 和谓词逻辑一样，时序逻辑（TL,Temporal logic）公式由命题、谓词、函数、常量、变量、量词和逻 辑操作符组成。不同的是，它对谓词逻辑进行扩充，增加时序操作等（模态算子），“时序”指系统状态序列。 时序操作符 此处引用王元元所使用的时序操作符。 (1) □ “今后”（henceforth），“总是”（always），□A表示：当前状态开始（包括当前状态），A总是为真。 (2) ◇ “最终”（eventually），“某时”（sometime）。◇A表示：从当前状态开始，系统存在一个状态，A为真。 (3) ○ “下次”（next）。 ○A表示：A在系统的下个状态为真。 (4) ▽ “直到”（until）。A ▽ B表示：从当前状态开始直到B为真位置（包括B为真的那个状态），A总是为真。 时间（状态）的参考点是正确理解时序操作符含义的关键，请看下述复合操作符的含义。 第三章 协议模型技术 □◇A 从当前状态开始，系统存在多个状态，A为真。它可直译为：从当前状态开始，取系统的任意一个状态为起点◇A为真。 ◇□A 系统中存在一个状态，从那个状态开始，A总是为真。 ○□A 下个状态开始，A总是为真（当前状态可能不为真）。 ○◇A 下个状态开始，系统存在一个状态，A为真。 □○A 从任何状态开始，系统的下个状态为真。 ◇○A 系统存在一个状态，它的下个状态，A为真。 第三章 协议模型技术 通道性质的描述 用TL描述通道的性质是非常容易的。AB协议的通道性质可表述为： CH1: after(a?ack0)←→at(b!ack0) CH2: after(a?ack1)←→at(b!ack1) CH3: □◇after(b?m0)→□◇at(a!m0) CH4: □◇after(b?m1)→□◇at(a!m1) 上一章思考题8的假定条件3（认可报文不丢失，不出错，不重