水运工程类继承关系、典型实体描述、属性集和数量集描述.docxVIP

类继承关系

A.0.1空间元素实体的类继承关系应符合图A.0.1的规定。

图A.0.1空间元素实体类继承关系图

A.0.2空间元素部分实体的类继承关系应符合图A.0.2的规定。

图A.0.2空间元素部分实体类继承关系图

A.0.3元素实体的类继承关系应符合图A.0.3的规定。

图A.0.3元素实体类继承关系图

A.0.4建造元素实体的类继承关系应符合图A.0.4的规定。

图A.0.4建造元素实体类继承关系图

A.0.5分配系统实体的类继承关系应符合图A.0.5的规定。

图A.0.5分配系统实体类继承关系图

A.0.6空间元素类型实体的类继承关系应符合图A.0.6的规定。

图A.0.6空间元素类型实体的类继承关系图

A.0.7元素类型实体的类继承关系应符合图A.0.7的规定。

图A.0.7元素类型实体的类继承关系图

A.0.8建造元素类型实体的类继承关系应符合图A.0.8的规定。

图A.0.8建造元素类型实体的类继承关系图

A.0.9类型的预定义枚举的类继承关系应符合图A.0.9的规定。

图A.0.9类型的预定义枚举的类继承关系图

A.0.10预定义属性集的类继承关系应符合图A.0.10的规定。

图A.0.10预定义属性集的类继承关系图

水运工程典型实体描述

B.0.1水运空间元素实体

（1）语义定义

IfcMarineFacility指水运工程领域的主要结构或实体，如码头、突堤、船坞、防波堤等。

（2）属性定义

预定义类型:IfcMarineFacilityTypeEnum。此类型可以关联其他特定的属性集。

（3）EXPRESS表达

ENTITYIfcMarineFacility

SUBTYPEOF(IfcFacility);

PredefinedType:IfcMarineFacilityTypeEnum;

WHERE

CorrectPredefinedType:NOT(EXISTS(PredefinedType))OR

(PredefinedTypeIfcMarineFacilityTypeEnum.USERDEFINED)OR

((PredefinedType=IfcMarineFacilityTypeEnum.USERDEFINED)ANDEXISTS(SELF\IfcObject.ObjectType));

END_ENTITY;

B.0.2水运建造元素实体

（1）语义定义

IfcMooringDevice是一种主动或被动的建造元素，其主要功能是用于船舶系泊，系泊装置可以是系缆墩的形式，用作缆绳或动力设备（如快速释放钩）的连接点。

（2）属性定义

预定义类型:IfcMooringDeviceTypeEnum。此类型可以关联其他特定属性集，并且只有在未分配系泊设备类型(IfcMooringDeviceType)时，才使用预定义类型，并提供IfcMooringDeviceType.PredefinedType。

（3）EXPRESS表达

ENTITYIfcMooringDevice

SUBTYPEOF(IfcBuiltElement);

PredefinedType:OPTIONALIfcMooringDeviceTypeEnum;

WHERE

CorrectPredefinedType:NOT(EXISTS(PredefinedType))OR

(PredefinedTypeIfcMooringDeviceTypeEnum.USERDEFINED)OR

((PredefinedType=IfcMooringDeviceTypeEnum.USERDEFINED)ANDEXISTS(SELF\IfcObject.ObjectType));

CorrectTypeAssigned:(SIZEOF(IsTypedBy)=0)OR

(IFC4X3.IFCMOORINGDEVICETYPEINTYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));

END_ENTITY;

B.0.3分配系统实体

（1）语义定义

IfcDistributionSystem是被设计为接收、存储、维护、分发或控制分发介质流的网络。

（2）属性定义

预定义类型:IfcDistributionSystemEnum。此类型可以关联其他特定属性集。

（3）EXPRESS表达

ENTITYIfcDistributionSystem

SUPERTYPEOF(ONEOF

(IfcDistributionCircuit))

SU