8.1.3.1 IfcActorRole（参与者角色）
RV ⓘ
AbV ⓘ
8.1.3.1.1 语义定义（Semantic definition）
该实体表示由参与者（可以是个人、组织或与组织相关的个人）所承担的角色。
8.1.3.1.2 实体继承（Entity inheritance）
8.1.3.1.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcActorRole (4) | |||
| 1 | Role | IfcRoleEnum |
参与者所扮演角色的名称。如果 Role 的值为 USERDEFINED，则用户定义的角色应作为属性 UserDefinedRole 的值提供。 |
| 2 | UserDefinedRole | OPTIONAL IfcLabel |
允许规定超出 IfcRoleEnum 类型的 Role 属性所提供的枚举值之外的用户定义角色。当为属性 UserDefinedRole 提供一个值时，同时属性 Role 应具有枚举值 USERDEFINED。 |
| 3 | Description | OPTIONAL IfcText |
描述参与者所扮演角色性质的文本说明。 |
| HasExternalReference | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
引用与参与者角色相关联的外部信息，例如库、分类或文档信息。 |
|
8.1.3.1.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| WR1 |
如果属性 Role 具有枚举值 USERDEFINED，则必须为属性 UserDefinedRole 断言一个值。 |
|
|
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;