IfcProcedureType

Natural language names
Vorgehen - Typ
Procedure Type
Type de procédure
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4
    IfcProcedureTypeADDED
Semantic definitions at the entity
Entity definition

An IfcProcedureType defines a particular type of procedure that may be specified.

HISTORY  New entity in IFC4

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 explict attributes of IfcProcedure. Procedure occurrences (IfcProcedure entities) are linked to the procedure type through the IfcRelDefinesByType relationship.

Attribute definitions
#AttributeTypeCardinalityDescription G
10PredefinedTypeIfcProcedureTypeEnum Identifies the predefined types of a procedure from which the type required may be set.X
Formal Propositions
RuleDescription
CorrectPredefinedTypeThe attribute ProcessType must be asserted when the value of PredefinedType is set to USERDEFINED.
Inherited definitions from supertypes
Entity inheritance IfcTypeProcess IfcTypeObject IfcObjectDefinition IfcRoot
Attribute inheritance
#AttributeTypeCardinalityDescriptionG
IfcRoot
1GlobalIdIfcGloballyUniqueId Assignment of a globally unique identifier within the entire software world. X
2OwnerHistoryIfcOwnerHistory? 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
3NameIfcLabel? 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
4DescriptionIfcText? Optional description, provided for exchanging informative comments.X
IfcObjectDefinition
HasAssignmentsIfcRelAssigns
@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
NestsIfcRelNests
@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
IsNestedByIfcRelNests
@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
HasContextIfcRelDeclares
@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
IsDecomposedByIfcRelAggregates
@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
DecomposesIfcRelAggregates
@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
HasAssociationsIfcRelAssociates
@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
IfcTypeObject
5ApplicableOccurrenceIfcIdentifier? 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.
EXAMPLE Refering to a furniture as applicable occurrence entity would be expressed as 'IfcFurnishingElement', refering to a brace as applicable entity would be expressed as 'IfcMember/BRACE', refering to a wall and wall standard case would be expressed as 'IfcWall, IfcWallStandardCase'.
X
6HasPropertySetsIfcPropertySetDefinition? S[1:?] Set list of unique property sets, that are associated with the object type and are common to all object occurrences referring to this object type.
IFC2x3 CHANGE  The attribute aggregate type has been changed from LIST to SET.
X
TypesIfcRelDefinesByType
@RelatingType
S[0:1]Reference to the relationship IfcRelDefinedByType and thus to those occurrence objects, which are defined by this type.X
IfcTypeProcess
7IdentificationIfcIdentifier? An identifying designation given to a process type.X
8LongDescriptionIfcText? An long description, or text, describing the activity in detail.
NOTE  The inherited SELF\IfcRoot.Description attribute is used as the short description.
X
9ProcessTypeIfcLabel? 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. X
OperatesOnIfcRelAssignsToProcess
@RelatingProcess
S[0:?]Set of relationships to other objects, e.g. products, processes, controls, resources or actors that are operated on by the process type.
HISTORY New inverse relationship in IFC4.
X
IfcProcedureType
10PredefinedTypeIfcProcedureTypeEnum Identifies the predefined types of a procedure from which the type required may be set.X
Definitions applying to General Usage

Concept inheritance

#ConceptTemplateModel View
IfcRoot
IdentitySoftware IdentityGeneral Usage
Revision ControlRevision ControlGeneral Usage
IfcObjectDefinition
Classification AssociationClassification AssociationGeneral Usage
Formal representations
XML Specification
 <xs:element name="IfcProcedureType" type="ifc:IfcProcedureType" substitutionGroup="ifc:IfcTypeProcess" nillable="true"/>
 <xs:complexType name="IfcProcedureType">
  <xs:complexContent>
   <xs:extension base="ifc:IfcTypeProcess">
    <xs:attribute name="PredefinedType" type="ifc:IfcProcedureTypeEnum" use="optional"/>
   </xs:extension>
  </xs:complexContent>
 </xs:complexType>
EXPRESS Specification
ENTITY IfcProcedureType
 SUBTYPE OF (IfcTypeProcess);
  PredefinedType : IfcProcedureTypeEnum;
 WHERE
  CorrectPredefinedType : (PredefinedType <> IfcProcedureTypeEnum.USERDEFINED) OR ((PredefinedType = IfcProcedureTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcTypeProcess.ProcessType));
END_ENTITY;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page