ГОСТ Р ИСО 13584-42—2012
Определения атрибутов:
constraintjd: атрибут constraintjdentifier, задающий ограничения.
F.5.2.2 Ограничение свойства (Property_constraint)
Сущность property_constraint— это ограничение набора реализаций класса путем задания одного условия
для области значений некоторого свойства данного класса.
Пример представления на языке EXPRESS:
*)
ENTITY property_constraint
ABSTRACT SUPERTYPE OF (ONEOF (
integrity_constraint.
context_restriction_constraint))
SUBTYPE OF (constraint);
constrained_property: property_BSU;
END_ENT!TY: — property_constraint
Определения атрибутов:
constrained_properties: базовая семантическая единица свойства property_BSU. для которой применяется
ограничение.
F.5.2.3 Ограничение класса (Class_constraint)
Сущность class_constraint — это ограничение, накладывающее условие на допустимый набор реализаций
класса. При этом рассматриваются несколько свойств или глобальных ограничений.
Пример представления на языке EXPRESS:
*)
ENTITY dass_constraint
ABSTRACT SUPERTYPE OF (configuration_control_constraint)
SUBTYPE OF (constraint);
END_ENTITY: — class_constraint
C
F.5.2.4 Ограничение управления конфигурацией (Configuration_control_constraint)
Сущность configuration_control_constraint накладывает условие на набор реализаций, на которые произ
водится ссылка. На эти реализации некоторая другая ссылающаяся реализация может ссылаться прямо или кос
венно с помощью цепочки свойств. Ссылающаяся реализация — это любая реализация класса, ссылающаяся на
ограничение управления конфигурацией configuration_control_constraint с помощью атрибута constraint или
наследующая его в классе, обладающем данным свойством. Сущность configuration_control_constraint
определяет вспомогательное предварительное условие precondition наложения ограничения на ссылающуюся
реализацию. Она определяет также выходное условие postcondition, задающее допустимые наборы значений
некоторых свойств реализаций класса, на которые производится ссылка.
Пример — Болтовое соединение состоит из нижеследующего набора крепежных элементов: один
крепежный элемент с наружной резьбой, некоторое количество шайб и одна или несколько гаек. Су
ществуют различные виды резьб, включая резьбу винта-самореза, резьбу винта по дереву, метриче
скую наружную резьбу, метрическую внутреннюю резьбу, дюймовую внутреннюю резьбу и дюймовую
наружную резьбу. Предположим, что нужно дать описание метрического болтового соединения. Нуж но
гарантировать, что какая бы ни была точностная структура соединения, и крепежный элемент с
наружной резьбой и все гайки данного соединения имеют метрическую резьбу. Для этого в классе
метрических болтовых соединений задается ограничение управления конфигурацией configuration_
control_constraint, гарантирующее, что любой крепежный элемент (соответствующий Стандарту ISO
13584-511), на который производится ссылка некоторой реализацией данного класса (или любого его
подкласса), либо должен принадлежать классам, в которых не задано значение свойства тип резьбы
(например, шайба), либо должен принадлежать классам, значения которых принадлежат паре {метри
ческая наружная резьба, метрическая внутренняя резьба).
П р и м е ч а н и е 1— Как предварительное условие precondition, таки выходное условие postcondition
могут ограничивать только тесвойства,данные которых имеют неколичественный кодовый тип non_quantitative_
code_type. Такие свойства могут быть заданы для значений либо на уровне реализации, либо на уровне класса,
если они обьявлены как свойства со значением класса, т.е. свойства подкласса sub_class_properties в
некото ром классе.
П р и м е ч а н и е 2—Свойства, на которые производитсяссылка впредварительномусловии precondition,
должны быть применимы в классе, ссылающемся на ограничение управления конфигурацией configuration_
control_constraint.
П р и м е ч а н и е 3 — В ограничении управления конфигурацией configuration_control_constraint ис
пользуются фильтры filters. Они накладывают предварительное условие на ссылающуюся реализацию и задают
ограничения на реализации, на которые производится ссылка.
131