通信软件设计重点

通信软件设计重点

（额，仅供参考=。=）

一、MSC

1.中文：消息顺序图英文：Message Sequence Chart

2.MSC是一种形式描述语言，用来描述多个实体之间和实体与环境之间消息交

互的顺序。

3.MSC图有两种：

简单MSC：描述系统各种通信场景

高级MSC：描述简单MSC之间的关系

4.实例：代表某种实体。

实例头部需加标题来标识该实例：

MSC支持的实例类型是process、block、system

5.条件（状态）：描述系统的全局状态或局部状态。

6. 定时器：监视某一事件的发生（输入消息的到达），包括两个操作（启动定时器、复位定时器），一个事件（定时器超时）。 启动定时器：

复位定时器：

定时器超时：

7. 实例创建（静态 动态）： 实例创建符：动态创建实例

8. 进程终止（只适用于动态创建的进程实例）：

9. 方法调用和回复（方法类似于函数或过程）：

10.并发：用来描述在实例轴上发生时间无序的事件。

11.引用：在MSC图中引用别的MSC图。

线内表达式符：

异常线内表达式符：

分隔符：

alt：方框符被分成两个区，中间用虚线隔开，两个区内的内容二选一，非此即彼，不会同时出现。

opt：当alt线内表达式的第二个区域为空时，就变成了opt，opt区域内的事件要么发生，要么不发生。

exc：当exc线内表达式内的事件发生后，该MSC图就结束了；如果exc线内表达式内的事件没有发生，就继续执行该线内表达式下面的过程。

par：描述并行发生的事件。

loop：描述重复发生的事件。loop，至少循环n次，至多循环m次。

二、SDL

1.中文：规范说明和描述语言

英文：Specification and Description Language

2.Specification：说明一个系统应该具有的行为

Description：描述一个系统实际具有的行为

3.系统可以划分成若干功能块，功能块可以划分功能块，也可以划分成若干进

程。

4.系统图的系统名用关键字：system

5.包在定义时用关键字：package，使用时用关键字：use

6.信号：进程之间通信的基本单位

在文本符中定义，可以定义参数，关键字：signal

文本定义符：

定义过的信号可以定义信号列表，关键字：signallist

7.信道：实体与实体之间或实体与环境之间传递信号的通道，用带箭头的连线

表示。需列出信道名、信号。

8.功能块：系统的组成部分，实现系统的一组功能。关键字：block

9.进程：系统的基本组成单位，系统的行为主要由进程来描述。关键字：process

每个进程实例拥有一个唯一的进程标识：pid。

self：返回本进程实例的pid；

sender：返回发送最近被消耗消息的进程实例的pid；

parent：返回创建本进程实例的进程（也就是父进程）的pid；

offspring：返回最近被本进程创建的进程（子进程）的pid。

10.开始域：

11.状态域：描述状态，状态表示状态机处于某个稳定状态。

状态符：

状态符下面可以接：输入符，优先输入符，连续信号符，保存符。

12.输入符：（方向左右均可）

13.优先输入：使信号在某状态下一但输入就立即被处理。

优先输入符：

14.连续信号：主体是一个布尔表达式，通过计算布尔表达式的值来触发状态机。

连续信号符

15.保存：把提前到达输入队列的有效信号保存下来。被保存的信号在下一状态

中优先被处理。

保存符：

16.输出符：

to：给出接收该信号的进程实例的pid、进程标识符

via：指明承载该信号的信道

17.实例创建符：动态创建进程实例。

18.任务：执行动作

19.分支操作

20.连接：把同一迁移过程的两部分连接起来。

21.定时器：

定义：timer T（id）：=duration；

设置：set（now+duration，T）；

复位：reset（T）；

超时：用包含定时器名的输入符来表示。

22.过程：过程是进程的一部分。关键字：procedure

过程开始符：（与开始符区分）

过程终止符：

过程调用：（区分实例创建符）

过程声明：

参数定义：;fpar

返回值定义：returns

24. 远端过程：

1）在两个进程的共同上级定义过程remote procedure pro_name；2）在“服务”进程中定义该过程exported procedure pro_name；3）在“客户”进程中进口该过程imported procedure pro_name；

25. 正文扩展：

注释与正文扩展类似，不过是用虚线。

三、数据定义

1.SDL中的预定义数据类：

a)Boolean：布尔型

b)Character：字符型

c)Charstring：字符串型

d)Integer：整型

e)Natural：自然数型

f)Real：实数型

g)Pid：进程标识型

h)Duration：时长类型

2.定义变量：dcl 变量名数据类;

3.定义数组：

newtype 数组类名

array(索引项数据类，元素项数据类)

endnewtype;

访问数组元素：数组变量（索引）

4.定义结构类型：

newtype 结构名Struct

字段1 数据类1;

字段2 数据类2;

字段3 数据类3;

…

endnewtype;

访问结构变量的子段：结构变量！子段

5.定义串类型：

newtype int_string

string(integer, Empty)

endnewtype;

6.定义字面量类型：

newtype colors

Literals red, yellow, blue, green endnewtype;

四、Telelogic TAU

这个工具主要应该会考Simulator UI的命令：Execute域：

Symbol：单步执行

Go：全部执行

Break：中断

Transition：执行一个状态转移

Until Timer：执行到某一个定时器的位置

Send Signal域：

Send T o：信号发给哪个对象

Send Via：信号通过哪个信道发送

Send None：自发输入

Trace域：

MSC跟踪：生成MSC图

SDL跟踪：跟踪SDL图的执行情况

五、电信软件设计举例

第七章详细介绍了这个例子，建议看一下它的思路。Over~~祝大家考试顺利~~~