IFC 4.3.0.1 (IFC4X3_TC1)

8.16.3.1 IfcComplexProperty

8.16.3.1.1 Semantic definition

IfcComplexProperty is used to define complex properties to be handled completely within a property set. The included set of properties may be a mixed or consistent collection of IfcProperty subtypes. This enables the definition of a set of properties to be included as a single 'property' entry in an IfcPropertySet. The definition of such an IfcComplexProperty can be reused in many different IfcPropertySet's.

8.16.3.1.2 Entity inheritance

8.16.3.1.3 Attributes

# Attribute Type Description
IfcPropertyAbstraction (1)
HasExternalReferences SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects

Reference to an external reference, e.g. library, classification, or document information, that is associated to the property definition.

IfcProperty (8)
1 Name IfcIdentifier

Name for this property. This label is the significant name string that defines the semantic meaning for the property.

2 Specification OPTIONAL IfcText

URI reference to a location with semantic definition or informative text to explain the property.

PartOfPset SET [0:?] OF IfcPropertySet FOR HasProperties

Reference to the IfcPropertySet by which the IfcProperty is referenced.

PropertyForDependance SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty

The property on whose value that of another property depends.

PropertyDependsOn SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty

The relating property on which the value of the property depends.

PartOfComplex SET [0:?] OF IfcComplexProperty FOR HasProperties

Reference to the IfcComplexProperty in which the IfcProperty is contained.

HasConstraints SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects

User-defined constraints for the property.

HasApprovals SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects

User-defined approvals for the property.

Click to show 9 hidden inherited attributes Click to hide 9 inherited attributes
IfcComplexProperty (2)
3 UsageName IfcIdentifier

Usage description of the IfcComplexProperty within the property set which references the IfcComplexProperty.

4 HasProperties SET [1:?] OF IfcProperty

Set of properties that can be used within this complex property (may include other complex properties).

Table 8.16.3.1.A

8.16.3.1.4 Formal propositions

Name Description
WR21

The IfcComplexProperty should not reference itself within the list of HasProperties.

SIZEOF(QUERY(temp <* HasProperties | SELF :=: temp)) = 0
WR22

Each property within the complex property shall have a unique name attribute.

IfcUniquePropertyName(HasProperties)
Table 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 References