《通信软件设计_05 SDL语言PPT》由会员分享，可在线阅读，更多相关《通信软件设计_05 SDL语言PPT（110页珍藏版）》请在金锄头文库上搜索。
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 关注信息的
11、保存 在信号中保存 在进程内保存 是eFSM中进行谓词逻辑运算的基础，从而在进程中可以进行判断和转移 Interfaces 关注信号和信号间的通信路径 SDL中的通信行为是异步通信，在SDL的通信中： 信号传递是有延迟的 信号在接收端是有可能被排队的 通过在接口上的通信将SDL系统的行为向外界表现出来,SDL - Summary,Structure 用系统、功能块、和进程来对被描述(和定义)的系统进行层次化定义的手段 Channels 用来承载在代理(Environment, System, Blocks, Processes)间通信的信号(information & stimulus) SDL的目标是描述和规定系统的所有行为 通过包含在系统内的功能块或进程的行为来进行描述和定义一个系统,
