7.3.3.5 IfcConstructionProductResource（施工产品资源）

RV ⓘ

AbV ⓘ

7.3.3.5.1 语义定义（Semantic definition）

IfcConstructionProductResource 定义了在施工过程中被消耗（全部或部分）或占用的产品角色。

IfcConstructionProductResource 的实例是用于协助施工过程的产品使用。更具体地说，它们是某些施工过程产生并随后用作进一步施工资源的产品使用。例如，模板可以作为“建造模板”过程的产品进行实例化。然而，它们在项目后期被用作“浇筑混凝土”过程的资源。

7.3.3.5.2 实体继承（Entity inheritance）

7.3.3.5.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
3	Name	OPTIONAL IfcLabel	供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。
4	Description	OPTIONAL IfcText	可选的描述，用于提供信息性注释。
IfcObjectDefinition (7)
	HasAssignments	SET [0:?] OF IfcRelAssigns FOR RelatedObjects	引用分配（通过关联关系）其他 IfcObject 子类型到此对象实例的关系对象。例如，与产品、过程、控制、资源或组的关联。
	Nests	SET [0:1] OF IfcRelNests FOR RelatedObjects	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的一部分。对象实例或类型只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 Decomposes 分离。
	IsNestedBy	SET [0:?] OF IfcRelNests FOR RelatingObject	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的整体。对象或对象类型可以被多个其他对象（实例或类型）嵌套。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 IsDecomposedBy 分离。
	HasContext	SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions	引用提供上下文信息的上下文，例如项目单位或表示上下文。它只应断言在最上层的非空间对象上。 IFC4 变更新增反向属性数据类型。
	IsDecomposedBy	SET [0:?] OF IfcRelAggregates FOR RelatingObject	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的整体。对象定义可以被多个其他对象（实例或部分）聚合。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	Decomposes	SET [0:1] OF IfcRelAggregates FOR RelatedObjects	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的一部分。对象定义只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	HasAssociations	SET [0:?] OF IfcRelAssociates FOR RelatedObjects	引用将外部资源或资源定义与对象关联的关系对象。例如，与库、文档或分类的关联。
IfcObject (5)
5	ObjectType	OPTIONAL IfcLabel	该类型表示指示对象的特定类型。必须在可实例化的子类型的级别上建立用法。特别是，如果特性 PredefinedType 的枚举设置为 USERDEFINED，或者当实例化的具体实体没有 PredefinedType 特性时，它保存用户定义的类型。后者发生在一些特殊的叶子类中，以及直接实例化 IfcBuiltElement 时。
	IsDeclaredBy	SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects	链接到指向声明对象的关系对象，该声明对象为此对象实例提供对象定义。声明对象必须是对象类型分解的一部分。关联的 IfcObject 或其子类型包含特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反映实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	Declares	SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject	链接到指向接收对象定义的反向对象的关系对象。反向对象必须是对象实例分解的一部分。关联的 IfcObject 或其子类型提供特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反向实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	IsTypedBy	SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects	与对象类型的关系集合，该对象类型为此对象实例提供类型定义。然后，关联的 IfcTypeObject 或其子类型包含特定信息（或类型或样式），该信息对于引用同一类型的所有 IfcObject 或其子类型的实例是通用的。 IFC4 变更新增逆向关系，与 IfcRelDefinesByType 的链接先前包含在逆向关系 IfcRelDefines 中。此变更保持基于文件交换的向上兼容性。
	IsDefinedBy	SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects	与附加到此对象的属性集定义的集合的关系。这些静态或动态定义的特性包含字母数字信息内容，这些内容进一步定义了对象。 IFC4 变更数据类型已从 IfcRelDefines 更改为 IfcRelDefinesByProperties，保持基于文件交换的向上兼容性。
IfcResource (3)
6	Identification	OPTIONAL IfcIdentifier	在实例级别为资源指定的标识符。 IFC4变更属性从子类型_IfcConstructionResource_提升而来。
7	LongDescription	OPTIONAL IfcText	资源的详细描述（例如，劳动力资源的技能组合）。 IFC4变更属性_LongDescription_已添加，取代了子类型_IfcConstructionResource_中的_ResourceGroup_属性。
	ResourceOf	SET [0:?] OF IfcRelAssignsToResource FOR RelatingResource	指向其他对象（例如产品、流程、控制、资源或参与者）的关系集，这些对象将此资源对象作为资源。
IfcConstructionResource (3)
8	Usage	OPTIONAL IfcResourceTime	指示计划和已完成的工作、使用情况和时间。此对象上的某些属性可能有关联的约束或时间序列；有关具体用法，请参阅_IfcResourceTime_的文档。如果资源已嵌套，则某些值可能基于组件资源计算，如_IfcResourceTime_所述。 IFC4 变更新增属性。
9	BaseCosts	OPTIONAL LIST [1:?] OF IfcAppliedValue	指示应计算其累计金额的单位成本。此类单位成本可分为_Name_指定（例如，“标准”、“加班”），并可包含适用于不同日期的成本值层次结构（使用_IfcCostValue.ApplicableDate_和_IfcCostValue.FixedUntilDate_）。 IFC4 变更新增属性。
10	BaseQuantity	OPTIONAL IfcPhysicalQuantity	标识相对于分配所消耗的资源的基础数量。对于船员、劳动力、分包和设备资源，这指向_IfcQuantityTime_。对于材料资源，这指向任何有效的尺寸数量，例如IfcQuantityVolume、IfcQuantityArea、IfcQuantityLength或IfcQuantityWeight。对于产品资源，这指向_IfcQuantityCount_。 IFC4 变更新增属性。
点击显示 22 个隐藏的继承特性点击隐藏 22 个继承特性
IfcConstructionProductResource (1)
11	PredefinedType	OPTIONAL IfcConstructionProductResourceTypeEnum	定义施工产品资源的类型。 IFC4 新增属性。

表 7.3.3.5.B

7.3.3.5.4 形式化命题（Formal propositions）

名称描述

CorrectPredefinedType

名称	描述
CorrectPredefinedType	无可用描述
`NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcConstructionProductResourceTypeEnum.USERDEFINED) OR ((PredefinedType = IfcConstructionProductResourceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))`

无可用描述

NOT(EXISTS(PredefinedType)) OR 
 (PredefinedType <> IfcConstructionProductResourceTypeEnum.USERDEFINED) OR 
 ((PredefinedType = IfcConstructionProductResourceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))

表 7.3.3.5.C

7.3.3.5.5 属性集

Pset_ConstructionResource
- ScheduleWorkProgression
- ActualWorkTime
- RemainingWorkProgression
- ScheduleCost
- ActualCost
- RemainingCost
- ScheduleCompletion
- ActualCompletion

7.5.3.45.6 概念用法（Concept usage）

Composition Use Definition — 图181 — 施工资源组成使用

7.5.3.45.7 形式化表示（Formal representation）

ENTITY IfcConstructionProductResource
 SUBTYPE OF (IfcConstructionResource);
	PredefinedType : OPTIONAL IfcConstructionProductResourceTypeEnum;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR 
 (PredefinedType <> IfcConstructionProductResourceTypeEnum.USERDEFINED) OR 
 ((PredefinedType = IfcConstructionProductResourceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
END_ENTITY;

7.5.3.45.8 参考文献

IfcConstructionResource