ifc4x3 IfcActorRole

ifc4x3  IfcActorRole

定义:

该实体表示由行为者(个人、组织或与组织相关的人员)执行的角色。

 

注:Role属性枚举值的角色列表永远不可能完整。因此,使用枚举值USERDEFINED,用户可以提供任何角色作为属性UserDefinedRole的值。

注:根据ISO 10303-41中定义的组织角色和人员角色改编的实体。

 IFC1.5.1中的新实体。

 

Attributes

#AttributeTypeDescription
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.

IFC4-CHANGE New inverse attribute.

Table 8.1.3.1.M

 

 Formal propositions

NameDescription
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))

 

 

 

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;

  

参考:

 

####################

posted @ 2023-02-25 11:47  西北逍遥  阅读(23)  评论(0编辑  收藏  举报