ГОСТ Р ИСО/ТС 10303-1050—2009
EXPRESS-спецификаиия:
•)
ENTITYdirected_dimensional_location
SUBTYPE OF (dimensional Jocation);
END_ENTITY;
r
5.2.2.2 Объект externally_defined_dimension_definition
Объект externally_defined_dimension_definition является подтипом объектов dimensional_size
и externally_defined_item. что позволяет описывать виды размеров, не определенные в настоящем
стандарте.
EXPRESS-спецификаиия:
•)
ENTITYexternally_defined_dimension_defmition
SUBTYPE OF (dimensional_size. externally_defined_item);
WHERE
WR1:(SELF\externally_definedJtem.itemJd = ’externalsize dimension ) AND (SELF\extemally_definGd_
item.source.sourceJd = ’external size dimension specification’);
WR2:1>= SIZEOF(QUERY ( adr <* USEDIN(SELF,
DOCUMENT_ASSIGNMENT_MIM.APPLIED_DOCUMENT_REFERENCE.ITEMS’)|
(adr.assigned_documont.deschption = ’externalsize dimension specification’)));
END_ENTITY;
r
Формальные утверждения:
WR1 — атрибут itemJd должен иметьзначение ’external sizedimension’, а атрибут source должен
ссылаться на экземпляр объекта oxternal_source со значением атрибута sourceJd ’externally defined
dimension specification’.
WR2 — на экземпляр объекта externally_defined_dimension_definition должна существовать
ссылка из атрибута items типа applied_document_reference. который ссылается через атрибут
assigned_document на экземпляр объекта типа document, имеющий значение атрибута description
’externally defined dimension specification’.
*)
END_SCHEMA; - - DimensionJolerance_mim
Г
37