8.1.3.1 IfcActorRole
8.1.3.1.1 Semantic definition
This entity indicates a role which is performed by an actor, either a person, an organization or a person related to an organization.
8.1.3.1.2 Entity inheritance
8.1.3.1.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcActorRole (4) | |||
1 | Role | IfcRoleEnum |
The name of the role played by an actor. If the Role has value USERDEFINED, then the user defined role shall be provided as a value of the attribute UserDefinedRole. |
2 | UserDefinedRole | OPTIONAL IfcLabel |
Allows for specification of user defined roles beyond the enumeration values provided by Role attribute of type IfcRoleEnum. When a value is provided for attribute UserDefinedRole in parallel the attribute Role shall have enumeration value USERDEFINED. |
3 | Description | OPTIONAL IfcText |
A textual description relating the nature of the role played by an actor. |
HasExternalReference | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
Reference to external information, e.g. library, classification, or document information, which is associated with the actor role. |
8.1.3.1.4 Formal propositions
Name | Description |
---|---|
WR1 |
If the attribute Role has the enumeration value USERDEFINED then a value for the attribute UserDefinedRole shall be asserted. |
|
8.1.3.1.5 Formal representation
ENTITY IfcActorRole;
Role : IfcRoleEnum;
UserDefinedRole : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
INVERSE
HasExternalReference : SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects;
WHERE
WR1 : (Role <> IfcRoleEnum.USERDEFINED) OR
((Role = IfcRoleEnum.USERDEFINED) AND
EXISTS(SELF.UserDefinedRole));
END_ENTITY;