IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

5.3.3.2 IfcEventType

RV ⓘ
AbV ⓘ

5.3.3.2.1 Semantic definition

HISTORY New entity in IFC4

An IfcEventType provides for all forms of types of event that may be specified.

Usage of IfcEventType defines the parameters for one or more occurrences of IfcEvent. Parameters may be specified through property sets that may be enumerated in the IfcEventTypeEnum data type or through explicit attributes of IfcEvent. Event occurrences (IfcEvent entities) are linked to the event type through the IfcRelDefinesByType relationship.

5.3.3.2.2 Entity inheritance

5.3.3.2.3 Attributes

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

Identifies the predefined types of an event from which the type required may be set.

11 EventTriggerType IfcEventTriggerTypeEnum

Identifies the predefined types of event trigger from which the type required may be set.

12 UserDefinedEventTriggerType OPTIONAL IfcLabel

A user defined event trigger type, the value of which is asserted when the value of an event trigger type is declared as USERDEFINED.

Table 5.3.3.2.A

5.3.3.2.4 Formal propositions

Name Description
CorrectEventTriggerType

The attribute UserDefinedEventTriggerType must be asserted when the value of EventTriggerType is set to USERDEFINED.

(EventTriggerType <> IfcEventTriggerTypeEnum.USERDEFINED) OR ((EventTriggerType = IfcEventTriggerTypeEnum.USERDEFINED) AND EXISTS(UserDefinedEventTriggerType)) 
CorrectPredefinedType

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

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

5.3.3.2.5 Property sets

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

5.3.3.2.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.2.C

5.3.3.2.7 Formal representation

ENTITY IfcEventType
SUBTYPE OF (IfcTypeProcess);
PredefinedType : IfcEventTypeEnum;
EventTriggerType : IfcEventTriggerTypeEnum;
UserDefinedEventTriggerType : OPTIONAL IfcLabel;
WHERE
CorrectEventTriggerType : (EventTriggerType <> IfcEventTriggerTypeEnum.USERDEFINED) OR ((EventTriggerType = IfcEventTriggerTypeEnum.USERDEFINED) AND EXISTS(UserDefinedEventTriggerType)) ;
CorrectPredefinedType : (PredefinedType <> IfcEventTypeEnum.USERDEFINED) OR ((PredefinedType = IfcEventTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType));
END_ENTITY;

5.3.3.2.8 References

Edit on Github


Is this page difficult to understand? Let us know!

5.3.3.2.9 Changelog

5.3.3.2.9.1 IFC4

  • New resource