IfcProcedure

BACnet MVD

#### IfcProcedure

Natural language names

| Vorgehen
| Procedure
| Procédure

Change log

Item | SPF | XML | Change | Description
--- | --- | --- | --- | ---
IFC2x3 to IFC4
IfcProcedure |  |  |  |
OwnerHistory |  |  | MODIFIED | Instantiation changed to OPTIONAL.
Identification |  | X | MODIFIED | Name changed from ProcedureID to Identification. Instantiation changed to OPTIONAL.
LongDescription | X | X | MODIFIED | Name changed from ProcedureType to LongDescription. Type changed from IfcProcedureTypeEnum to IfcText. Instantiation changed to OPTIONAL.
PredefinedType | X | X | MODIFIED | Name changed from UserDefinedProcedureType to PredefinedType. Type changed from IfcLabel to IfcProcedureTypeEnum.

##### Semantic definitions at the entity

Entity definition

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

> HISTORY New entity in IFC2x2

> IFC4 CHANGE ProcedureType renamed to PredefinedType and made optional (upward compatible). Where rules WR1 and WR2 have been removed.

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 11, 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.

Figure 157 — Procedure relationships

Attribute definitions

# | Attribute | Type | Cardinality | Description | B
--- | --- | --- | --- | --- | ---
8 | PredefinedType | IfcProcedureTypeEnum | ? | 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
Attribute inheritance

# | Attribute | Type | Cardinality | Description | B
--- | --- | --- | --- | --- | ---
IfcRoot
1 | GlobalId | IfcGloballyUniqueId |  | Assignment of a globally unique identifier within the entire software world. | X | X

2

OwnerHistory

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,

> NOTE only the last modification in stored - either as addition, deletion or modification.

> IFC4 CHANGE The attribute has been changed to be OPTIONAL.

X

X

3 | Name | 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. | X | X
4 | Description | IfcText | ? | Optional description, provided for exchanging informative comments. |  | X
IfcObjectDefinition
| HasAssignments | IfcRelAssigns @RelatedObjects | S[0:?] | 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. |  | X

Nests

IfcRelNests
@RelatedObjects

S[0:1]

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 strutures only).

> IFC4 CHANGE The inverse attribute datatype has been added and separated from Decomposes defined at IfcObjectDefinition.

X

IsNestedBy

IfcRelNests
@RelatingObject

S[0:?]

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

> IFC4 CHANGE The inverse attribute datatype has been added and separated from IsDecomposedBy defined at IfcObjectDefinition.

X

X

HasContext

IfcRelDeclares
@RelatedDefinitions

S[0:1]

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.

> IFC4 CHANGE The inverse attribute datatype has been added.

X

IsDecomposedBy

IfcRelAggregates
@RelatingObject

S[0:?]

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 definitions can be aggregated by several other objects (occurrences or parts).

> IFC4 CHANGE The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.

X

X

Decomposes

IfcRelAggregates
@RelatedObjects

S[0:1]

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 definitions can only be part of a single decomposition (to allow hierarchical strutures only).

> IFC4 CHANGE The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.

X

X

| HasAssociations | IfcRelAssociates @RelatedObjects | S[0:?] | 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. | X | X
IfcObject

5

ObjectType

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.

X

IsDeclaredBy

IfcRelDefinesByObject
@RelatedObjects

S[0:1]

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.

> IFC4 CHANGE New inverse relationship, change made with upward compatibility for file based exchange.

X

X

Declares

IfcRelDefinesByObject
@RelatingObject

S[0:?]

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.

> IFC4 CHANGE New inverse relationship, change made with upward compatibility for file based exchange.

X

IsTypedBy

IfcRelDefinesByType
@RelatedObjects

S[0:1]

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.

> IFC4 CHANGE New inverse relationship, the link to IfcRelDefinesByType had previously be included in the inverse relationship IfcRelDefines. Change made with upward compatibility for file based exchange.

X

IsDefinedBy

IfcRelDefinesByProperties
@RelatedObjects

S[0:?]

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.

> IFC4 CHANGE The data type has been changed from IfcRelDefines to IfcRelDefinesByProperties with upward compatibility for file based exchange.

X

IfcProcess

6

Identification

IfcIdentifier

?

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

> IFC4 CHANGE Attribute promoted from subtypes.

X

7

LongDescription

IfcText

?

An extended description or narrative that may be provided.

> IFC4 CHANGE New attribute.

X

| IsPredecessorTo | IfcRelSequence @RelatingProcess | S[0:?] | 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. |  | X
| IsSuccessorFrom | IfcRelSequence @RelatedProcess | S[0:?] | 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. |  | X
| OperatesOn | IfcRelAssignsToProcess @RelatingProcess | S[0:?] | Set of relationships to other objects, e.g. products, processes, controls, resources or actors, that are operated on by the process. |  | X
IfcProcedure
8 | PredefinedType | IfcProcedureTypeEnum | ? | Identifies the predefined types of a procedure from which the type required may be set. |  | X

