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