STEP标准描述方法-EXPRESS语言

     据模型正式定义数据对象和数据之间的关系，对象为感兴趣的领域。数据模型的一些典型应用包括支持数据库的开发和实现数据在感兴趣的特定领域的交流。数据模型在数据建模语言来指定。 EXPRESS是在ISO 10303-11的EXPRESS语言参考手册定义的数据建模语言。

      一个Express数据模型可以通过两种方式来定义，以文字和图形。格式验证和输入如SDAI工具中的ASCII文件的文字表述是最重要的之一。在另一方面的图形表示通常更适合人类使用，如用于解释和教学。图形表示，所谓的EXPRESS- G，是不是能够代表可在文本格式中描述的所有细节。

     EXPRESS是非常类似与编程语言，如Pascal。在一个SCHEMA中，各种数据类型可以与结构性约束和算法规则来定义。EXPRESS的一个主要特点是，提供了正式验证数据类型的实例集数的可能性 – 也就是说检查所有的结构和算法规则。EXPRESS 构件块

数据类型（Datatypes）

Express提供了一系列的数据类型，用EXPRESS -G符号的特定数据类型的符号：

• Entity data type（实体数据类型）：这是在表达最重要的数据类型。这是下面有更详细。实体数据类型可以有两种方式，在一个子树的父和/或属性有关。
• Enumeration data type（枚举数据类型）：枚举值是简单的字符串，如红色，绿色和蓝色为RGB-枚举。在这种枚举类型声明可扩展的情况下它可以扩展在其他模式。
• Defined data type（定义数据类型）：这进一步专业其他数据类型 - 例如，定义一个数据类型积极的，是整数类型的值> 0 。
• Select data type（选择数据类型）：选择定义不同的选项之间进行选择或替代。最常使用的是不同的entity_types之间进行选择。更难得的是选择，其中包括定义的类型。在这种枚举类型声明可扩展的情况下，它可以扩展在其他模式。
• Simple data type（简单数据类型）

• String（字符串）：这是最常用的简单类型。明示的字符串可以是任意长度的，并且可以包含任何字符（ISO 10646/Unicode中） 。然而，它是常见的做法。
• Binary（二进制）：本数据类型仅很少使用。它涵盖了数位（而不是字节） 。对于一些实施方式中的大小被限制为32位。
• Logical（逻辑）：类似于布尔数据类型的逻辑有TRUE和FALSE并且除了未知的可能值。
• Boolean（布尔）：随着布尔值TRUE和FALSE 。
• Number（数字）： Number数据类型既，整数和实的超类型。大多数的实现需要使用double类型来表示real_type ，即使实际值是一个整数。
  1. Integer（整型）：快递整数原则上可以有任意长度，但大多数实现限制他们有符号的32位值。
  2. Real（实）：理想的表达真正的价值是无限的精度和大小。但在实践中真正的价值是由一个double类型的浮点值来表示。

• Aggregation data type（²聚合数据类型）：可能的种aggregation_types被设置，包列表和数组。而SET和BAG是无序的， LIST和ARRAY是有序的。一包可以包含一个特定的值超过一次，这是不允许的设置。数组是可能含有未设置成员的唯一聚集。这是不可能的SET ，LIST袋。总的成员可以是任何其它数据类型。

一些一般的东西都被提及的数据类型。

• 构造数据类型可以在EXPRESS Schema中定义。它们主要用于定义实体，并以指定的实体的属性和聚合部件的类型。
• 数据类型可以用在递归的方式来建立更多和更复杂的数据类型。例如它可以定义或者一些单位或其他数据类型的一个SELECT的数组列表。如果是有意义的定义这样的数据类型是一个不同的问题。
• 明确定义了一些规则是如何的数据类型可以进一步专业化。这是实体的重新声明的属性很重要。
• 通用数据类型可用于过程，函数和抽象的实体。
• 实体属性（Entity-Attribute）

体属性允许“属性”添加到实体和关系一个实体与另一个在一个特定的角色。该属性的名称指定的角色。大多数的数据类型可以直接作为一个属性的类型。这包括聚集为好。

有三种不同类型的属性，显式的，衍生的和逆属性。而所有这些都可以被重新宣布一个亚子类型。除了明确的属性可以被重新声明为导出的一个子类型。那种属