IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

5.1.3.23 IfcRelAssignsToControl (指定给控制)

5.1.3.23.1 语义定义(Semantic definition)

对象化的关系 IfcRelAssignsToControl 处理控制(由 IfcControl 的子类型表示)到其他对象(由 IfcObject 的子类型表示,控制除外)的指定。

5.1.3.23.2 实体继承(Entity inheritance)

5.1.3.23.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 个继承特性
IfcRelAssignsToControl (1)
7 RelatingControl IfcControl

引用将控制应用于对象的 IfcControl

表 5.1.3.23.A

5.1.3.23.4 形式化命题(Formal propositions)

名称 描述
NoSelfReference

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

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

5.1.3.23.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 个继承概念
IfcRelAssignsToControl (2)
Revision Control General

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

Software Identity General

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

表 5.1.3.23.C

5.1.3.23.6 形式化表示(Formal representation)

ENTITY IfcRelAssignsToControl
 SUBTYPE OF (IfcRelAssigns);
	RelatingControl : IfcControl;
 WHERE
	NoSelfReference : SIZEOF(QUERY(Temp <* SELF\IfcRelAssigns.RelatedObjects | RelatingControl :=: Temp)) = 0;
END_ENTITY;

5.1.3.23.7 参考文献