IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

5.3.3.4 IfcProcedureType

RV ⓘ
AbV ⓘ

5.3.3.4.1 Semantic definition

HISTORY New entity in IFC4

An IfcProcedureType provides for all forms of types of procedure that may be specified.

Usage of IfcProcedureType defines the parameters for one or more occurrences of IfcProcedure. Parameters may be specified through property sets that may be enumerated in the IfcProcedureTypeEnum data type or through explicit attributes of IfcProcedure. Procedure occurrences (IfcProcedure entities) are linked to the procedure type through the IfcRelDefinesByType relationship.

5.3.3.4.2 Entity inheritance

5.3.3.4.3 Attributes

# Attribute Type Description
IfcRoot (4)
IfcObjectDefinition (7)
IfcTypeObject (3)
IfcTypeProcess (4)
Click to show 18 hidden inherited attributes
IfcProcedureType (1)
10 PredefinedType IfcProcedureTypeEnum

Identifies the predefined types of a procedure from which the type required may be set.

Table 5.3.3.4.A

5.3.3.4.4 Formal propositions

Name Description
CorrectPredefinedType

The attribute ProcessType must be asserted when the value of PredefinedType is set to USERDEFINED.

(PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR ((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType))
Table 5.3.3.4.B

5.3.3.4.5 Property sets

  • Pset_Risk
    • RiskName
    • RiskType
    • NatureOfRisk
    • RiskAssessmentMethodology
    • UnmitigatedRiskLikelihood
    • UnmitigatedRiskConsequence
    • UnmitigatedRiskSignificance
    • MitigationPlanned
    • MitigatedRiskLikelihood
    • MitigatedRiskConsequence
    • MitigatedRiskSignificance
    • MitigationProposed
    • AssociatedProduct
    • AssociatedActivity
    • AssociatedLocation

5.3.3.4.6 Concept usage

Concept Usage Description
IfcRoot (2)
IfcObjectDefinition (9)
IfcTypeObject (2)
IfcTypeProcess (2)
Click to show 15 hidden inherited concepts
Table 5.3.3.4.C

5.3.3.4.7 Formal representation

ENTITY IfcProcedureType
SUBTYPE OF (IfcTypeProcess);
PredefinedType : IfcProcedureTypeEnum;
WHERE
CorrectPredefinedType : (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR ((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType));
END_ENTITY;

5.3.3.4.8 References

Edit on Github


Is this page difficult to understand? Let us know!

5.3.3.4.9 Changelog

5.3.3.4.9.1 IFC4

  • New resource