5.3.3.4 IfcProcedureType

Type de procédure
Vorgehen - Typ

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.


XSD 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

Attribute Definitions:

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

Formal Propositions:

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

Inheritance Graph:

ENTITY IfcProcedureType
ENTITY IfcRoot
GlobalId : IfcGloballyUniqueId;
OwnerHistory : OPTIONAL IfcOwnerHistory;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
ENTITY IfcObjectDefinition
INVERSE
HasAssignments : SET OF IfcRelAssigns FOR RelatedObjects;
Nests : SET [0:1] OF IfcRelNests FOR RelatedObjects;
IsNestedBy : SET OF IfcRelNests FOR RelatingObject;
HasContext : SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions;
IsDecomposedBy : SET OF IfcRelAggregates FOR RelatingObject;
Decomposes : SET [0:1] OF IfcRelAggregates FOR RelatedObjects;
HasAssociations : SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcTypeObject
ApplicableOccurrence : OPTIONAL IfcIdentifier;
HasPropertySets : OPTIONAL SET [1:?] OF IfcPropertySetDefinition;
INVERSE
Types : SET [0:1] OF IfcRelDefinesByType FOR RelatingType;
ENTITY IfcTypeProcess
Identification : OPTIONAL IfcIdentifier;
LongDescription : OPTIONAL IfcText;
ProcessType : OPTIONAL IfcLabel;
INVERSE
OperatesOn : SET OF IfcRelAssignsToProcess FOR RelatingProcess;
ENTITY IfcProcedureType
PredefinedType : IfcProcedureTypeEnum;
END_ENTITY;

Link to this page  Link to this page