四、协议的形式描述语言 Slide 1主要内容形式化方法协议的形式化模型协议的形式描述语言 SDL Slide 21、形式化方法 Slide 3形式化方法的引入系统行为的复杂性增大了行为描述的难度,必须借助一种语言或一种技术来准确的描述系统的行为。自然语言具有冗长、不完整、语句容易产生二义性、结构性差和没有描述标准等缺点。国际标准化组织建议用形式化方法来描述复杂的系统。形式化方法使得对通信系统的描述、实现和测试变得容易。 Slide 4 与自然语言相比,形式化方法具有以下的特点: 形式化的语法形式化的语义清楚的概念模型界面统一表示强大的表达和描述功能有助于系统的实现和完善形式化方法的特点 Slide 5形式化方法的最终目的为开发者提供一种分析、设计的方法作为对开发结果进行验证、测试的基础为设计和应用人员提供交流的途径作为开发文档易于今后的维护和再开发 Slide 62、协议的形式化模型 Slide 7协议的形式化模型有限状态机( FSM ) Petri 网时态逻辑 TL 通信进程演算 Slide 8有限状态自动机可定义为一个四元系统<S,i,E ,T>,其中: – S:系统状态集,状态数有限; – i:系统初始状态, i∈ S; – E:输入字母集; – T:转移函数集,是从 SⅹE到S的映射; 有限状态自动机( 1) 有限状态自动机( 2) 单比特奇偶检验器的有限状态自动机偶奇 11 Slide 900
通信软件及其通信协议5 来自淘豆网www.taodocs.com转载请标明出处.