5.1.3.20 IfcRelAggregates (聚合关系)

5.1.3.20.1 语义定义（Semantic definition）

聚合关系 IfcRelAggregates 是一种特殊的通用组合/分解（或整体/部分）关系 IfcRelDecomposes。聚合关系可以应用于 IfcObjectDefinition 的所有子类型。

在将物理构件聚合为物理集合体的情况下，整体的形状表达（在相同的表达标识符内）可以取自各部分的形状表达的总和。

分解意味着一种依赖关系，意味着整体依赖于部分的定义，而部分依赖于整体的存在。依赖关系所隐含的行为必须在应用程序内部建立。

5.1.3.20.2 实体继承（Entity inheritance）

- IfcRoot

5.1.3.20.3 特性（Attributes）

#	特性（Attributes）	类型（Type）	描述（Description）
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
3	Name	OPTIONAL IfcLabel	供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。
4	Description	OPTIONAL IfcText	可选的描述，用于提供信息性注释。
点击显示 4 个隐藏的继承特性点击隐藏 4 个继承特性
IfcRelAggregates (2)
5	RelatingObject	IfcObjectDefinition	对象定义，可以是对象类型或对象实例，表示聚合。它是整体/部分关系中的整体。 IFC4 变更该属性已从超类型 IfcRelDecomposes 中降级，并定义了非有序聚合关系。
6	RelatedObjects	SET [1:?] OF IfcObjectDefinition	正在聚合的对象定义，可以是对象实例或对象类型。它们被定义为整体/部分关系中的部分。各部分之间没有隐含的顺序。 IFC4 变更该属性已从超类型 IfcRelDecomposes 中降级，并定义了聚合中的非有序部件集合。

表 5.1.3.20.A

5.1.3.20.4 形式化命题（Formal propositions）

名称（Name）	描述（Description）
NoSelfReference	RelatingObject 提供的关系指向的实例不得包含在 RelatedObjects 集合中。
`SIZEOF(QUERY(Temp <* RelatedObjects \| RelatingObject :=: Temp)) = 0`

表 5.1.3.20.B

5.1.3.20.5 概念用法（Concept usage）

概念（Concept）	用法（Usage）	描述（Description）
IfcRoot (2)
Revision Control	General	使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity	General	IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
点击显示 2 个隐藏的继承概念点击隐藏 2 个继承概念

表 5.1.3.20.C

5.1.3.20.6 形式化表示（Formal representation）

ENTITY IfcRelAggregates
 SUBTYPE OF (IfcRelDecomposes);
	RelatingObject : IfcObjectDefinition;
	RelatedObjects : SET [1:?] OF IfcObjectDefinition;
 WHERE
	NoSelfReference : SIZEOF(QUERY(Temp <* RelatedObjects | RelatingObject :=: Temp)) = 0;
END_ENTITY;