ГОСТ Р ИСО 13584-42—2012
Пример представлений на языке EXPRESS:
*)
ENTITY configuration_control_constraint
SUBTYPE OF (dass_constraint);
precondition: SET [0:?] OF filter,
postcondition: SET [1:?] OF filter;
END_ENTITY; — configurat*on_control_constraint
r
Определения атрибутов:
precondition: фильтры filters ссылающейся реализации для наложения ограничения.
П р и м е ч а н и е 4 — Если набор фильтров пуст, то ограничение накладывается на любую ссылающуюся
реализацию.
postcondition: фильтры filters реализации, на которую ссылаются, для получения разрешения на данную
ссылку.
F.5.2.5 Фильтр (Filter)
Сущность filter — это ограничение нумерации enumeration_constraint. ограничивающее допустимую об
ласть свойства, тип данных которого либо неколичественный кодовый non_quantitative_code_type, либо неколи-
чественный целый non_quantitative_int_type.
Пример представления на языке EXPRESS:
*)
ENTITY filter:
referenced_property: property BSU;
domain: enumeration_constraint;
WHERE
WR1: definition_availableJmplies (
referenced_property,
((■|SO13584_IEC61360_DICTIONARY_SCHEMA’
+’.NON_QUANTlTATIVE_CODE_TYPE ) INTYPEOF(
referenced_property.
definition(1]\property_DET.domain))
OR
((’ISO13584JEC61360_DICTIONARY_SCHEMA’
+’.N0N_QUANTITAT1VE_INT_TYPE’) IN TYPEOF(
referenced_property.
definition[1J\property_DET.domain)));
WR2: definitk>n_availablejmplies (
referenced_property.
correct_constraint_type(domain,
referenced_property.definition{ 1J.domain)):
END_ENTITY; — filter
C
Определения атрибутов:
referenced_properties: свойство, область значений которого ограничена фильтром filter.
domain: ограничение нумерации enumeration_constraint. ограничивающее область значений свойства,
на которое производится ссылка.
Пояснения к тексту программы:
WR1: тип данных ссылочного свойства referenced_property — это либо неколичественный кодовый поп_
quantitative_code_type, либо неколичественный целый non_quantitative_int_type.
WR2: сущность domain должна определять область значений, которая может ограничивать исходную об
ласть значений свойства.
F.5.2.6 Ограничение целостности (lntegrity_constraint)
Сущность integrity_constraint — это особое ограничение свойства, которое объявляет явно, что для неко
торого конкретного класса (как результат определения данного класса и всех его подклассов) только ограничение
области значений, идентифицированное типом данных, допустимо для свойства.
Пример — В ссылочном словаре, определенном для крепежных элементовв ИСО 13584-511,
болт/винт с метрической резьбой имеет свойство свойства головки, которое может приобретать, в
качестве значения, член любого подкласса рассматриваемого класса особенностей головки. Если
данный болт/винт с метрической резьбой также является членом подкласса винтов с шестигранной
головкой, то свойство свойства головки может только быть членом класса особенностей шести
гранной головки. В противном случае рассматриваемый болт/винт с метрической резьбой не может
быть членом подкласса винтов с шестигранной головкой.
132