美利体育登录入口官网:ITU-T Z.100 ANNEX F2-2021
规范和描述语言 SDL-2010 概述 Annex F2：SDL-2010 形式定义：静态语义（第 17 研究组）
Specification and Description Language – Overview of SDL-2010 Annex F2: SDL-2010 formal definition: Static semantics (Study Group 17)
- 标准号
- ITU-T Z.100 ANNEX F2-2021
- 发布
- 2021年
- 总页数
- 356页
- 发布单位
- 国际电信联盟
- 当前最新
- ITU-T Z.100 ANNEX F2-2021
- 引用标准
- ITU-T Z.100 ITU-T Z.101 ITU-T Z.102 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-2010 的静态语义约束，以及映射到抽象语法和由ITU-T建议Z.101、Z.102、Z.103、Z.104、Z.105和Z.107（这些建议通过引用包含在ITU-T Z.100中）的‘模型’条款所识别的转换。
| 术语 | 描述 |
|---|---|
| 静态语义 Static Semantics | 指在程序执行之前，对程序结构进行检查所确定的性质，包括变量声明、类型匹配和上下文约束。 |
| 抽象语法 Abstract Syntax | 表示程序结构的逻辑树形表示，通：雎跃咛宓挠锓ǚ牛ㄈ绶趾、括号），专注于结构的层次关系。 |
| 具体语法 Concrete Syntax | 程序员实际编写代码时使用的文本格式，包括特定的关键字、符号和排版规则。 |
| 转换 Transformation | 将具体语法（AS0）重写为另一种形式（如抽象语法AS1）的过程，通常涉及模式匹配和替换规则。 |
| 实体定义 Entity Definition | 在SDL-2010中定义系统组件（如进程、通道、信号、变量等）的声明，包含其名称、类型和属性。 |
美利体育登录入口官网: ITU-T Z.100 ANNEX F2-2021相似标准
ITU-T Z.100 ANNEX F3-2018 规范和描述语言 SDL-2010 概述 Annex F3：SDL-2010 形式定义：动态语义（第 17 研究组）
ITU-T Z.100 ANNEX F3-2021 规范和描述语言 SDL-2010 概述 Annex F3：SDL-2010 形式定义：动态语义（第 17 研究组）
ITU-T Z.100 ANNEX F3-2016 规范和描述语言 SDL-2010 概述 Annex F3：SDL-2010 形式定义：动态语义（第 17 研究组）
ITU-T Z.100 ANNEX F3-2015 规范和描述语言 SDL-2010 概述 Annex F3：SDL-2010 形式定义：动态语义（第 17 研究组）
ITU-T Z.100 ANNEX F2-2016 规范和描述语言 – SDL-2010 附件 F2 概述：SDL-2010 正式定义：静态语义（第 17 研究组）