ГОСТ Р МЭК 61360-2—2013
Определения атрибутов:
referenced_property: свойство, область значений которого ограничена фильтром filter.
domain: ограничение нумерации enumeration_constraint. ограничивающее область значений
свойства, на которое производится ссылка.
Пояснения к тексту программы:
WR1: тип данных ссылочного свойства referenced_proporty — это либо неколичественный кодо
вый non_quantitative_code_type. либо неколичественный целый non_quantitative_int_type.
WR2: сущность domain должна определять область значений, которая может ограничивать ис
ходную область значений свойства.
7.3.7 Ограниченно целостности (Integrity..constraint)
Сущность intogrity_constraint — это особое ограничение свойства, которое объявляет явно, что
для некоторого конкретного класса (как результат определения данного класса и всех его подклассов)
только ограничение области значений, идентифицированное типом данных, допустимо для свойства.
Пример
—
В ссылочном словаре, определенном для крепежных элементов в ИСО 13584-511, болт
/
винт с метрической резьбой имеет свойст во свойст ва головки, которое может приобретать
вкаче
стве
значения член любого подкласса рассматриваемого класса особенностей головки. Если данный
болт/винт с метрической резьбой также являет ся членом подкласса винтов с шестигранной голов
кой, то свойст во свойства головки может только быть членом класса особенностей шестигранной
головки. В прот ивном случае рассматриваемый болт/винт с метрической резьбой не может быть
членом подкласса винт ов
с
шестигранной головкой.
Примечание — В рассмотренном выше примере ограничение целостности никак не изменяет смысл
свойства свойства головки, унаследованное от болта/еинта с метрической резьбой, переходящее к винту с
шестигранной головкой. Рассматриваемое ограничение явно указывает на тот факт, что в контексте подкласса
винтов с шестигранной головкой допустимым остается только подмножество значений для данного свойства в
контексте класса болтов/винтов с метрической резьбой.
Пример представления на языке EXPRESS:
М
ENTITY integrity_constraint
SUBTYPE Of (property_constraint);
redefined_domain:domain_constraint;
WHERE
WRI: definition_available_implies (constrained_property,
correct_constraint_type<redefined_domain,
constrainedjproperty.definition-1].domain));
£ND_ENTITY; — integrity_cor.straint
<*
Определения атрибутов.
redefined_domain: ограничение, накладываемое на область значений ограниченного свойства.
Пояснение к тексту программы:
WR1: повторно определенная область redefined_domain должна задавать область значений,
ограничивающую исходную область значений свойства.
7.3.8 Ограничение на условия контекста (Context_restrictlon_constraint)
Сущность context_restriction_constraint — это ограничение свойства property_constraint. на
кладывающее условие на допустимую область значений контекстных параметров, от которых зависит
рассматриваемое контекстно-зависимое свойство.
Пример представления на языке EXPRESS:
*)
ENTITY context
_
restriction_constraint
SUBTYPE OF (property_constraint);
context_parameter_constraints: SET II:?] OF property_cor.straint;
WHERE
WRI:definition_available_implies (cor.strained_property,
QUERY <cp<*SELF.context_parameter_constraints
99