IFC 4.3.2.20240904 (IFC4X3_ADD2) under development

5.3.3.3 IfcProcedure

RV ⓘ
AbV ⓘ

5.3.3.3.1 Semantic definition

An IfcProcedure is a logical set of actions to be taken in response to an event or to cause an event to occur.

5.3.3.3.1.1 Use definitions

IfcProcedure is used to capture information about stepped processes such as calibration, start/stop procedures for equipment items, designated actions to take in the event of an emergency etc. A procedure is not a task, but may describe a set of tasks and their order of occurrence in response to or to cause an event.

As shown in Figure 5.3.3.3.1.1.A, IfcProcedure does not restrict anything but describes specific steps of how something should happen. While a procedure does control/restrict in the sense of indicating "this is how the task should be performed" by nature of describing inner detail, this is not different than parts of a product indicating "this is how the parts should be assembled". Consequently, it doesn't restrict the outer item as a whole but provides inner detail of the item.

procedure example
Figure 5.3.3.3.1.1.A — Procedure relationships

5.3.3.3.2 Entity inheritance

5.3.3.3.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.

IfcObject (5)
5 ObjectType OPTIONAL IfcLabel

The type denotes a particular type that indicates the object 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 or when the concrete entity instantiated does not have a PredefinedType attribute. The latter is the case in some exceptional leaf classes and when instantiating IfcBuiltElement directly.

IsDeclaredBy SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects

Link to the relationship object pointing to the declaring object that provides the object definitions for this object occurrence. The declaring object has to be part of an object type decomposition. The associated IfcObject, or its subtypes, contains the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes.

Declares SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject

Link to the relationship object pointing to the reflected object(s) that receives the object definitions. The reflected object has to be part of an object occurrence decomposition. The associated IfcObject, or its subtypes, provides the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes.

IsTypedBy SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects

Set of relationships to the object type that provides the type definitions for this object occurrence. The then associated IfcTypeObject, or its subtypes, contains the specific information (or type, or style), that is common to all instances of IfcObject, or its subtypes, referring to the same type.

IsDefinedBy SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects

Set of relationships to property set definitions attached to this object. Those statically or dynamically defined properties contain alphanumeric information content that further defines the object.

IfcProcess (5)
6 Identification OPTIONAL IfcIdentifier

An identifying designation given to a process or activity. It is the identifier at the occurrence level.

7 LongDescription OPTIONAL IfcText

An extended description or narrative that may be provided.

IsPredecessorTo SET [0:?] OF IfcRelSequence FOR RelatingProcess

Dependency between two activities, it refers to the subsequent activity for which this activity is the predecessor. The link between two activities can include a link type and a lag time.

IsSuccessorFrom SET [0:?] OF IfcRelSequence FOR RelatedProcess

Dependency between two activities, it refers to the previous activity for which this activity is the successor. The link between two activities can include a link type and a lag time.

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.

Click to show 21 hidden inherited attributes Click to hide 21 inherited attributes
IfcProcedure (1)
8 PredefinedType OPTIONAL IfcProcedureTypeEnum

Identifies the predefined types of a procedure from which the type required may be set.

Table 5.3.3.3.1.1.B

5.3.3.3.4 Formal propositions

Name Description
CorrectPredefinedType

Either the PredefinedType attribute is unset, or the inherited attribute ObjectType must be asserted when the value of PredefinedType is set to USERDEFINED.

NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR
((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType))
HasName

The Name attribute should be inserted to describe the task name.

EXISTS(SELF\IfcRoot.Name)
Table 5.3.3.3.1.1.C

5.3.3.3.5 Property sets

  • Pset_Risk
    • RiskName
    • RiskType
    • NatureOfRisk
    • RiskAssessmentMethodology
    • UnmitigatedRiskLikelihood
    • UnmitigatedRiskConsequence
    • UnmitigatedRiskSignificance
    • MitigationPlanned
    • MitigatedRiskLikelihood
    • MitigatedRiskConsequence
    • MitigatedRiskSignificance
    • MitigationProposed
    • AssociatedProduct
    • AssociatedActivity
    • AssociatedLocation

5.3.3.3.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.

IfcObject (5)
Object Predefined Type General

No description available.

Object Typing General

Any object occurrence can be typed by being assigned to a common object type utilizing this concept. A particular rule, restricting the applicable subtypes of IfcTypeObject that can be assigned, is introduced by overriding this concept at the level of subtypes of IfcObject.

This concept can be applied to the following resources:

Object User Identity General

An attribute Name and optionally Description can be used for all subypes of IfcObject. For those subtypes, that have an object type definition, such as IfcBeam - IfcBeamType, the common Name and optionally Description is associated with the object type.

Property Sets with Override General

Any object occurrence can hold property sets, either directly at the object occurrence as element specific property sets, or at the object type, as type property sets. In this case, the properties that are provided to the object occurrence are the combinations of element specific and type properties. In case that the same property (within the same property set) is defined both in occurrence and type properties, the property value of the occurrence property overrides the property value of the type property.

Assignment to Group General

No description available.

IfcProcess (4)
Property Sets for Objects General

This concept can be applied to the following resources:

Object Typing General

This concept can be applied to the following resources:

Process Assignment General

No description available.

Sequential Connectivity General

No description available.

Click to show 20 hidden inherited concepts Click to hide 20 inherited concepts
IfcProcedure (4)
Object Nesting General

The IfcProcedure may be contained within an IfcTask or IfcProcedure using the IfcRelNests relationship. An IfcProcedure may in turn nest other IfcProcedure or IfcEvent entities. Such nesting indicates decomposed level of detail.

This concept can be applied to the following resources:

Object Typing General

IfcProcedure defines the anticipated or actual occurrence of any procedure; common information about procedure types is handled by IfcProcedureType.

This concept can be applied to the following resources:

Process Assignment General
Sequential Connectivity General

The relationship IfcRelSequence is used to indicate control flow. An IfcProcedure as a successor to an IfcEvent indicates that the procedure should be performed in response to the event. An IfcProcedure as a predecessor to an IfcEvent indicates that the event should be trigerred following the procedure. As procedures have arbitrary duration, the IfcRelSequence.SequenceType attribute has no effect on an IfcProcedure but still applies to the opposite end of the relationship if IfcTask is used.

Table 5.3.3.3.1.1.D

5.3.3.3.7 Formal representation

ENTITY IfcProcedure
 SUBTYPE OF (IfcProcess);
	PredefinedType : OPTIONAL IfcProcedureTypeEnum;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR
((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType));
	HasName : EXISTS(SELF\IfcRoot.Name);
END_ENTITY;

5.3.3.3.8 References

Edit on Github


Is this page difficult to understand? Let us know!

5.3.3.3.9 Changelog

5.3.3.3.9.1 IFC4

  • where rule, CorrectPredefinedType
  • where rule, HasName
  • attribute, ProcedureType
  • attribute, UserDefinedProcedureType
  • where rule, WR1
  • where rule, WR2
  • where rule, WR3
  • where rule, WR4
  • attribute ProcedureID name, Changed from "ProcedureID" to "PredefinedType"
  • attribute ProcedureID optional, Changed from "False" to "True"
  • attribute ProcedureID type, Changed from "IfcIdentifier" to "IfcProcedureTypeEnum"