IfcProcedure

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.

#	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

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	C
IfcRoot
1	GlobalId	IfcGloballyUniqueId	[1:1]	Assignment of a globally unique identifier within the entire software world.	X
2	OwnerHistory	IfcOwnerHistory	[0:1]	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.	X
3	Name	IfcLabel	[0:1]	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
4	Description	IfcText	[0:1]	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).	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).	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.	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).	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).	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
IfcObject
5	ObjectType	IfcLabel	[0:1]	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.	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.	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.	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.	X
IfcProcess
6	Identification	IfcIdentifier	[0:1]	An identifying designation given to a process or activity. It is the identifier at the occurrence level.	X
7	LongDescription	IfcText	[0:1]	An extended description or narrative that may be provided.	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	[0:1]	Identifies the predefined types of a procedure from which the type required may be set.	X

Definitions applying to Common Use Definitions

Instance diagram

Concept usage

Object Typing

The Object Typing concept applies to this entity as shown in Table 12.

Type
IfcProcedureType

Table 12 — IfcProcedure Object Typing

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

Property Sets for Objects

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

PredefinedType

Name

Properties

Pset_Risk

Single Value

Name	Value
NatureOfRisk	IfcLabel
SubNatureOfRisk1	IfcLabel
SubNatureOfRisk2	IfcLabel
RiskCause	IfcText
AffectsSurroundings	IfcBoolean

Enumerated Value

Name	Value	Value
RiskType	IfcLabel	IfcLabel
AssessmentOfRisk	IfcLabel	IfcLabel
RiskConsequence	IfcLabel	IfcLabel
RiskRating	IfcLabel	IfcLabel
RiskOwner	IfcLabel	IfcLabel

Table 13 — IfcProcedure Property Sets for Objects

Object Nesting

The Object Nesting concept applies to this entity.

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.

Sequential Connectivity

The Sequential Connectivity concept applies to this entity.

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.

Process Assignment

The Process Assignment concept applies to this entity.

NOTE A particular type of IfcProcedure is a caution, warning or other form of advisory note. Typically, it is anticipated that such a procedure would be assigned to the specific IfcProcess for which it gives advice using IfcRelAssignsToProcess.

Control Assignment

The Control Assignment concept applies to this entity.

An IfcProcedure may be assigned to an IfcWorkCalendar to indicate times when such procedure may be performed using IfcRelAssignsToControl; otherwise the effective calendar is determined by the nearest IfcProcess ancestor with a calendar assigned. Advisory notes should be assigned to the specific IfcProcess for which it gives advice using IfcRelAssignsToProcess.

Product Assignment

The Product Assignment concept applies to this entity.

For building operation scenarios, IfcProcedure may be assigned to a product (IfcElement subtype) using IfcRelAssignsToProduct to indicate a specific product occurrence that performs the procedure.

EXAMPLE An IfcActuator may have a "Close" procedure. If the IfcProcedure is defined by an IfcProcedureType and the IfcProcedureType is assigned to a product type (using IfcRelAssignsToProduct), then the IfcProcedure must be assigned to one or more occurrences of the specified product type using IfcRelAssignsToProduct.

Concept inheritance

#	Concept	Model View
IfcRoot
	Software Identity	Common Use Definitions
	Revision Control	Common Use Definitions
IfcObject
	Object Occurrence Predefined Type	Common Use Definitions
IfcProcess
IfcProcedure
	Object Typing	Common Use Definitions
	Property Sets for Objects	Common Use Definitions
	Object Nesting	Common Use Definitions
	Sequential Connectivity	Common Use Definitions
	Process Assignment	Common Use Definitions
	Control Assignment	Common Use Definitions
	Product Assignment	Common Use Definitions

Formal representations

XSD 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

	Vorgehen
	Procedure
	Procédure

IfcProcedure

Semantic definitions at the entity

Inherited definitions from supertypes

Definitions applying to Common Use Definitions

Formal representations