第四讲协议描述技术
1
内容
MSC基础
MSC结构
高级MSC
MSC文档
2
协议可以用自然语言、程序设计语言、形式描述语言、专用描述语言。
3
形式描述语言可以分为协议通信行为和协议状态机描述。
下一讲SDL描述协议的系统结构和系统行为
4
1.MSC概述
MSC是什么
MSC的特点
MSC的实体类型
MSC的文法
5
概述之一——MSC是什么
MSC：Message Sequence Chart
MSC（消息顺序图）是ITU-T Z.120建议给出的一种形式化语言，用于描述多个实体之间、实体与环境之间消息交互的顺序。
6
概述之二——MSC的特点
MSC是一种图形化语言：MSC的图形文法以二维图形来概括通信实例的行为。
MSC是一种形式化语言，采用自然语言和形式化记法MSC应用广泛：可用于所有具有信息交互的应用领域。MSC支持结构化设计。
7
概述之三——MSC的实体类型MSC的实体类型
–MSC文档
–MSC图
–实例（instance）
–条件（condition）
–定时器（timer）
–消息（message）
–通道（gate）
–变量（variable）
8
在同一视见域内，有些实体可以多次出现，如状态、定时器和消息等，多次出现的实体代表同一实体。
9
概述之四——MSC的文法
MSC的文法分为：
–文本文法（textual grammar）
–图形文法（graphical grammar）
10
11
一组类似于BNF范式的符号
< >：非终结符
{ }：括号内的内容有关联性
< >*：括号中的内容是可选的，可以为零次或多次
< >+：表示括号内的内容是必选的，至少出现一次::=：定义符，左部为非终结符，右部为终结符、“/”、非终结符
|：或符，符号两边的内容为并列关系
12
13
contains （A包含B）MyMSC g
is followed by（A紧跟着B）
is attached to（相连）
above
MyMSC g i j k
s1
s2
set
{
表示文本层是一个text area的集合，且无顺序关系
19
2.MSC基础
MSC图
消息
条件
定时器
动作
方法调用和回复
20
MSC基础——MSC图——概述
21
MSC基础——MSC图——组成
方框符
is attached to{
23
MSC基础——MSC图——头部+主体域
24
MSC基础——MSC图——主体域——实例
层
实例层主要用来说明MSC图中包含的实例的情况，包括实例类型、实例名及实例体等，这些
由实例域给出。
{
实例层包括零个到多个实例域，说明个别MSC
图可以不包含实例。
25
MSC基础——MSC图——主体
域——文本层
文本层主要是MSC图中的文本说明，是一个独立层，与其它层在逻辑上和图形上均无联系。
{
文本层包括零个到多个文本域，说明不一定每张MSC图都包含文本域。
26
MSC基础——MSC图——主体域——
通道定义层
{
27
域——事件层
事件层由一个到多个事件域组成，事件域按顺序上下排列。
|
|
|
28
域——事件层
29
域——事件层
例如：从一个实例发送一条消息到另一个实例，这两个实例上分别对应两个消息事件，一个发，一个收，中间需要消息域连接两个事件。
30
MSC基础——MSC图——主体
域——事件层
|
|
31