IFC 4.3.2.20240423 (IFC4X3_ADD2) under development

5.3.3.4 IfcProcedureType

RV ⓘ
AbV ⓘ

5.3.3.4.1 Semantic definition

An IfcProcedureType provides for all forms of types of procedure that may be specified.

Usage of IfcProcedureType defines the parameters for one or more occurrences of IfcProcedure. Parameters may be specified through property sets that may be enumerated in the IfcProcedureTypeEnum data type or through explicit attributes of IfcProcedure. Procedure occurrences (IfcProcedure entities) are linked to the procedure type through the IfcRelDefinesByType relationship.

5.3.3.4.2 Entity inheritance

5.3.3.4.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:

  • The IFC entity name of the applicable occurrence using the IFC naming convention, CamelCase with "Ifc" prefix
  • It can be optionally followed by the predefined type after the separator "/" (forward slash), using uppercase
  • If one type object is applicable to many occurrence objects, then those occurrence object names should be separate by comma "," forming a comma separated string.
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
IfcProcedureType (1)
10 PredefinedType IfcProcedureTypeEnum

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

Table 5.3.3.4.A

5.3.3.4.4 Formal propositions

Name Description
CorrectPredefinedType

The attribute ProcessType must be asserted when the value of PredefinedType is set to USERDEFINED.

(PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR ((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType))
Table 5.3.3.4.B

5.3.3.4.5 Property sets

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

5.3.3.4.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
Table 5.3.3.4.C

5.3.3.4.7 Formal representation

ENTITY IfcProcedureType
 SUBTYPE OF (IfcTypeProcess);
	PredefinedType : IfcProcedureTypeEnum;
 WHERE
	CorrectPredefinedType : (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR ((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType));
END_ENTITY;

5.3.3.4.8 References

Edit on Github


Is this page difficult to understand? Let us know!

5.3.3.4.9 Changelog

5.3.3.4.9.1 IFC4

  • New resource