通信软件创新设计基础第二版.ppt

协议动作和谓词 协议动作：协议在状态转换（迁移）过程中执行的操作。这些操作包括： 输出信息（SDU和PDU） 设置定时器 （开始计时） 复位定时器（停止计时） 修改协议变量 执行一系列动作（操作）的过程（函数） 其它操作（如读、写文件等） 谓词：描述协议动作执行时的条件语句。用布尔表达式来 表示 。 3.3.6 协议状态机 3.4 描述协议状态的迁移情况，可以用事件状态表或有限状态机来  描述 。 事件状态表：用表格形式详细说明协议状态与协议事件和协议 动作的关系 有限状态机：用状态迁移图来描述协议状态与协议事件和协议 动作的关系 协议状态机反映了协议元素之间的关系: 协议状态与输入事件和协议过程之间的关系； 协议的过程与协议动作之间的关系； 协议过程的执行结果与状态机转入的状态之间的关系。 当前状态 输入事件 谓词 协议动作 下一状态 状态1 事件1 动作1 状态2 状态2 事件2 谓词1成立 动作2 状态3 状态2 事件2 谓词1不成立 动作3 状态4 … 协议事件状态表一般格式 协议状态机 3.4 协议状态机 3.4 扩展有限状态机（EFSM），EFSM可以定义成一个四元系统S,i,E,T，其中： S： 系统状态集，状态数是有限的。 i： 系统初始状态，i∈S；一个系统有且仅有一