IfcProcedure是响应事件或导致事件发生的一组逻辑操作。
在IFC2x2中增加的新实体
IFC4将ProcedureType重命名为PredefinedType并设置为可选（向上兼容）。其中规则WR1和WR2已被删除。
使用定义
IfcProcedure用于捕获有关步骤过程的信息，例如校准、设备项目的启动/停止程序、在紧急情况下要采取的指定操作等。程序不是任务，但可以描述一组任务及其发生顺序，以响应或导致事件。
如图所示，IfcProcedure不限制任何内容，但描述了发生某些事情的具体步骤。虽然一个过程确实在通过描述内部细节来指示“这是任务应该如何执行”的意义上进行控制/限制，但这与产品中指示“这是部件应该如何组装”的部分没有区别。因此，它不作为一个整体限制外部项，而是提供项的内部细节。
Attribute definitions
| # | Attribute | Type | Cardinality | Description | C |
|---|---|---|---|---|---|
| 8 | PredefinedType | IfcProcedureTypeEnum | [0:1] | Identifies the predefined types of a procedure from which the type required may be set. | X |
Formal Propositions
| Rule | Description |
|---|---|
| HasName | The Name attribute should be inserted to describe the task name. |
| CorrectPredefinedType | Either the PredefinedType attribute is unset, or the inherited attribute ObjectType must be asserted when the value of PredefinedType is set to USERDEFINED. |
Inherited definitions from supertypes
Entity inheritance
