下载此文档

通信软件及通信协议5.ppt


文档分类:通信/电子 | 页数:约121页 举报非法文档有奖
1/121
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/121 下载此文档
文档列表 文档介绍
四、协议的形式描述语言
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

通信软件及通信协议5 来自淘豆网www.taodocs.com转载请标明出处.

非法内容举报中心
文档信息
  • 页数121
  • 收藏数0 收藏
  • 顶次数0
  • 上传人yuzonghong1
  • 文件大小0 KB
  • 时间2014-11-22