5.3.3.2 IfcEventType（事件类型）

5.3.3.2.1 语义定义

沿革 IFC4 中的新增实体。

IfcEventType 指定所有形式的事件类型。

IfcEventType 的使用定义了一个或多个 IfcEvent 实例的参数。参数可以通过 IfcEventTypeEnum 数据类型中枚举的属性集来指定，或者通过 IfcEvent 的显式特性来指定。事件实例（IfcEvent 实体）通过 IfcRelDefinesByType 关系链接到事件类型。

5.3.3.2.2 实体继承

1. • IfcRoot
2. • IfcObjectDefinition
   • IfcPropertyDefinition
   • IfcRelationship
3. • IfcTypeObject
   • IfcContext
   • IfcObject
4. • IfcTypeProcess
   • IfcTypeProduct
   • IfcTypeResource
5. • IfcEventType
   • IfcProcedureType
   • IfcTaskType

5.3.3.2.3 特性

5.3.3.2.4 形式化命题

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

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

5.3.3.2.5 属性集

• Pset_Risk
  • RiskName（风险名称）
  • RiskType（风险类型）
  • NatureOfRisk（风险性质）
  • RiskAssessmentMethodology（风险评估方法）
  • UnmitigatedRiskLikelihood（未缓解风险可能性）
  • UnmitigatedRiskConsequence（未缓解风险后果）
  • UnmitigatedRiskSignificance（未缓解风险重要性）
  • MitigationPlanned（计划缓解措施）
  • MitigatedRiskLikelihood（缓解风险可能性）
  • MitigatedRiskConsequence（缓解风险后果）
  • MitigatedRiskSignificance（缓解风险显著性）
  • MitigationProposed（缓解措施建议）
  • AssociatedProduct（关联产品）
  • AssociatedActivity（关联活动）
  • AssociatedLocation（关联位置）

5.3.3.2.6 概念用法

5.3.3.2.7 形式化表示

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 参考

• IfcTypeProcess