美利体育登录入口官网:ISO/IEC 13568:2002
信息技术.Z格式规范标志法.语法,形式系统和语义学
Information technology - Z formal specification notation - Syntax, type system and semantics
- 标准号
- ISO/IEC 13568:2002
- 发布
- 2002年
- 总页数
- 196页
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 13568:2002/Cor 1:2007
- 当前最新
- ISO/IEC 13568:2002/Cor 1:2007
- 引用标准
- ISO/IEC 10646-1:2000 ISO/IEC 10646-2:2001 ISO/IEC 14977:1996
- 本体
- 模式
- 适用范围
- 以下内容属于本国际标准的范围： · Z 表示法的语法； · Z 表示法的类型系统； · Z 表示法的语义； · 广泛使用的数学运算符工具包； · LATEX [10] 和 Z 表示法的电子邮件标记。 以下内容不属于本国际标准的范围： · 使用 Z 的任何方法，尽管资料性附录 (E) 描述了一种广泛使用的惯例。
| 术语 | 描述 |
|---|---|
| 绑定 binding | 从名称到值的有限函数。 |
| 捕获 capture | 导致引用表达式引用与预期不同的声明。 |
| 载体集 carrier set | 类型中所有值的集合。 |
| 约束 constraint | 要么为真要么为假的属性。 |
| 环境 environment | 用于类型推断的名称到信息的函数。 |
| 解释 interpretation | 从节的全局名称到语义宇宙中值的函数。 |
| 元语言 metalanguage | 用于定义另一种语言的语言。 |
| 元变量 metavariable | 表示特定语法类的任意短语的名称。 |
| 模型 model | 使相应节的定义约束为真的解释。 |
| 模式 schema | 绑定的集合。 |
| 声明的作用域 scope of a declaration | 规范中引用表达式名称与特定声明相同且引用该声明的部分。 |
| 作用域规则 scope rules | 确定声明作用域的规则。 |
| 语义宇宙 semantic universe | 所有语义值的集合，为非通用和通用 Z 值提供表示。 |
| 签名 signature | 从名称到类型的函数。 |
| 类型宇宙 type universe | 所有类型值的集合，为所有 Z 类型提供表示。 |
| Z 核心语言 Z core language | 除数学工具包符号外，由本标准定义的 Z 符号。 |
| ZF 集合论 ZF set theory | Zermelo-Fraenkel 集合论。 |