5.3.2.1 IfcEventTriggerTypeEnum（事件触发器类型枚举）

5.3.2.1.1 语义定义

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

沿革 IFC4 新增类型

5.3.2.1.2 类型值

类型	描述
EVENTCOMPLEX（复合事件）	一个事件触发器，它是事物的复杂组合。
EVENTMESSAGE（消息事件）	一个事件触发器，它是一个消息或一组信息。
EVENTRULE（规则事件）	一个事件触发器，它是一个规则或约束。
EVENTTIME（时间事件）	一个事件触发器，它是在某个时间点或时间段之后，或在某个时间点或时间段内发生。
USERDEFINED（用户定义）	用户定义。
NOTDEFINED（未定义）	未定义。

5.3.2.1.3 形式化表示

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

5.3.2.1.4 参考

• IfcEvent
• IfcEventType