ГОСТ Р ИСО/ТС 10303-1654—2014
EXPRESS-спецификация:
*)
ENTITY Length_tolerance_characteristic
SUBTYPE OF (Tolerance_characteristic);
WHERE
WRls (’CHARACTERISTIC_ARM.STATISTICAL_TOLERANCE_CHARACTERISTIC’
IN TYPEOF(SELF)) OR
(’CHARACTERISTIC^ARM.SYMMETRICALjrOLERANCE^HARACTERISTIC’ IN
TYPEOF(SELF)) OR
(’CHARACTERISTIC_ARM.PLUS_MINUS_TOLERANCE_CHARACTERISTIC’ IN
TYPEOF(SELF)) OR (SI2E0F(QUERY(it <* SELF\Representation.items I
NOT(’VALUE_WITH_UNIT_EXTENSION_ARM.LENGTH_DATA_ELEMENT’ IN
TYPEOF(it)) )) = 0);
WR2:
NOT(’CHARACTERISTIC_ARM.SYMMETRICAL_TOLERANCE_CHARACTERISTIC’ IN
TYPEOF(SELF)) OR (SI2E0F(QUERY(it <* SELFNRepresentatior..items |
(,VALUE_WITH_UNIT_EXTENSION_ARM.LENGTH_DATA_ELEMENT’ IN
TYPEOF(it)) )) = 1);
WR3:
NOT(’CHARACTERISTIC_ARM.STATISTICAL_TOLERANCE_CHARACTERISTIC’ IN
TYPEOF(SELF)) OR (SI2EOF(QUERY(it <* SELF\Representation.items |
(’VALUE_WITH_UNIT_EXTENSION_ARM.LENGTH_DATA_ELEMENT’ IN
TYPEOF(it)) )) = 1);
WR4: NOT EXISTS(SELF\Representatior..description);
WR5:
NOT(•CHARACTERISTIC_ARM.PLUS_MINUS_TOLERANCE_CHARACTERISTIC• IN
TYPEOF(SELF)) OR (SI2EOF(QUERY(it <* SELFXRepresentation.items I
NOT((’EXTENDED_MEASURE_REPRESENTATION_ARM.VALUE_WITH_TOLERANCES’
IN TYPEOF(it)) AND
(,VALUE_WITH_UNIT_EXTENSION_ARM.LENGTH_DATA_ELEMENT, IN
TYPEOF(it\Value_with_tolerances.item_value))) )) = 0);
END_ENTITY;
(*
Формальные утверждения
WR1 - если объект Length_tolerance_characteristic не является подтипом объекта Statisti-
cal_tolerance_characteristic.Symmetrical_tolerance_characteristicилиPlus_minus_toler-
ance_characteristic. то все элементы совокупности, заданной унаследованным атрибутом items, долж ны
иметь тип данных, соответствующий объекту Length_data_element;
WR2 - если объект Length_toleranco_characteristic является подтипом объекта Symmetri-
cal_tolerance_charactoristic, то в совокупности элементов, заданной унаследованным атрибутом
items, должен присутствовать только один элемент, имеющий тип данных, соответствующий объекту
Length_data_element
WR3 - если объект Length_tolerance_characteristic является подтипом объекта Statisti-
cal_tolerance_charactoristic, то в совокупности элементов, заданной унаследованным атрибутом
items, должен присутствовать только один элемент, имеющий тип данных, соответствующий объекту
Length_data_element;
WR4 - атрибут description не должен быть задан;
WR5 - если экземпляр объекта Length_tolerance_characteristic представленкомбинацией
объектов Length_tolerance_characteristic и Plus_minus_tolerance_characteristic, то объект
Numerical_item_with_unit в роли атрибута item_value объекта Value_with_tolerances. который в свою
очередь выступает в роли атрибута items, унаследованного от объекта Representation, должен обра
зовывать комбинацию с объектом Length_data_elemont.
9