(优选)通信软件设计SDL语言.
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
系统图 System 功能块图 Block 进程 Process
通信
信道 Channel 信号 Signal
状态机 动作/迁移过程 定时器
SDL系统组成
系统
功能块
功能块
进程
进程 功能块 功能块
进程 进程
System & Environment
SDL System
SDL规格定义了系统 (System)对来自环境 (Environment)的事件的 反应
包的图形语法(续)ቤተ መጻሕፍቲ ባይዱ
<package text area> ::= <text symbol> contains { <agent type reference>
包的图形语法
<package diagram> ::= <frame symbol> contains {<package heading> {{<package text area>}* {<diagram in package>}* } set } [ is associated with <package use
系统类，功能块类，进程类的定义 信号定义
例子：定义包
use SignalLib ; package AccessPointLib
AccessPoint
BlockingAccessPoint LoggingAccessPoint
例子：定义包(续)
package SignalLib
signal
eject-card, lock, unlock
Block
Block
signal routes
channels
当一个系统由大量的进程组成时，没有适当的静态结构 会导致无法快速获得系统的整体目标
功能块(Blocks)用于在SDL中适当的进行结构化和层次 化的定义
在进程间使用信号路由(Signal routes)，在 功能块间采 用信道(channels)来描述通信路径
signals
环境通过信号(Signals) 向系统发送事件
信号是SDL中描述系统 ENVIRONMENT 和环境间通信的唯一形
式
SDL的描述和具体系统的关系
SDL Overview - Process
System Instance signals
signals
Process Instance
/* AccessPoint to ENV */
input-card, isOpen, isClosed /* ENV
to AccessPoint*/
display,
/* Display
to ENV */
keys;
/* ENV
to Keyboard */
signal Code(integer,integer);/* AccessPoint to CentralUnit */
SDL system 是针对真实世界所建立的模型
用于定义系统中的各个组成部分 采用层次化的方式
System 包含
blocks, 功能块之间用信道连接
Block 包含
processes, 进程间使用信道连接 blocks, 子功能块
Process 含有
使用变量和过程所定义的属性 使用状态(states)和迁移过程(transitions)所定义的行为
signals
Process Instance
在SDL中的进程(Process)通常是一个 eFMS
系统由一系列互相通信的进程(process instances)实例组成
SDL Overview - Blocks
Block
Process Instance
Process Instance
System (or another block) Block
通信软件设计SDL语言
SDL mechine
input signal input port
FSM
output signal
timeout timer op data op
save queue
timer save data
reveal/view
SDL语言中的语法构件
定义包（Package） 代理（Agent）
在SDL中的通信方式
signal:
信号时SDL中最基本的通信表达方式 由发送代理所发送(Output) 由接收代理所接收(Input)
channel:
信道是代理间通信的路径
stimulus:
激励是导致代理自发转移的一种事件
SDL 概览总结
环境，指在SDL规格之外的一切东西
如人(用户)，其他互联系统等 不是SDL中的一个元素
signal OK,NOK,ERR
/* CentralUnit to AccessPoint */
; signallist validity = OK, NOK, ERR ;
signallist outp = EjectCard, display;
signallist inp = InputCard, keys ;
Types
可用于定义system系统类, block 功能块类和processes 进程类
1 定义包(Package)
含义
用于定义代理类型、信号、变量、数据、过 程等，解决可重用性
在SDL的各个层次的代理图和过程图中 用来进行SDL的结构化 用来使用外部定义和提供给其他系统和包使
用，可含有
area> ]
包的图形语法(续)
<package heading> ::= package [ <qualifier> ] <package name>
<package use area> ::= <text symbol> contains {<package use clause>}*
<package use clause> ::= use <package identifier>
signal opened,closed ; /* Door to Controller */ signal open, close ; /* Controller to Door */
signal Disable, Enable
/* CentralUnit to BlockingAccessPoint */ /* CentralUnit to BlockingAccessPoint */
通信
信道 Channel 信号 Signal
状态机 动作/迁移过程 定时器
SDL系统组成
系统
功能块
功能块
进程
进程 功能块 功能块
进程 进程
System & Environment
SDL System
SDL规格定义了系统 (System)对来自环境 (Environment)的事件的 反应
包的图形语法(续)ቤተ መጻሕፍቲ ባይዱ
<package text area> ::= <text symbol> contains { <agent type reference>
包的图形语法
<package diagram> ::= <frame symbol> contains {<package heading> {{<package text area>}* {<diagram in package>}* } set } [ is associated with <package use
系统类，功能块类，进程类的定义 信号定义
例子：定义包
use SignalLib ; package AccessPointLib
AccessPoint
BlockingAccessPoint LoggingAccessPoint
例子：定义包(续)
package SignalLib
signal
eject-card, lock, unlock
Block
Block
signal routes
channels
当一个系统由大量的进程组成时，没有适当的静态结构 会导致无法快速获得系统的整体目标
功能块(Blocks)用于在SDL中适当的进行结构化和层次 化的定义
在进程间使用信号路由(Signal routes)，在 功能块间采 用信道(channels)来描述通信路径
signals
环境通过信号(Signals) 向系统发送事件
信号是SDL中描述系统 ENVIRONMENT 和环境间通信的唯一形
式
SDL的描述和具体系统的关系
SDL Overview - Process
System Instance signals
signals
Process Instance
/* AccessPoint to ENV */
input-card, isOpen, isClosed /* ENV
to AccessPoint*/
display,
/* Display
to ENV */
keys;
/* ENV
to Keyboard */
signal Code(integer,integer);/* AccessPoint to CentralUnit */
SDL system 是针对真实世界所建立的模型
用于定义系统中的各个组成部分 采用层次化的方式
System 包含
blocks, 功能块之间用信道连接
Block 包含
processes, 进程间使用信道连接 blocks, 子功能块
Process 含有
使用变量和过程所定义的属性 使用状态(states)和迁移过程(transitions)所定义的行为
signals
Process Instance
在SDL中的进程(Process)通常是一个 eFMS
系统由一系列互相通信的进程(process instances)实例组成
SDL Overview - Blocks
Block
Process Instance
Process Instance
System (or another block) Block
通信软件设计SDL语言
SDL mechine
input signal input port
FSM
output signal
timeout timer op data op
save queue
timer save data
reveal/view
SDL语言中的语法构件
定义包（Package） 代理（Agent）
在SDL中的通信方式
signal:
信号时SDL中最基本的通信表达方式 由发送代理所发送(Output) 由接收代理所接收(Input)
channel:
信道是代理间通信的路径
stimulus:
激励是导致代理自发转移的一种事件
SDL 概览总结
环境，指在SDL规格之外的一切东西
如人(用户)，其他互联系统等 不是SDL中的一个元素
signal OK,NOK,ERR
/* CentralUnit to AccessPoint */
; signallist validity = OK, NOK, ERR ;
signallist outp = EjectCard, display;
signallist inp = InputCard, keys ;
Types
可用于定义system系统类, block 功能块类和processes 进程类
1 定义包(Package)
含义
用于定义代理类型、信号、变量、数据、过 程等，解决可重用性
在SDL的各个层次的代理图和过程图中 用来进行SDL的结构化 用来使用外部定义和提供给其他系统和包使
用，可含有
area> ]
包的图形语法(续)
<package heading> ::= package [ <qualifier> ] <package name>
<package use area> ::= <text symbol> contains {<package use clause>}*
<package use clause> ::= use <package identifier>
signal opened,closed ; /* Door to Controller */ signal open, close ; /* Controller to Door */
signal Disable, Enable
/* CentralUnit to BlockingAccessPoint */ /* CentralUnit to BlockingAccessPoint */