ГОСТ Р ИСО/ТС 10303-1110—2012
5.2.3 Опроделонио правил ИММ
В данном подразделеопределены правила ИММ для модуля «Состояние поверхности».
5.2.3.1 Правило matorial_for_coating_layer
Правило matorial_for_coating_layerограничивает экземпляры объекта shapo_aspect, имеющие наи
менование ’coating layer (слой покрытия), теми, на которые ссылается только один объект matorial_
designation, определяющий материал, из которого изготовлены данные экземпляры.
EXPRESS-споииФикаиия:
*)
RULE material_for_coating_layer FOR
(shape_aspect);
LOCAL
coatingjayers: SET OF shape_aspect := [];
END_LOCAL:
coatingjayers:=QUERY( r <* shape_aspect |
(r.name =’coating layer));
WHERE
WR1: SIZEOF( QUERY( r <* coatingjayers | SIZEOF(USEDIN(r.
’MATERIAL_PROPERTY_DEFINITION_SCHEMA.MATERIAL_DESIGNATION.DEFINITIONS’
»<>1
)) =
0
:
END_RULE:
(*
Определение аргумента
shape_aspect — множество всех экземпляров объекта shape_aspect.
Формальное утверждение
WR1 — недолжносуществать ни одного экземпляраобъекта shape_aspect. имеющего наименова
ние ’coating layer (слой покрытия), на который не ссылается толькоодин объект material_designation
5.2.3.2 Правило restrict_representation_for_surface_condition
Правило restrict_representation_for_surface_condition устанавливает, что экземпляр объекта
representation, который обеспечивает значения для конкретного вида состояния поверхности, должен быть
связан ссоответствующим экземпляром объекта property_deflnition.
EXPRESS-споииФикаиия:
*)
RULE restrict_representationJor_surface_condition FOR
(property_definitionjepresentation):
WHERE
WR1:SIZEOF(QUERY(pdr <* property_defmit»on_representation| NOT
surface_condition_correlation(pdr.definition,pdr.used_representation)
)H > :
END_RULE:
C
Определение аргумента
property_definition_represontation — множество всех экземпляров объекта proporty_dofinition_
representation.
Формальное утверждение
WR1 — недолжносуществовать ниодного экземпляра объекта proporty_dofinition_representation,
представляющегосвойство, идентифицирующее конкретный видсостояния поверхности, атрибут usod_
representation которого не являетсяпредставлением, соответствующим данному виду состояния поверх
ности.
5.2.3.3 Правило restrictJreatment_result
Правило restrictJreatment_resuIt ограничивает содержание объекта representation таким образом,
чтобы оно соответствовалотребованию объекта Treatmont_result (п.4.3.10).
26