协议抽象模型(续) ●可将协议看成是加上了调用接口和报文格式定义的状态 机,所有协议都可以抽象为图中的状态机模型: 个上层接口调用使协议状态机初始化 在某个状态时,可能发送一个报文、收到一个报文或发 生一个定时器事件,并进入一个新的状态 User calls STATE Timer calls (e.g, seq numbers) Send message Receive message协议抽象模型(续) 可将协议看成是加上了调用接口和报文格式定义的状态 机,所有协议都可以抽象为图中的状态机模型: 一个上层接口调用使协议状态机初始化 在某个状态时,可能发送一个报文、收到一个报文或发 生一个定时器事件,并进入一个新的状态