5.1.3.41 IfcRelNests（关联关系-嵌套）

5.1.3.41.1 语义定义（Semantic definition）

嵌套关系 IfcRelNests 是通用组合/分解（或整体/部分）关系 IfcRelDecomposes 的一种特殊类型。嵌套关系可以应用于所有对象和对象类型的子类型，例如过程、控制（例如，成本项）和资源。它还可以应用于对齐，嵌套其不同的布局；以及对象和对象类型的物理子类型，例如具有端口的元素。嵌套意味着嵌套部分之间存在顺序。

分解意味着依赖关系，即整体的定义取决于部分的定义，而部分取决于整体的存在。应用程序内部必须建立由依赖关系引起的行为。

5.1.3.41.2 实体继承（Entity inheritance）

- IfcRoot

5.1.3.41.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 个继承特性
IfcRelNests (2)
5	RelatingObject	IfcObjectDefinition	表示嵌套的对象定义，可以是对象类型或对象实例。它是整体/部分关系中的整体。 IFC4 变更该属性已从超类型 IfcRelDecomposes 中降级，用于定义有序嵌套关系。
6	RelatedObjects	LIST [1:?] OF IfcObjectDefinition	被嵌套的对象定义，可以是对象类型或对象实例。它们被定义为有序整体/部分关系中的部分——即，部分之间存在隐含的顺序，该顺序由 RelatedObjects 列表中的位置表示。 IFC4 变更该属性已从超类型 IfcRelDecomposes 中降级，用于定义嵌套中有序的零件集合。

表 5.1.3.41.A

5.1.3.41.4 形式化命题（Formal propositions）

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

表 5.1.3.41.B

5.1.3.41.5 概念用法（Concept usage）

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

表 5.1.3.41.C

5.1.3.41.6 形式化表示（Formal representation）

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