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.3 形式化表示(Formal representation)
TYPE IfcEventTriggerTypeEnum = ENUMERATION OF
(EVENTCOMPLEX
,EVENTMESSAGE
,EVENTRULE
,EVENTTIME
,USERDEFINED
,NOTDEFINED);
END_TYPE;