通信软件设计_05 SDL语言PPT

1、SDL 语言,SDL mechine,SDL语言中的语法构件,定义包（Package） 代理（Agent） 系统图 System 功能块图 Block 进程 Process 通信 信道 Channel 信号 Signal 状态机 动作/迁移过程 定时器,SDL系统组成,System priority is followed by := := 注意连续信号和允许条件的区别,自发转移,非外部激励也能使状态机发生转移 1、图形语法 := contains none is followed by 进程实例PId值：Sender=Self 2、举例,none,保存,1、图形语法 := contains

2、:= | := 2、举例,保存例子,保存（上一个例子的处理过程1）,注：从上到下表示处理的顺序,保存（上一个例子的处理过程2）,注：从上到下表示处理的顺序,在输入中表示信号,单个信号 多条信号 S1,S2,S3 除了在本状态下已经列出的信号外的所有信号 *,输入、连续信号、保存,迁移过程,状态机受到激励之后，执行的一系列动作 1、输出 通过信道一个代理实例发信号给另一个代理实例 图形语法 := contains :=,迁移过程-输出, := , * := () := expression , * := to | * := | | this := via | ,迁移过程-输出,说明 输出体中信号

3、标识符可带参数，可以为数值、表达式、变量等 信号最终要被一个进程或过程消耗（to） pid expression：self、sender、parent、offspring agent identifier：进程实例名 this：本进程类型 通过的路径（via） 承载信号的信道名 经过的信关 to和via不能同时使用；都不使用时，通过唯一的信道发送出去 举例：门控系统的控制面板进程,用户通过,迁移过程-创建进程,2、创建 静态创建，在系统初始化时创建 动态创建 图形语法 := contains := := | this 举例,动态进程处理,在SDL中可以动态创建和撤销(created and d

4、estroyed) 可以使用创建符号来创建一个进程；在创建符号内包含着被创建的进程类型 用offspring保留变量来返回被创建的进程ID 在SDL中用终止符号 (Stop)来表示进程结束,The User ServerInitialisation Procedure,迁移过程-任务,3、任务 执行与变量有关的动作 图形语法 := contains := := | ,迁移过程-任务, 说明 任务符包含语句列表 赋值语句、条件语句、分支语句、复合语句、设置语句、复位语句 a）赋值 := ,x := 1; y := x + 1,迁移过程-任务,b）IF If ( ) else c）Decision

5、 Decision () () : + else : d）组合语句 e）非形式化文本描述,if ( x 0 ) x := 1; else x := x + 1;,decision ( a ) ( =0 ) : b:=1; ( 1:9 ) : b:=2; else : b:=3; ,迁移过程-过程调用,4、过程调用 在进程或过程中都可以调用过程 进程图和过程图的区别 图形语法 := contains :=,过程图Procedure,PROCEDURE: 和子程序类似 用于在SDL进行代码重用 减少SDL进程图的大小，将注意力集中在主要迁移过程 可以通过value (IN)或reference (

6、IN/OUT)的方式传递参数,迁移过程-调用和返回, := := is associated with := 说明 过程调用符中的实参与过程图中定义的形参匹配 过程图中定义的形参为in、out、in/out型 过程可有返回值，标在返回符旁 调用过程可认为是一个任务,过程与进程,起始符不同 过程必须有返回符 进程可以没有结束，即没有终止符 过程可以使用状态 过程没有信号输入队列，信号来自调用者（调用过程的进程）的信号输入队列,迁移过程-分支,5、分支 分支操作是一个动作，通过计算条件表达式选择不同迁移过程 图形语法 := contains is followed by :=,迁移过程-分支, :

7、= | | any := + set := is associated with is followed by := | ( ) := is associated with else is followed by := | :=,分支,process,calling 2/5,wait_for_num,T1,busyTone,VIA,uG,wait_for_onHook,num,(toNum),reset,(T1),getUserPid (toNum, otherPid),otherPid = NULL,True,msg (Sorry,wrong number),wait_for_onHook,

8、False,wait_for_connRepl,onHook,reset,(T1),A1,迁移过程-定时器,6、定时器 在状态机图中，监视激励信号是否在定时器规定时间间隔内到达。若无激励到达，则触发超时事件，作为激励输入。 定时器操作包括：设置和复位 执行一个定时器操作即执行一个任务 超时作为一个触发事件，引起状态的迁移过程,迁移过程-定时器, 文本语法 := timer , * ; := := := ( , * ) 图形语法 设置定时器、复位定时器 超时事件,迁移过程-定时器, := contains := set ( , ) := now + := ( , * ) := contains

9、:= reset ( ),迁移过程-汇接,7、汇接 两种方式：连接符、合并 连接符 入连接域和出连接域 对每个出连接域，必须有且仅有一个同名入连接域与之对应 多个出连接域可汇接到一个入连接域 连接符只用于迁移过程，不可连接状态和触发事件,迁移过程-汇接,图形语法 := contains := := contains is followed by :=,迁移过程-合并, 合并迁移过程 对进程图中某一状态，不同触发事件引起不同迁移过程，若最终迁移到同一状态时，可先合并迁移过程 图形语法 := is connected to := 举例,SDL图形符号连接关系小结,启动符可接初始状态、迁移过程 连接

10、符不可连接状态符和触发事件 迁移过程为一系列动作符号 迁移结果进入后继状态、进程终止 区别进程图和过程图的起始符和结束符 进程图和过程图只能始于启动符、状态符、入连接符,图形符合连接关系,注释和正文扩展,1、正文扩展 2、注释,SDL - Summary,Structure 关注功能块和进程间的组成关系 引入结构化可以 使整个系统的内部组成易于理解 能更好的反应和真实系统的情况 结构化和接口(interface)直接相关 Behavior 关注信号的发送和接收 关注在进程内的状态转移的描述 通过进程的动态描述和信号的通信过程来达到系统的行为描述,SDL - Summary,Data 关注信息的保存 在信号中保存 在进程内保存 是eFSM中进行谓词逻辑运算的基础，从而在进程中可以进行判断和转移 Interfaces 关注信号和信号间的通信路径 SDL中的通信行为是异步通信，在SDL的通信中： 信号传递是有延迟的 信号在接收端是有可能被排队的 通过在接口上的通信将SDL系统的行为向外界表现出来,SDL - Summary,Structure 用系统、功能