1.EXPRESS语言结构和描述方法

Biblioteka Baidu
EXPRESS通过子类／超类说明表示实体间的分类和继承关系。
EXPRESS把所有相关的对象说明用模式(schema)来包含。多个模 式之间通过界面规范说明它们的关系。界面规范有使用和引用两 类。在一个模式中可以引用和使用其它模式中定义的资源，如数 据类型、函数等。使用是把其它模式中的资源输入到本模式中， 使这些资源的本模式中的资源一样可以使用和修改，而引用只是 引用外部模式的资源来说明变量和届性。 在EXPRESS中可以说明函数和过程，但它们只用于规则说明、实 体中导出属性的说明和常量说明等场合。函数和过程均需要由形 式参数说明、内部局域变量说明、用语句描述的函数体或过程体 。函数还需要有返回值。 和程序设计语言类似，EXPRESS也有复杂的表达式。其操作符合 算术、关系、二进制、逻辑、字符串等类型，另外还有对聚合数 据类型操作的聚合运其符和从实体实例或聚合值中抽取成员的成 员访问运算符． EXPRESS还提供了内部常量、内部函数和内部过程。 EXPRESS语言是用于工程应用的信息模型描述语言。
1．EXPRESS语言结构和描述方法 EXPRESS侧重实体的定义。实体包括数据和约束。数据表示了实 体在实例化时的属性，而约束是通过规则来表达。属性分三类： (1)显式(explict)属性：是实体的实例变量，直接提供数据。 (2)导出(derived)属性：其值由其它属性计算得到。 (3)逆向(inverse)属性：表达此实体和另外一个实体的显式属 性的对应关系。 属性的类型可以是EXPRESS规定的简单的数据类型(如整数),或 是利用EXPRESS定义的复杂数据类型（如数组）。或者是另外一 个实体,这样就建立了实体间的各种联系.
XPRESS中的数据类型用于表示实例值，分以下几类： (1)简单类型(simple type)，最基本的数据类型，有number、real、 Integer、string、boolean、logical和binary。 (2)聚合类型(aggregate type)，是数据元素的有序与无序、互异 与否的组合，有 array、1ist、bag、set四种。 (3)实体类型(entity，type)、该类型被说明成实体。
(4)自定义类型(defined type)，通过类型说明(Type declaration） 定义的数据类型。实体类型和自定义类别又合称命名类型(named type)。 (5)枚举类型(enumeration type)，用名字表示的一组有序值。 (6)选择类型(selected type)，用名字表示的其它数据类型的集合。 用它命名的属性或变量允许是此集合中的任意类型。 实体的规则包括局部规则和全局规则。 局部规则是在实体的说明中描述的，仅限于所处的实体，表达了实 休实例的合法性要求．有两种：一是唯一性规则：该实体的某个属 性值不能相同的要求。二是值域规则：对实体的某些属性的值域要 求。 全局规则在整个模式中有效．定义了模式内一个或多个实体类型上 的约束