chapter4_协议描述技术.ppt

Chapter4 协议描述技术 协议描述 自然语言描述，存在二义性 通用程序设计语言描述，无法描述不确定性、并发等协议性质 形式化描述语言是最合适的描述语言 协议描述的内容 协议通信行为的描述 协议状态机的描述 协议描述技术 MSC概述 MSC 的 特 点（1） MSC 的 特 点（2） MSC的实体类型 MSC的实体类型 定义图形文法的符号说明 在用图形文法定义MSC语法（及后续章节定义SDL语法）时，将采用类似于巴科斯范式（BNF）的符号： ：表示括号内的符号为非终结符，即还需进一步定义； { } ：表示括号内的内容有关联性； * ：表示括号内的内容是可选的，可以为零或重复任意次； + ：表示括号内的内容是必选的，可以出现一次或重复任意次； ∷= ：定义符，定义符左部是非终结符，右部是由非终结符和/或终结符组成的符号串； | ：“或”符，该符号两边的内容为并列关系。 非终结符最终都要用终结符来定义。 终结符包括MSC中的关键字、各种标识符、名称、各种图形符号等。 定义图形文法的符号说明 一组说明句法结构的词组： contains（包含） is followed by（下接） is associated with（关联） is attached to（相接） above（在…上方） set（集合） MSC基础 消息顺序图 MSC图有两种形式（简单MSC图和高级MSC图）： msc diagram ::= simple msc diagram | hmsc diagram 注：HMSC用来描述简单MSC的连接关系和组合关系 消息顺序图 消息顺序图 实 例 实 例 消 息 消 息 条 件 定 时 器 定 时 器 定 时 器 定 时 器 动 作 进 程 创 建 进 程 终止 方法调用与回复 环境与通道 环境与通道 MSC结构概念 并 发 并 发 并发的不同表示形式 MSC引用 线内表达式 高级MSC概念 高级MSC举例1：顺序结构 高级MSC举例2：分支结构 高级MSC举例3：并行结构 MSC文档 要把一个系统的所有“场景”描述出来，需要若干张MSC图。把这些图集中起来，就形成了MSC文档的主要内容。 MSC文档定义本MSC系统用到的实例名、简单MSC图名、高级MSC图名、消息名及其参数、定时器和变量等。 MSC文档内容包括：文档头、定义部分、 应用部分 MSC应用举例 电话业务 硬件结构与工作原理 硬件结构与工作原理 工作原理（1） 连接建立阶段 用户A摘机，交换机检测到用户A摘机后向用户A送拨号音 用户A听到拨号音后输入用户B的电话号码（3位），交换机通过定期监测DTMF收号器接收这3位号码。交换机收到第1位号码后停拨号音 交换机收齐号码后进行号码分析，判断用户B的状态：如果用户B空闲，则向用户B的话机振铃，同时向用户A送回铃音；如果用户B忙，则向用户A送忙音；如果用户A所拨号码不是本交换机内的号码，则向用户A送空号音 用户B摘机应答后，交换机检测到用户B的动作后，停止振铃，停送回铃音，通过交换网络把两个用户的话路接通。连接建立阶段结束。 被叫忙或空号情况下，用户A挂机，交换机检测到后，停送忙音或空号音，结束本次呼叫 工作原理（2） 通话阶段 在本阶段，交换机周期性地监测用户状态，一旦检测到用户挂机，就进入连接释放状态 连接释放阶段：分为三种情况 用户A先挂机，交换机检测到后，断开通话话路，向用户B送忙音；用户B挂机后，交换机停送忙音，本次呼叫过程结束 用户B先挂机，交换机检测到后，断开通话话路，向用户A送忙音；用户A挂机后，交换机停送忙音，本次呼叫过程结束 用户A和用户B同时挂机，交换机断开通话话路，结束本次呼叫 需求分析 软件结构设计 消息定义 消息定义 消息交互图，MSC图 消息交互图 作业 1.如何理解“MSC是一种‘场景’语言”？ 2.实例结束符与实例终止符的含义有何区别？ 3.简单MSC与高级MSC能否互相引用？ 4.什么情况需要用并发事件来描述？ 5.线内表达式运算符“loop3,5”是什么含义？ 6.什么情况下适合采用线内表达式“alt”、“opt”或“exc”？ 7.利用MSC语言分别给出实验2.1，2.2，2.3的应用层交互逻辑？ 8.阅读ITU-T Z.120. Message Sequence Chart规范。 /ITU-T/studygroups/com17/languages/Z120.pdf 2004; 并行事件的例子 并行结构“par”：用来描述并行发生的事件 在必威体育精装版的Z.120没有此部分规范 作用：把一组MSC图组合成更复杂的MSC图 高级MSC（HMSC）是一个有向图。 有向图由