ГОСТ Р ИСО/ТС 10303-1110—2012
Формальные утверждения
WR1 — в множестве элементов любого экземпляра объекта tactilo_appearance_ropresentation
должны присутствоватьтолько экземпляры объекта representation_item, имеющие тип данных moasure_
representationjtem или valuo_range;
WR2— среди множества элементовсамое большееодин объект measure_representation_item или
value_range должен иметьнаименование’depth’ (глубина):
WR3 — на любой экземпляр объекта tactile_appearanco_representation должен ссылаться только
один объект property_dofinition_representation.Данный объект property_definition_representation должен
устанавливатьсвязь представления собъектом property_dofinition. который является атрибутом dorived_
definition объектаgoneral_property_association. который, всвоюочередь, ссылается через атрибут base_
definition наобъект general_property. представляющий состояние поверхности.
5.2.1.5 Объектvisual_appearance_representation
Объект visual_appoarance_ropresentation является подтипом объекта representation, который пред
ставляетвизуальное восприятие образца.
Дополнительная информация приведена в определении объекта ПЭМ Visual_appoaranco.
EXPRESS-слеииФикаиия:
*)
ENTITY visual_appearance_representation
SUBTYPE OF (representation);
WHERE
WR1; ( (3<= SIZEOF ( SELF.items ) <=9)) AND ( SIZEOF ( QUERY ( i <*
items | (’SURFACE_CONDITIONS JWIM.4 ’DESCRIPTIVE_REPRESENTATION JTEM’
IN TYPEOF ( i )) AND ( i.name IN (’colour id’. ’colour name’,
’lustre’, ’pattern’,’transparency’, ’orientation’]))) ♦ SIZEOF
( QUERY (i <* items |( SIZEOF ( [’SURFACE CONDITIONS_MIM>
’MEASURE_REPRESENTATION_ITEM’,’SURFACE_CONDITIONS_MIM>
’VALUE_RANGE’]* TYPEOF ( i )) =1) AND ( i.name IN [refraction index’.
’opacity! ))) ♦ SIZEOF ( QUERY ( i <* items |
(’SURFACE_CONDITIONS_MIM.’+ ’DOCUMENT_FILE’ INTYPEOF ( i)) AND
( i.name IN [ texture map’ ]))) = SIZEOF ( SELF.items)):
WR2: SIZEOF ( QUERY ( i <* SELF.items | i.name = ’colour id*)) =1;
WR3; SIZEOF ( QUERY ( i <* SELF.items | i.name =’lustre’) )=1;
WR4: SIZEOF ( QUERY ( i <* SELF.items | i.name = ’colour name’)) <=1;
WR5: SIZEOF ( QUERY ( i <* SELF.items | i.name =’pattern’) )<=1;
WR6: SIZEOF ( QUERY ( i <* SELF.items |i.name =‘transparency’)) <=
1
,
WR7: SIZEOF ( QUERY ( i <* SELF.items | i.name = ’texture map’)) <=1;
WR8: SIZEOF ( QUERY { i <* SELF.items | i.name - refraction index’)) <=1:
WR9; SIZEOF ( QUERY ( i <* SELF.items | i.name =’opadty’)) <=1;
WR10: SIZEOF ( QUERY ( i <* SELF.items |i.name =’orientation’)) <=1;
WR11: ( SIZEOF ( USEDIN ( SELF,
’SURFACE_CONDITIONS_MIM.vpROPERTY_DEFINITION_REPRESENTATION.’+
’USED_REPRESENTATION’)) =1 )AND ( SIZEOF (QUERY ( pdr<‘ USEDIN (
SELF .’SURFACE_CONDITIONS_MIM.’+’PROPERTY_DEFINITION_REPRESENTATION>
’USED_REPRESENTATION’)| SIZEOF (QUERY (gpa <* USEDIN ( pdr.
definition, ‘SURFACE_CONDITIONS_MIM>’GENERAL_PROPERTY_ASSOCIATION>
•DERIVED_DEFINITION’)|(’SURFACE_CONDITIONS_MIM.’+ ’GENERAL_PROPERTY’
IN TYPEOF (gpa. base_definition)) AND ( gpa. base_definition.name
=’surface_condition’))) =1 )) =1):
END_ENTTTY;
C
Фоомальныо утверждения
WR1 — в множестве элементов любого экземпляра объекта visual_appoarance_represontation
должно присутствовать от двух до пяти экземпляров объекта representationjtem. Эти экземпляры
объекта representationjtem должны иметь типданных descriptive_representationJtem и наименование
’colour id’ (идентификатор цвета), ’colour name’(наименование цвета), lustre’ (блеск), ’pattern’ (шаблон) или
’transparency1(прозрачность);
24