美利体育登录入口官网:ISO 13584-20:1998
工业自动化系统和集成 零件库 第20部分:逻辑模型 通用资源
Industrial automation systems and integration - Parts library - Part 20: Logical resource; Logical model of expressions
- 标准号
- ISO 13584-20:1998
- 发布
- 1998年
- 国际标准分类(ICS)
- 35.240.50 信息技术在工业中的应用
- 总页数
- 96页
- 中文版
- GB/T 17645.20-2002 (等同采用的中文版本)
- 发布单位
- 国际标准化组织
- 替代标准
- ISO 13584-20:1998/cor 1:2014
- 当前最新
- ISO 13584-20:1998/cor 1:2014
- 引用标准
- ISO 10303-11:1994 ISO 10303-44:1994 ISO/IEC 9075:1992
- 本体
- 环境
- 适用范围
- ISO 13584 的这一部分指定： ——通用表达式的 EXPRESS 模式， — 表达式的 EXPRESS 模式，对 ISO 10303-11 中定义的 EXPRESS 语言中允许的表达式的子集进行建模，对应于整数、实数、布尔值和字符串数据类型。 该模式使用通用表达式模式中定义的资源。 以下内容属于 ISO 13584 本部分的范围： ——涉及常量和变量的表达式的交换； ——检查数值表达式是否应计算为整数值的函数； ——确保表达式在语义上正确的约束； ——表达式中使用的变量或函数的计算； ——检查表达式是否可以映射到 SQL 查询语言的函数。 以下内容超出了 ISO 13584 本部分的范围： ——在某些上下文中为变量赋值； ——在给定上下文中计算表达式值的触发机制。
| 术语 | 描述 |
|---|---|
| 数据类型 data type | 值的域。 |
| 实体 entity | 由共同属性定义的一类信息。 |
| 实体数据类型 entity data type | 实体的表示。实体数据类型建立由共同属性和约束定义的值的域。 |
| 实体（数据类型）实例 entity (data type) instance | 代表类中信息单元的命名数据单元。它是实体数据类型建立的域的成员。 |
| 祖先节点 ancestor node | 可以通过沿反向方向连续遍历链接从给定节点到达的任何节点。对于给定节点，其祖先节点包括所有父节点、这些父节点的所有父节点等。 |
| 子节点 child node | 链接指向的节点。 |
| 后代节点 descendent node | 可以通过连续遍历链接从给定节点到达的任何节点。对于给定节点，其后代节点包括所有子节点、这些子节点的所有子节点等。 |
| 有向无环图 directed acyclic graph | 节点和定向链接的集合，其中没有任何节点是其自身的祖先（或后代）。 |
| 链接 link | 有向无环图中从一个节点到另一个节点的单向关系。 |
| 节点 node | 有向无环图的元素，通过链接与其他此类元素连接。 |
| 父节点 parent node | 链接发起的节点。 |
| 运算符的元数 arity of an operator | 应与运算符关联的操作数的最大数量。 |
| 二元运算符 binary operator | 其元数等于二的运算符。 |
| 环境 environment | 语法与语义之间的关联。注：在 ISO 13584-20 的上下文中，环境实体将 generic_variable（语法）与其对应的含义（语义）（由 variable_semantics 实体表示）关联起来。 |
| 求值 evaluation | 计算表达式所代表的值。 |
| 表达式 expression | 由变量、常量或两者通过运算符组合而成的集合。注 1：表达式指定一个函数，其参数是表达式中出现的变量。注 2：底层结构是一个有向无环图，其中节点是运算符、常量或变量，链接表示从每个运算符到其参数（本身也是表达式）的单向关系。 |
| 表达式数据类型 expression data type | 表达式结果应取值的域。注：在本部分 ISO 13584 中，类型控制和类型综合仅针对 ISO13584_expressions_schema 执行。类型控制由该 EXPRESS 模式的结构和规则确保。类型综合通过 EXPRESS TYPEOF 函数完成，该函数计算表达式是 numeric_expression、Boolean_expression 还是 string_expression，以及通过 is_int 函数计算数值表达式是否求值为 INTEGER 值。 |
| 解释 interpretation | 返回与每个变量关联的语义的函数。注：该函数使用环境将变量与其对应的语义（以及可能的值）关联起来。 |
| 多元运算符 multiple arity operator | 其元数大于二的运算符。 |
| 运算符 operator | 组合一个或多个值（称为其操作数）以产生一个值（称为其结果）的函数。注：运算符的定义包括其操作数和结果的的数据类型定义。 |
| 语义 semantics | 给定概念的含义。示例：变量的语义是该变量携带的含义。注：在 ISO 13584-20 的上下文中，语义由 variable_semantics 实体表示。该实体是一个抽象超类型，可特化以携带特定含义和值。 |
| 语法表示 syntactic representation | 表示给定概念的字符序列。注 1：在通常的编程语言中，用于表示不同概念的字符序列应遵守称为语言语法的规则集。注 2：在 ISO 13584-20 的上下文中，语法表示是一个实体（数据类型）实例。 |
| 类型控制 type control | 允许确定给定表达式是否正确类型的操作。注 1：如果表达式中每个运算符的每个操作数的数据类型符合所需的数据类型，则该表达式是正确的类型。注 2：在本部分 ISO 13584 中，类型控制由 EXPRESS 模式的约束确保。 |
| 类型综合 type synthesis | 确定表达式数据类型。注：在 ISO13584_expressions_schema 模式中，每个常量、变量或运算符结果的数据类型由其表示的实体携带；因此，表达式的数据类型可以通过对表示该表达式的节点应用 EXPRESS TYPEOF 函数的结果推导出来。 |
| 一元运算符 unary operator | 其元数等于一的运算符。 |
| 变量 variable | 属于指定数据类型的值的表示。 |