IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

5.1.3.24 IfcRelAssignsToGroup (关联到组)

RV ⓘ
AbV ⓘ

5.1.3.24.1 语义定义(Semantic definition)

对象化的关系 IfcRelAssignsToGroup 处理对象定义(作为 IfcObject 子类型的单个对象实例,以及作为 IfcTypeObject 子类型的对象类型)到组(IfcGroup 的子类型)的分配。

该关系处理组成员到组对象的分配。它允许在组内对任意对象进行分组,包括其他组。分组关系可以以递归方式应用。结果组的类型为 IfcGroup

继承的特性 RelatedObjects 提供了对对象的引用,这些对象是组内的元素。RelatingGroup 是包含所有元素的组。同一对象或对象类型可以包含在零个、一个或多个组中。分组关系不是分层的。

非正式命题

  1. 组分配关系应为非循环的,即,组不应参与其自身的分组关系。

5.1.3.24.2 实体继承(Entity inheritance)

5.1.3.24.3 特性(Attributes)

# 特性(Attributes) 类型 描述
IfcRoot (4)
1 GlobalId IfcGloballyUniqueId

在整个软件世界中分配全局唯一标识符。

2 OwnerHistory OPTIONAL IfcOwnerHistory

分配有关该对象当前所有权的信息,包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。

3 Name OPTIONAL IfcLabel

供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型,可能需要插入 Name 特性。这将通过 where 规则强制执行。

4 Description OPTIONAL IfcText

可选的描述,用于提供信息性注释。

IfcRelAssigns (2)
5 RelatedObjects SET [1:?] OF IfcObjectDefinition

相关对象,被分配给单个对象。单个(或相关)对象的类型在 IfcRelAssigns 的子类型中定义。

6 RelatedObjectsType OPTIONAL IfcStrippedOptional

分配关系的特定类型。它可以约束适用对象类型,在 RelatedObjects 的角色中使用。

点击显示 6 个隐藏的继承特性 点击隐藏 6 个继承特性
IfcRelAssignsToGroup (1)
7 RelatingGroup IfcGroup

引用包含所有已分配组成员的组。

表 5.1.3.24.A

5.1.3.24.4 形式化命题(Formal propositions)

名称 描述
NoSelfReference

关系指向的实例不应包含在 RelatedObjects 集合中。

SIZEOF(QUERY(Temp <* SELF\IfcRelAssigns.RelatedObjects | RelatingGroup :=: Temp)) = 0
表 5.1.3.24.B

5.1.3.24.5 概念用法(Concept usage)

概念 用法 描述
IfcRoot (2)
Revision Control General

使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。

Software Identity General

IfcRoot 分配全局唯一 ID。此外,它还可以为概念提供名称和描述。

IfcRelationship (2)
Revision Control General

使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。

Software Identity General

IfcRoot 分配全局唯一 ID。此外,它还可以为概念提供名称和描述。

IfcRelAssigns (2)
Revision Control General

使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。

Software Identity General

IfcRoot 分配全局唯一 ID。此外,它还可以为概念提供名称和描述。

点击显示 6 个隐藏的继承概念 点击隐藏 6 个继承概念
IfcRelAssignsToGroup (2)
Revision Control General

使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。

Software Identity General

IfcRoot 分配全局唯一 ID。此外,它还可以为概念提供名称和描述。

表 5.1.3.24.C

5.1.3.24.6 形式化表示(Formal representation)

ENTITY IfcRelAssignsToGroup
 SUPERTYPE OF (ONEOF
	(IfcRelAssignsToGroupByFactor))
 SUBTYPE OF (IfcRelAssigns);
	RelatingGroup : IfcGroup;
 WHERE
	NoSelfReference : SIZEOF(QUERY(Temp <* SELF\IfcRelAssigns.RelatedObjects | RelatingGroup :=: Temp)) = 0;
END_ENTITY;

5.1.3.24.7 参考文献