IFC 4.3.0.0 (IFC4X3) final

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.

Table 8.1.3.1.M

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.

(Role <> IfcRoleEnum.USERDEFINED) OR
((Role = IfcRoleEnum.USERDEFINED) AND
  EXISTS(SELF.UserDefinedRole))
Table 8.1.3.1.N

8.1.3.1.5 Examples

8.1.3.1.6 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;

8.1.3.1.7 References

8.1.3.1.8 Changelog

  • inverses, HasExternalReference