chapter_规范说明和描述语言SDL.ppt

Chapter5 规范说明与描述语言SDL 规范说明和描述语言SDL SDL是一种应用较广的形式化描述语言，由原CCITT(国际电报电话咨询委员会）现ITU-T(国际电信联盟电信标准局）制定，在ITU-T Z.100建议中给出了SDL的完整定义。 The purpose of recommending SDL (Specification and Description Language) is to provide a language for unambiguous specification and description of the behaviour of telecommunication systems. The specifications and descriptions using SDL are intended to be formal in the sense that it is possible to analyse and interpret them unambiguously. SDL 发展历史 SDL第一版本形成于1976年； 1980-1992年又推出了多个版本； SDL-92版本引入了面向对象OO的概念； 1999.11 SDL-2000版本在面向对象的数据方面做了扩展，合并了部分特性以使SDL语言更加简练，引入了其他语言：ASN.1,ODL(Z.130),CORBA和UML。 SDL 适用领域 SDL主要应用于电信领域，也适合描述活性离散系统。 活性指系统对外来信号（输入）是有反应（输出）的； 离散指系统与环境的信息交互不是连续的； SDL 特点 用来说明（Specification）一个系统所应具有的行为； 用来描述（Description）一个系统实际具有的行为； SDL 用途 SDL制作以下文档： 设备需求文档 系统说明 ITU-T建议 系统设计说明 系统设计描述（概要设计和详细设计） 系统测试说明 规格说明与描述语言SDL 系统行为 SDL系统结构 SDL语法 包 包 系 统 系 统 功 能 块 功 能 块 进 程 进 程 过 程 过 程 过 程 过 程 远 端 过 程 远 端 过 程 远 端 过 程 信号与信道 信号与信道 信号与信道 系统行为描述 开 始 域 开 始 域 状 态 域 状 态 域 状 态 域 状 态 域 触 发 事 件 触 发 事 件 触 发 事 件 触 发 事 件 触 发 事 件 触 发 事 件 触 发 事 件 触 发 事 件 保 存 域 保 存 域 输 出 域 创建进程实例 任 务 域 任 务 域 任 务 域 任 务 域 任 务 域 过 程 调 用 过 程 调 用 procedure call body :: = procedure call body::= procedure identifier [ actual parameters ] 调用带返回值的过程还可以出现在任务符中。其格式为： X:= call procedure call body 过 程 调 用 分 支 域 分 支 域 连 接 域 图形符号连接关系 定时操作 定时操作 定时操作 定时操作 定时操作 正文扩展与注释 正文扩展与注释 5.7 数据定义 在SDL中，预定义了一些常用的SDL特有的数据类型，也提供了用户自行定义新的数据类型的方法。 预定义数据类型 预定义数据类型 定义新的数据类型 定义同义类型和同义词 定义同义类型和同义词 变量定义与使用 变量定义与使用 远端变量 远端变量 远端变量 面向对象的概念 进 程 类 进 程 类 功 能 块 类 功 能 块 类 系 统 类 上下文参数 类的特殊处理 类的特殊处理 类的特殊处理 类的特殊处理 类的特殊处理 类的特殊处理 类的特殊处理 作业 P148思考题 1,2,3,4,5,6,7,8 课余时间阅读ITU-T Z.100. Specification and Description Language /ITU-T/studygroups/com17/languages/Z100.pdf 2002; 5.8.3 在系统级也可以定义类，即系统类。 定义了系统类后就可以用它来定义多个系统实例，而不需要对每个系统进行重复定义。 系统类图的语法定义如下： system type diagram ::= frame symbol contains