IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

5.3.2.1 IfcEventTriggerTypeEnum(事件触发器类型枚举)

5.3.2.1.1 语义定义(Semantic definition)

IfcEventTriggerTypeEnum 定义了可指定的各种事件触发器类型。事件触发器类型的定义采纳自业务流程建模符号(BPMN),该符号也用于信息交付手册(IDM)中定义业务流程。有关事件触发器类型使用的更详细信息可以在这些规范中找到。

5.3.2.1.2 类型值

类型 描述
EVENTCOMPLEX

一个事件触发器,它是事物的复杂组合。

EVENTMESSAGE

一个事件触发器,它是一个消息或一组信息。

EVENTRULE

一个事件触发器,它是一个规则或约束。

EVENTTIME

一个事件触发器,它是在某个时间点或时间段之后,或在某个时间点或时间段内发生。

USERDEFINED

用户定义。

NOTDEFINED

未定义。

表 5.3.2.1.A

5.3.2.1.3 形式化表示(Formal representation)

TYPE IfcEventTriggerTypeEnum = ENUMERATION OF
	(EVENTCOMPLEX
	,EVENTMESSAGE
	,EVENTRULE
	,EVENTTIME
	,USERDEFINED
	,NOTDEFINED);
END_TYPE;

5.3.2.1.4 参考文献