##### Definitions applying to Design Transfer View

Concept inheritance

# | Concept | Template | Model View
--- | --- | --- | ---
IfcRoot
| Revision Control | Revision Control | Design Transfer View

##### Definitions applying to BACnet View

Instance diagram

#####

Concept usage

Object Predefined Type

The Object Predefined Type concept applies to this entity.

Property Sets for Objects

The Property Sets for Objects concept template applies to this entity as shown in Table 4.

PsetName | Properties
--- | ---

Pset_BACnetNotificationClassObject

Template | PropertyName | Value | Reference
--- | --- | --- | ---
List Value | Priority | IfcLabel |
Enumerated Value | Ack Required | IfcLabel | PEnum_BACnetEventTransitionBits
Enumerated Value | Recipient List | IfcLabel | PEnum_BACnetDestination
Enumerated Value | Recipient List | IfcLabel | PEnum_BACnetDestination
List Value | Priority | IfcLabel |

Table 4 — IfcProcedure Property Sets for Objects

BACnet Procedure Predefined Type

The BACnet Procedure Predefined Type concept applies to this entity.

BACnet-Procedure Assign to Controllor

The BACnet-Procedure Assign to Controllor concept applies to this entity.

Object User Identity

The Object User Identity concept applies to this entity.

mvdXML Specification
`<?xml version="1.0"?>
<ConceptRoot xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" uuid="34c7e3f6-c50f-4cd4-b7b3-9a0bb3026422" name="IfcProcedure" status="sample" applicableRootEntity="IfcProcedure">
<Concepts>
<Concept uuid="80b1cb86-94df-4779-8ffb-9605cceb5b60" name="Object Predefined Type" status="sample" override="false">
<Template ref="25248261-98df-4d0a-9364-5653575ca421" />
<Requirements>
<Requirement applicability="import" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
<Requirement applicability="export" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
</Requirements>
</Concept>
<Concept uuid="4e0aa1fe-fc09-460a-ac98-d5cb648bc032" name="Property Sets for Objects" status="sample" override="false">
<Template ref="f74255a6-0c0e-4f31-84ad-24981db62461" />
<Requirements>
<Requirement applicability="import" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
<Requirement applicability="export" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
</Requirements>
<TemplateRules operator="and">
<TemplateRule Parameters="PsetName[Value]='Pset_BACnetNotificationClassObject'" />
</TemplateRules>
</Concept>
<Concept uuid="b7d6eb55-c9ce-45f9-847c-ccee84a0ff6b" name="BACnet Procedure Predefined Type" status="sample" override="false">
<Template ref="1667d02a-df18-4ffd-9697-10be61ed8afb" />
<Requirements>
<Requirement applicability="import" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
<Requirement applicability="export" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
</Requirements>
</Concept>
<Concept uuid="63924014-574d-4feb-be6d-9b98309849de" name="BACnet-Procedure Assign to Controllor" status="sample" override="false">
<Template ref="c0dc027a-20a3-483b-a546-0f415a923d3f" />
<Requirements>
<Requirement applicability="import" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
<Requirement applicability="export" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
</Requirements>
</Concept>
<Concept uuid="a8719f62-9adb-4675-a6fa-72a202ed4359" name="Object User Identity" status="sample" override="false">
<Template ref="c19ec186-9cfd-47fc-a4d4-9fb35008d04a" />
<Requirements>
<Requirement applicability="import" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
<Requirement applicability="export" requirement="mandatory" exchangeRequirement="b8a611d3-6f94-4bdf-b974-b74089a6e6c7" />
</Requirements>
</Concept>
</Concepts>
</ConceptRoot>
`
Concept inheritance

# | Concept | Template | Model View
--- | --- | --- | ---
IfcRoot
| Revision Control | Revision Control | Design Transfer View
IfcProcedure
| Object Predefined Type | Object Predefined Type | BACnet View
| Property Sets for Objects | Property Sets for Objects | BACnet View
| BACnet Procedure Predefined Type | BACnet Procedure Predefined Type | BACnet View
| BACnet-Procedure Assign to Controllor | BACnet-Procedure Assign to Controllor | BACnet View
| Object User Identity | Object User Identity | BACnet View

##### Formal representations

XML Specification
`<xs:element name="IfcProcedure" type="ifc:IfcProcedure" substitutionGroup="ifc:IfcProcess" nillable="true"/>
<xs:complexType name="IfcProcedure">
<xs:complexContent>
<xs:extension base="ifc:IfcProcess">
<xs:attribute name="PredefinedType" type="ifc:IfcProcedureTypeEnum" use="optional"/>
</xs:extension>
</xs:complexContent>
</xs:complexType>
`
EXPRESS Specification
`ENTITY IfcProcedure
SUBTYPE OF (IfcProcess);
PredefinedType : OPTIONAL IfcProcedureTypeEnum;
WHERE
HasName : EXISTS(SELF\IfcRoot.Name);
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR
((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType));
END_ENTITY;

EXPRESS-G diagram

`

Link to this page