8.18.3.16 IfcShapeModel（形状模型）

RV ⓘ

AbV ⓘ

抽象该定义可能不会被直接实例化。

8.18.3.16.1 语义定义（Semantic definition）

IfcShapeModel 表示在特定表示上下文中，对产品形状或产品组件形状进行特定几何和/或拓扑表示的概念。该表示上下文必须是几何表示上下文（不含关联几何的拓扑表示除外）。其两个子类型包括：用于表示形状的几何模型的 IfcShapeRepresentation，以及用于表示产品或产品组件连接性的 IfcTopologyRepresentation。该拓扑可以具有关联的几何，也可以没有。

IfcShapeModel 可以是产品的形状表示（通过 IfcProductDefinitionShape），也可以是产品组件形状的表示（通过 IfcShapeAspect）。

8.18.3.16.2 实体继承（Entity inheritance）

8.18.3.16.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcRepresentation (7)
1	ContextOfItems	IfcRepresentationContext	表示上下文的定义，不同子类型的表示在此上下文中有效。
2	RepresentationIdentifier	OPTIONAL IfcLabel	在项目内使用的表示的可选标识符。
3	RepresentationType	OPTIONAL IfcLabel	表示上下文类型的描述。表示类型定义了用于表示产品表示的几何或拓扑类型。更多信息在子类型 IfcShapeRepresentation 和 IfcTopologyRepresentation 中给出。上下文类型支持的值应由实施者协议规定。
4	Items	SET [1:?] OF IfcRepresentationItem	为此表示定义的一组几何表示项。
	RepresentationMap	SET [0:1] OF IfcRepresentationMap FOR MappedRepresentation	在 IfcRepresentationMap 中使用此表示。如果使用，此 IfcRepresentation 可以作为其 Items 之一，通过 IfcMappedItem 分配给多个表示。使用 IfcRepresentationMap 是多个产品共享一个表示（通常为 IfcShapeRepresentation 类型）的方式。 IFC2x3 变更 The inverse attribute LayerAssignments has been added
	LayerAssignments	SET [0:?] OF IfcPresentationLayerAssignment FOR AssignedItems	将整个表示分配给单个或多个图层。LayerAssignments 可以被 Items 列表中的 IfcRepresentationItem 的 LayerAssigments 覆盖。注释 Implementation agreements can restrict the maximum number of layer assignments to 1. IFC2x3 变更 The inverse attribute LayerAssignments has been added
	OfProductRepresentation	SET [0:?] OF IfcProductRepresentation FOR Representations	引用此单独表示所适用的产品表示。在大多数情况下，它引用一个或多个产品形状，此形状表示适用于这些产品形状。 IFC4 变更 Inverse relationship cardinality relaxed to be 0:N.
点击显示 7 个隐藏的继承特性点击隐藏 7 个继承特性
IfcShapeModel (1)
	OfShapeAspect	SET [0:1] OF IfcShapeAspect FOR ShapeRepresentations	对形状特征的引用，该形状模型即为其形状表示。

表 8.18.3.16.A

8.18.3.16.4 形式化命题（Formal propositions）

名称	描述
WR11	IfcShapeModel 必须被 IfcProductRepresentation、IfcRepresentationMap 或 IfcShapeAspect 使用。
`(SIZEOF(SELF\IfcRepresentation.OfProductRepresentation) = 1) XOR (SIZEOF(SELF\IfcRepresentation.RepresentationMap) = 1) XOR (SIZEOF(OfShapeAspect) = 1)`

表 8.18.3.16.B

8.18.3.16.5 形式化表示（Formal representation）

ENTITY IfcShapeModel
 ABSTRACT SUPERTYPE OF (ONEOF
	(IfcShapeRepresentation
	,IfcTopologyRepresentation))
 SUBTYPE OF (IfcRepresentation);
 INVERSE
	OfShapeAspect : SET [0:1] OF IfcShapeAspect FOR ShapeRepresentations;
 WHERE
	WR11 : (SIZEOF(SELF\IfcRepresentation.OfProductRepresentation) = 1) XOR 
(SIZEOF(SELF\IfcRepresentation.RepresentationMap) = 1) XOR
(SIZEOF(OfShapeAspect) = 1);
END_ENTITY;