ГОСТ Р ИСОЯС10303-1110—2012
definition ,’SURFACE_CONDITIONS_MIM>’GENERAL_PROPERTY_ASSOCIATION>
’DERIVED_DEFINITION’) | (’SURFACE_CONDITIONS_MIM> ’GENERAL_PROPERTY’
IN TVPEOF (gpa. base_definition)) AND ( gpa. base_defmition.name
=’surface_condition’))) =1)) =1);
END_ENHTY;
Г
Формальные утверждения
WR1 — в множестве эелментов любого экземпляра объекта contact_ratio_representation должен
присутствовать только один объект representationjtem. который должен иметь тип данных measure_
reprosontationjtom или value_range. аего наименованиедолжно быть ’ratiovalue’ (значение коэффици
ента);
WR2 — на любой экземпляр объекта contact_ratio_ropresentation, как на атрибут used_represen-
tation. должен ссылаться только один объект property_definition_ropresentation имеющий наименова
ние ’contact ratio reference’ (ссылка на коэффициент контакта), который должен устанавливать связьданного
представления собъектом product_dofinition;
WR3 — на любой экземпляр объекта contact_ratio_represontation должен ссылаться только один
объект property_definltion_representation. Данный объект property_dofinition_representation должен
устанавливать связьпредставления с объектом property_defmltion. который является атрибутом derived_
definition объекта general_property_association, который, в свою очередь, ссылается через атрибут
base_definition наобъект goneral_property. представляющий состояние поверхности.
5.2.1.2 Объект hardness_reprosentation
Объект hardness_rcpresentation является подтипом объекта representation, который представляет
твердость образца.
Дополнительная информация приведена в определении объекта ПЭМ Hardness.
EXPRESS-слоииФикаиия:
*)
ENTITY hardness_representation
SUBTYPE OF (representation);
WHERE
WR1: ( (2<= SIZEOF ( SELF.items ) <=4) ) AND ( SIZEOF { QUERY ( i <*
items |(’SURFACE_CONDITIONS_MIM.’+ ’DESCRIPTIVE_REPRESENTATION_ITEM’
IN TYPEOF
(
i
))
AND
( i.name
IN [
’measuring method’ . ’measuring
position’)
) )) ♦ SIZEOF ( QUERY (
i
<*
items |
( SIZEOF(
rSURFACE_CONDITIONS_MIM.’+’MEASURE_REPRESENTATION_ITEM’.
’SURFACE_CONDITIONS_MIM.’+VALUE_RANGE’l* TYPEOF( i )) =1 ) AND
( i.name IN [’depth’. ’hardness1) ))) = SIZEOF ( SELF.items ));
WR2: SIZEOF ( QUERY ( i <* SELF.items | i.name = ’measuring method’)
1
) = ;
WR3: SIZEOF ( QUERY ( i <* SELF.items | i.name - hardness’)) =1;
WR4: SIZEOF ( QUERY ( i <* SELF.items | i.name = ’measuring position’
))<=1;
WR5: SIZEOF { QUERY ( i <* SELF.items | i.name =’depth’)) <=1;
WR6: ( SIZEOF ( USEDIN ( SELF.
’SURFACE_CONDITIONS_MIM>’PROPERTY_DEFINITION_REPRESENTATION>
’USED_REPRESENTATION’)) =1 ) AND ( SIZEOF ( QUERY( pdr<* USEDIN (
SELF .’SURFACE_C0NDIT10NS_MIM.’+’PR0PERTY_DEFINITI0N_REPRESENTATI0N>
’USED_REPRESENTATION’
) |
SIZEOF
(
QUERY
( gpa <*
USEDIN
( pdr.
definition ,’SURFACE_CONDlTIONS_MIM>’GENERAL_PROPERTY_ASSOCIATION.’+
’DERIVED_DEFINITION’)|(’SURFACE_CONDITIONS_MIM.’+
’GENERAL_PROPERTY’ IN TYPEOF ( gpa. base_definition)) AND (gpa.
base_definition.name - 8иг1асе_сопдЛюп’))) =1)) =1);
END_ENTfTY;
Г
21