ГОСТ Р МЭК 61360-2—2013
class_constraint));
constraint_id: OPTIONAL constraint_identifier;
END_ENTITY; — constraint
C "
Опредоления атрибутов
constraintjd: атрибут constraintjdentifier. задающий ограничения.
7.3.3 Ограничение свойства (Property_constraint)
Сущность property_constraint — это ограничение набора реализаций класса путем задания од
ного условия для области значений некоторого свойства данного класса.
Пример представления на языке EXPRESS:
М
ENTITY property_constraint
ABSTRACT SUPERTYPE OF (ONEOF <
integrity_constraint,
context_restriction_constrair.tJ>
SUBTYPE OF (constraint);
constrained_property:property_BSU;
END_ENTITY; -- property_constraint
<-
Определения атрибутов.
constrained_property: базовая семантическая единица свойства property_BSU. для которой при
меняется ограничение.
7.3.4 Ограниченно класса (C!ass_constraint)
Сущность class_constraint — это ограничение, накладывающее условие на допустимый набор
реализаций класса. При этом рассматриваются несколько свойств или глобальных ограничений.
Пример представления на языке EXPRESS:
М
ENTITY class_constraint
ABSTRACT SUPERTYPE 01 (configuration_cor.trol_constraint)
SUBTYPE OF (constraint);
END_ENTITY; — class_constraint
(•
7.3.5 Ограничение управления конфигурацией (Configuration_control_constraint)
Сущность configuration_control_constraint накладывает условие на набор реализаций, на ко
торые производится ссылка. На эти реализации некоторая другая ссылающаяся реализация может
ссылаться прямо или косвенно с помощью цепочки свойств. Ссылающаяся реализация — это любая
реализация класса, ссылающаяся на ограничение управления конфигурацией configuration_control_
constraint с помощью атрибута constraint или наследующая его в классе, обладающем данным свой
ством. Сущность configuration_control_constraint определяет вспомогательное предварительное
условие precondition наложения ограничения на ссылающуюся реализацию. Она определяет также
выходное условие postcondition, задающее допустимые наборы значений некоторых свойств реали
заций класса, на которые производится ссылка.
Пример
—
Болтовое соединение состоит из нижеследующего набора крепежных элементов: один
крепежный элемент с наружной резьбой, некоторое количество шайб и одна или несколько гаек. Суще
ствуют различные виды резьбы, включая резьбу винта-самореза, резьбу винта по дереву, метриче
скую наружную резьбу, мет рическую внут реннюю резьбу, дюймовую внут реннюю резьбу и дюймовую
наружную резьбу. Предположим, что нужно дать описание метрического болтового соединения. Нужно
гарантировать, что какая бы ни была точностная структура соединения, и крепежный элемент с
наружной резьбой, и все гайки данного соединения имеют мет рическую резьбу. Для этого в классе мет
рических болт овых соединений задается ограничение управления конфигурацией configuration_
controlco n stra in t, гарантирующее, что лю бой крепежный элемент (соот вет ст вующ ий ISO 13584-511), на
кот орый производит ся ссылка некоторой реализацией данного класса (или лю бого его подкласса), либо
должен принадлежать классам, в кот орых не задано значение свойства т ип резьбы (например,
97