ГОСТ Р ИСОГГС 10303-1654—2014
EXPRESS-слецификация.
*>
ENTITY Tolerance_characteristic
ABSTRACT SUPERTYPE OF {ONEOF (Minimum_tolerance_characteristic,
Statisti-
cal_tolerance_characteristicf
Symmetri-
cal_tolerance_characteristic,
Maximum_tolerance_characteristic,
Plus_minus_tolerance_characteristic,
Nominal_tolerance_characteristic)
ANDOR Length_tolerance_characteristic)
SUBTYPE OF <Property_value_representation);
WHERE
WRli
SELF\Representation.context_of_items\Representation_context.id =
’tolerance values’;
WR2: NOT EXISTS(SELF\Representation.name);
END_ENTITY;
<*
Формальные утверждения
WR1 - значением выражения Representation.context_of_items\Representation_ context.id
должна быть текстовая строка ’tolerance values (значения допуска)’;
WR2 - атрибут name не должен содержать составляющих элементов.
4.4 Определенно ограничений подтипов ПЭМ
В данном подразделе определены ограничения подтипов ПЭМ прикладного модуля «Техниче
ские характеристики». Ограничение подтипов устанавливает ограничение на возможные реализации
отношения «супертип - подтип».
4.4.1Ограничение exclusive_property_value_represontation_characteristic
Ограничение exclusive_property_value_representation_characteristic устанавливает ограниче
ние на экземпляры подтипов объекта Property_value_represontation.
EXPRESS-слецификация.
*)
SUBTYPE_CONSTRAINT
characteristic FOR
exclusive_property_value_representation
Property_value_representation;
ONEOF (Range_characteristic,
Tolerance_characteristic>;
END_SUBTYPE_CONSTRAINT;
<*
4.4.2 Ограничение type_qualifier_subtypes
Ограничение type_qualifier_subtypes устанавливает ограничение на экземпляры подтипов объек
та Type_qualifier.
EXPRESS-слецификация:
*)
SUBTYPE_CONSTRAINT type_qualifier_subtypes FOR Type_qualifier;
ONEOF (Externally_defined_type_qualifier,
Pre_defined_type_qualifier);
14