STEP标准描述⽅法-EXPRESS语⾔
据模型正式定义数据对象和数据之间的关系，对象为感兴趣的领域。数据模型的⼀些典型应⽤包括⽀持数据库的开发和实现数据在感兴趣的特定领域的交流。数据模型在数据建模语⾔来指定。 EXPRESS是在ISO 10303-11的EXPRESS语⾔参考⼿册定义的数据建模语⾔。
⼀个Express数据模型可以通过两种⽅式来定义，以⽂字和图形。格式验证和输⼊如SDAI⼯具中的ASCII⽂件的⽂字表述是最重要的之⼀。在另⼀⽅⾯的图形表⽰通常更适合⼈类使⽤，如⽤于解释和教学。图形表⽰，所谓的EXPRESS- G，是不是能够代表可在⽂本格式中描述的所有细节。
EXPRESS是⾮常类似与编程语⾔，如。在⼀个SCHEMA中，各种数据类型可以与结构性约束和算法规则来定义。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）
体属性允许“属性”添加到实体和关系⼀个实体与另⼀个在⼀个特定的⾓⾊。该属性的名称指定的⾓⾊。⼤多数的数据类型可以直接作为⼀个属性的类型。这包括聚集为好。
有三种不同类型的属性，显式的，衍⽣的和逆属性。⽽所有这些都可以被重新宣布⼀个亚⼦类型。除了明确的属性可以被重新声明为导出的⼀个⼦类型。那种属性没有其他的变化是可能的。
显式的属性是那些在STEP - ⽂件可见的直接价值。
派⽣属性从表达式获取它们的值。在⼤多数情况下，表达式引⽤此实例的其他属性。表达式也可以使⽤明⽰的功能。
逆属性做“信息”不能增加⼀个实体，但只有名字和约束从另⼀端的明确属性的实体。在EXPRESS -G符号的特定属性的符号
Supertypes and subtypes）
⼀个实体可以被定义为⼀种类型或其他⼏个实体（多重继承是允许的！ ） 。超类型可以有任意多个⼦类型。在步骤建⽴⾮常复杂的⼦超类型的图表⾮常普遍的做法。⼀些图涉及100多实体类型。
实体实例可以被构造为⼀个单⼀实体（如果不是抽象）或实体以这样的⼦⽗图形的复杂组合。对于⼤图的可能组合数很可能在天⽂范围内增长。要限制特殊的超类型的限制得到了介绍，如oneOf的和TOTALOVER可能的组合。另外⼀个实体可以被声明为抽象的执⾏，没有实例可眼前这个实体的构造，但只有当它包含⾮抽象的⼦类型。
1.
1.
1. A lgorithmic constraints）
实体和⾃定义数据类型可能会进⼀步限制与WHERE规则。在这种规则也是全球规则的⼀部分。 A其中的规则是⼀个表达式，其结果必须为TRUE ，否则⼀个Express架构的⼈⼝，是⽆效的。等得到的属性这些表达可以调⽤明⽰的功能，这可能会进⼀步明确调⽤程序。该函数和过程允许制定与局部变量，参数和常量复杂的语句 - ⾮常类似于⼀种编程语⾔。
该EXPRESS语⾔可以形容本地和全球规则。例如：
linux开发培训ENTITY area_unit
SUBTYPE OF (named_unit);
WHERE
WR1: (SELF\named_unit.dimensions.length_exponent = 2) AND
(SELF\named_unit.dimensions.mass_exponent = 0) AND
(SELF\named_unit.dimensions.time_exponent = 0) AND
(SELF\named_unit.dimensions.electric_current_exponent = 0) AND
(SELF\named_unit.dimensions.
thermodynamic_temperature_exponent = 0) AND
(SELF\named_unit.dimensions.amount_of_substance_exponent = 0) AND
(SELF\named_unit.dimensions.luminous_intensity_exponent = 0);奥特曼英文
END_ENTITY; -- area_unit
这个例⼦描述了⾯积单位实体必须有长度的平⽅值。对于这个属性dimensions.length_exponent必须等于2和基本SI单位的所有其他指数必须为0。
另⼀个例⼦：
TYPE day_in_week_number = INTEGER;
WHERE
WR1: (1 <= SELF) AND (SELF <= 7);
END_TYPE; -- day_in_week_number
也就是说，它表⽰星期的值不能超过7 。
所以，你可以描述⼀些规则，以您的实体。在给定的例⼦，更多细节可在ISO 10303-41被发现.
1.
1.
1. 概述
EXPRESS -G是⼀种信息模型标准的图形符号。⼀个有⽤的伴侣的EXPRESS语⾔来显⽰实体和类型定义，关系和基数。 这种图形表⽰法⽀持EXPRESS语⾔的⼀个⼦集。对使⽤EXPRESS -G超过明⽰的优点是数据模型的结构可以更容易理解的⽅式呈现。的EXPRESS-G的⼀个缺点是复杂的约束不能被正式指定。
学生厌学深圳留学中介1.
1.
1. 定义人际沟通与交流
1. EXPRESS –Schema 架构
EXPRESS-Schema 定义如下图所⽰：
定义完成后⽂件被保存为“.exp”。
1.
1.
1. 类型(basic)定义（type declaration）
简单（内嵌）内型定义：
数据类型有：
1. BINARY, BOOLEAN, INTEGER, LOGICAL, NUMBER, REAL, STRING
2. EXPRESS-G图例如下：
定义⽰例如下：
TYPE distance = REAL;
END_TYPE;
集合类型（Collection types）：
mars的意思
数据类型有：
1. Array (fixed size, position relevant)
2. Bag (variable size, position not relevant)
3. Set (like bag but without duplicates)
4. List (variable size, position relevant)
定义实例如下：
希拉里简介
TYPE positive_integer = INTEGER;
WHERE NotNegative : SELF >= 0;
END_TYPE;
枚举类型（Enumeration type）：
定义实例如下：
TYPE trafficLightColor = ENUMERATION OF (Red, Amber, Green);
END_TYPE;
选择类型（Select type）：
定义⽰例如下：
TYPE vehicle = SELECT( car, boat, plane );
END_TYPE;
1.
1.
1. 实体定义（entity declarations）
实体定义实例：
点
ENTITY point;
x : REAL;
y : REAL;
chrono
END_ENTITY;
线：
ENTITY line;
end1 : point;
end2 : point;
length : distance;
END_ENTITY;
Polyline
ENTITY polyline;bapa
lines : LIST[ 1 : ? ] OF line;
END_ENTITY;
EXPRESS-G实体及其关系定义：
Entities: DERIVE and OPTIONAL（来⾃和可选）：
DERIVE⽰例：
ENTITY line;
start : point;
end : point;
DERIVE
length : distance:=SQRT((d - d)**2
