8.16.3.1 IfcComplexProperty（复杂属性）

8.16.3.1.1 语义定义（Semantic definition）

IfcComplexProperty 用于定义在属性集中完全处理的复杂属性。所包含的属性集合可以是 IfcProperty 子类型的混合或统一集合。这使得可以将一组属性定义为 IfcPropertySet 中的单个"属性"条目。此类 IfcComplexProperty 的定义可在多个不同的 IfcPropertySet 中重复使用。

8.16.3.1.2 实体继承（Entity inheritance）

8.16.3.1.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcPropertyAbstraction (1)
	HasExternalReferences	SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects	引用与属性定义相关联的外部引用，例如库、分类或文档信息。 IFC4 变更新增逆向属性。
IfcProperty (8)
1	Name	IfcIdentifier	此属性的名称。该标签是定义属性语义含义的重要名称字符串。
2	Specification	OPTIONAL IfcText	指向具有语义定义或解释性文本位置的URI引用，用于说明该属性。
	PartOfPset	SET [0:?] OF IfcPropertySet FOR HasProperties	通过该属性被引用的_IfcPropertySet_的引用。 IFC4 变更新增反向属性，用于从_IfcProperty_导航至_IfcPropertySet_，同时保持基于文件交换的向上兼容性。
	PropertyForDependance	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty	其他属性的值所依赖的属性。
	PropertyDependsOn	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty	该属性的值所依赖的相关属性。
	PartOfComplex	SET [0:?] OF IfcComplexProperty FOR HasProperties	包含该_IfcProperty_的_IfcComplexProperty_的引用。 IFC4 变更基数已更改为0..n，允许在多个_IfcComplexProperty_中重用_IfcProperty_实例，同时保持基于文件交换的向上兼容性。
	HasConstraints	SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects	用户定义的属性约束。
	HasApprovals	SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects	用户定义的属性审批。
点击显示 9 个隐藏的继承特性点击隐藏 9 个继承特性
IfcComplexProperty (2)
3	UsageName	IfcIdentifier	在引用 IfcComplexProperty 的属性集中，IfcComplexProperty 的使用描述。注释考虑用于玻璃幕墙属性的复杂属性。IfcComplexProperty 的 Name 属性可以是 Pset_GlazingProperties，UsageName 属性可以是 OuterGlazingPane。
4	HasProperties	SET [1:?] OF IfcProperty	可在此复杂属性中使用的属性集合（可能包含其他复杂属性）。

表 8.16.3.1.A

8.16.3.1.4 形式化命题（Formal propositions）

名称	描述
WR21	IfcComplexProperty 不应在 HasProperties 列表中引用自身。
`SIZEOF(QUERY(temp <* HasProperties \| SELF :=: temp)) = 0`
WR22	复杂属性中的每个属性都应具有唯一的名称属性。
`IfcUniquePropertyName(HasProperties)`

表 8.16.3.1.B

8.16.3.1.5 形式化表示（Formal representation）

ENTITY IfcComplexProperty
 SUBTYPE OF (IfcProperty);
	UsageName : IfcIdentifier;
	HasProperties : SET [1:?] OF IfcProperty;
 WHERE
	WR21 : SIZEOF(QUERY(temp <* HasProperties | SELF :=: temp)) = 0;
	WR22 : IfcUniquePropertyName(HasProperties);
END_ENTITY;

8.16.3.1.6 参考文献

IfcProperty