美利体育登录入口官网

美利体育登录入口官网:ITU-T Z.102-2021
规范和描述语言 综合 SDL-2010

Specification and Description Language - Comprehensive SDL-2010


标准号
ITU-T Z.102-2021
发布
2021年
国际标准分类(ICS)
35.060 信息技术用语言   
总页数
76页
发布单位
国际电信联盟
当前最新
ITU-T Z.102-2021
 
 
引用标准
ISO/IEC 10646 ITU-T T.50 ITU-T Z.100 ITU-T Z.101 ITU-T Z.103 ITU-T Z.104 ITU-T Z.105 ITU-T Z.106 ITU-T Z.107 ITU-T Z.111
代替标准
----------------
适用范围
本建议书定义了规格和描述语言(SDL)的扩展功能,这些功能扩展了在 [ITU-T Z.101] 中定义的基本规格和描述语言的功能,以全面涵盖该语言的抽象语法。给出了规范的具体语法以覆盖抽象语法。本文件中定义的抽象语法与基本规格和描述语言的抽象语法相结合,全面定义了该语言的属性,但数据表达式的细节除外。本建议书还包括类型继承、通用系统、宏以及处理通用多字节编码字符集的功能。与 [ITU-T Z.100]、[ITU-T Z.101]、[ITU-T Z.103]、[ITU-T Z.104]、[ITU-T Z.105]、[ITU-T Z.106] 和 [ITU-T Z.107] 一起,本建议书构成了该语言的参考手册。
术语描述
形式化描述技术
Formal Description Techniques
用于以数学或逻辑方式精确描述系统行为的技术,SDL是其中一种。
扩展有限状态机
Extended Finite State Machine
SDL中行为描述的基。ü⒔型ㄐ诺淖刺P。
上下文参数
Context Parameters
用于在类型定义中参数化的形式参数,允许类型在不同上下文中使用,通过实际上下文参数进行替换。
抽象类型
Abstract Type
其定义中包含'Abstract'关键字的类型,不能被实例化,通常用于定义基类或模板。

Macro
包含一组词汇单元的集合,在具体分析前通过宏调用替换为相应的宏扩展内容。
通用系统
Generic System
一种可参数化的系统定义,允许通过上下文参数定义系统结构,以适应不同实例。
聚合
Aggregation
将多个状态或部分组合成一个复合状态的结构机制,用于大型系统的结构化管理。

美利体育登录入口官网: ITU-T Z.102-2021相似标准


美利体育登录入口官网: 推荐


美利体育登录入口官网: 谁引用了ITU-T Z.102-2021 更多引用





Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-09-18 14:25

美利体育(meili)官方网站_美利体育手机版下载