5.3.3.2 IfcEventType

Type d'évènement
Ereignis - Typ

An IfcEventType defines a particular type of event that may be specified.

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.


XSD Specification:

 <xs:element name="IfcEventType" type="ifc:IfcEventType" substitutionGroup="ifc:IfcTypeProcess" nillable="true"/>
 <xs:complexType name="IfcEventType">
  <xs:complexContent>
   <xs:extension base="ifc:IfcTypeProcess">
    <xs:attribute name="PredefinedType" type="ifc:IfcEventTypeEnum" use="optional"/>
    <xs:attribute name="EventTriggerType" type="ifc:IfcEventTriggerTypeEnum" use="optional"/>
    <xs:attribute name="UserDefinedEventTriggerType" type="ifc:IfcLabel" use="optional"/>
   </xs:extension>
  </xs:complexContent>
 </xs:complexType>

EXPRESS Specification:

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

Link to EXPRESS-G diagram EXPRESS-G diagram

Attribute Definitions:

PredefinedType : Identifies the predefined types of an event from which the type required may be set.
EventTriggerType : Identifies the predefined types of event trigger from which the type required may be set.
UserDefinedEventTriggerType : A user defined event trigger type, the value of which is asserted when the value of an event trigger type is declared as USERDEFINED.

Formal Propositions:

CorrectPredefinedType : The attribute ProcessType must be asserted when the value of PredefinedType is set to USERDEFINED.
CorrectEventTriggerType : The attribute UserDefinedEventTriggerType must be asserted when the value of EventTriggerType is set to USERDEFINED.

Inheritance Graph:

ENTITY IfcEventType
ENTITY IfcRoot
GlobalId : IfcGloballyUniqueId;
OwnerHistory : OPTIONAL IfcOwnerHistory;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
ENTITY IfcObjectDefinition
INVERSE
HasAssignments : SET OF IfcRelAssigns FOR RelatedObjects;
Nests : SET [0:1] OF IfcRelNests FOR RelatedObjects;
IsNestedBy : SET OF IfcRelNests FOR RelatingObject;
HasContext : SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions;
IsDecomposedBy : SET OF IfcRelAggregates FOR RelatingObject;
Decomposes : SET [0:1] OF IfcRelAggregates FOR RelatedObjects;
HasAssociations : SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcTypeObject
ApplicableOccurrence : OPTIONAL IfcIdentifier;
HasPropertySets : OPTIONAL SET [1:?] OF IfcPropertySetDefinition;
INVERSE
Types : SET [0:1] OF IfcRelDefinesByType FOR RelatingType;
ENTITY IfcTypeProcess
Identification : OPTIONAL IfcIdentifier;
LongDescription : OPTIONAL IfcText;
ProcessType : OPTIONAL IfcLabel;
INVERSE
OperatesOn : SET OF IfcRelAssignsToProcess FOR RelatingProcess;
ENTITY IfcEventType
PredefinedType : IfcEventTypeEnum;
EventTriggerType : IfcEventTriggerTypeEnum;
UserDefinedEventTriggerType : OPTIONAL IfcLabel;
END_ENTITY;

Link to this page  Link to this page