5.3.3.2 IfcEventType
5.3.3.2.1 Semantic definition
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.
5.3.3.2.2 Entity inheritance
5.3.3.2.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcRoot (4) | |||
1 | GlobalId | IfcGloballyUniqueId |
Assignment of a globally unique identifier within the entire software world. |
2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
Assignment of the information about the current ownership of that object, including owning actor, application, local identification and information captured about the recent changes of the object, |
3 | Name | OPTIONAL IfcLabel |
Optional name for use by the participating software systems or users. For some subtypes of IfcRoot the insertion of the Name attribute may be required. This would be enforced by a where rule. |
4 | Description | OPTIONAL IfcText |
Optional description, provided for exchanging informative comments. |
IfcObjectDefinition (7) | |||
HasAssignments | SET [0:?] OF IfcRelAssigns FOR RelatedObjects |
Reference to the relationship objects, that assign (by an association relationship) other subtypes of IfcObject to this object instance. Examples are the association to products, processes, controls, resources or groups. |
|
Nests | SET [0:1] OF IfcRelNests FOR RelatedObjects |
References to the decomposition relationship being a nesting. It determines that this object definition is a part within an ordered whole/part decomposition relationship. An object occurrence or type can only be part of a single decomposition (to allow hierarchical structures only). |
|
IsNestedBy | SET [0:?] OF IfcRelNests FOR RelatingObject |
References to the decomposition relationship being a nesting. It determines that this object definition is the whole within an ordered whole/part decomposition relationship. An object or object type can be nested by several other objects (occurrences or types). |
|
HasContext | SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions |
References to the context providing context information such as project unit or representation context. It should only be asserted for the uppermost non-spatial object. |
|
IsDecomposedBy | SET [0:?] OF IfcRelAggregates FOR RelatingObject |
References to the decomposition relationship being an aggregation. It determines that this object definition is whole within an unordered whole/part decomposition relationship. An object definition can be aggregated by several other objects (occurrences or parts). |
|
Decomposes | SET [0:1] OF IfcRelAggregates FOR RelatedObjects |
References to the decomposition relationship being an aggregation. It determines that this object definition is a part within an unordered whole/part decomposition relationship. An object definition can only be part of a single decomposition (to allow hierarchical structures only). |
|
HasAssociations | SET [0:?] OF IfcRelAssociates FOR RelatedObjects |
Reference to the relationship objects, that associates external references or other resource definitions to the object. Examples are the association to library, documentation or classification. |
|
IfcTypeObject (3) | |||
5 | ApplicableOccurrence | OPTIONAL IfcIdentifier |
The attribute optionally defines the data type of the occurrence object, to which the assigned type object can relate. If not present, no instruction is given to which occurrence object the type object is applicable. The following conventions are used:
|
6 | HasPropertySets | OPTIONAL SET [1:?] OF IfcPropertySetDefinition |
Set of unique property sets, that are associated with the object type and are common to all object occurrences referring to this object type. |
Types | SET [0:1] OF IfcRelDefinesByType FOR RelatingType |
Reference to the relationship IfcRelDefinesByType and thus to those occurrence objects, which are defined by this type. |
|
IfcTypeProcess (4) | |||
7 | Identification | OPTIONAL IfcIdentifier |
An identifying designation given to a process type. |
8 | LongDescription | OPTIONAL IfcText |
A long description, or text, describing the activity in detail. |
9 | ProcessType | OPTIONAL IfcLabel |
The type denotes a particular type that indicates the process further. The use has to be established at the level of instantiable subtypes. In particular it holds the user defined type, if the enumeration of the attribute PredefinedType is set to USERDEFINED. |
OperatesOn | SET [0:?] OF IfcRelAssignsToProcess FOR RelatingProcess |
Set of relationships to other objects, e.g. products, processes, controls, resources or actors that are operated on by the process type. |
|
Click to show 18 hidden inherited attributes Click to hide 18 inherited attributes | |||
IfcEventType (3) | |||
10 | PredefinedType | IfcEventTypeEnum |
Identifies the predefined types of an event from which the type required may be set. |
11 | EventTriggerType | IfcEventTriggerTypeEnum |
Identifies the predefined types of event trigger from which the type required may be set. |
12 | UserDefinedEventTriggerType | OPTIONAL IfcLabel |
A user defined event trigger type, the value of which is asserted when the value of an event trigger type is declared as USERDEFINED. |
5.3.3.2.4 Formal propositions
Name | Description |
---|---|
CorrectEventTriggerType |
The attribute UserDefinedEventTriggerType must be asserted when the value of EventTriggerType is set to USERDEFINED. |
|
|
CorrectPredefinedType |
The attribute ProcessType must be asserted when the value of PredefinedType is set to USERDEFINED. |
|
5.3.3.2.5 Property sets
-
Pset_Risk
- RiskName
- RiskType
- NatureOfRisk
- RiskAssessmentMethodology
- UnmitigatedRiskLikelihood
- UnmitigatedRiskConsequence
- UnmitigatedRiskSignificance
- MitigationPlanned
- MitigatedRiskLikelihood
- MitigatedRiskConsequence
- MitigatedRiskSignificance
- MitigationProposed
- AssociatedProduct
- AssociatedActivity
- AssociatedLocation
5.3.3.2.6 Concept usage
Concept | Usage | Description | |
---|---|---|---|
IfcRoot (2) | |||
Revision Control | General |
Ownership, history, and merge state is captured using IfcOwnerHistory. |
|
Software Identity | General |
IfcRoot assigns the globally unique ID. In addition it may provide for a name and a description about the concept. |
|
IfcObjectDefinition (9) | |||
Classification Association | General |
Any object occurrence or object type can have a reference to a specific classification reference, i.e. to a particular facet within a classification system. |
|
Aggregation | General |
No description available. |
|
Approval Association | General |
No description available. |
|
Constraint Association | General |
No description available. |
|
Document Association | General |
No description available. |
|
Library Association | General |
No description available. |
|
Material Association | General |
No description available. |
|
Material Single | General |
No description available. |
|
Nesting | General |
No description available. |
|
IfcTypeObject (2) | |||
Object Type Predefined Type | General |
No description available. |
|
Property Sets for Types | General |
No description available. |
|
IfcTypeProcess (2) | |||
Process Type Assignment | General |
No description available. |
|
Property Sets for Objects | General |
This concept can be applied to the following resources: |
|
Click to show 15 hidden inherited concepts Click to hide 15 inherited concepts |
5.3.3.2.7 Formal representation
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;