ГОСТ Р МЭК 61360-2-2013 Стандартные типы элементов данных с ассоциированной схемой классификации электрических компонентов. Часть 2. Словарная схема EXPRESS

     7.2 Введение в стандартную схему ограничений класса ISO13584_IEC61360_class_constraint_schema

Схема ISO13584_IEC61360_class_constraint_schema задает конструктивы языка EXPRESS, позволяющие переопределить путем задания ограничений область значений данного свойства, если оно применяется в подклассе характеристического класса, где данное свойство определено как видимое. Данное ограничение должно явно описывать только те ограничения области значений, которые следуют из структуры класса.

Пример - В ИСO 13584-511 класс болтов/винтов с метрической резьбой определен следующим образом: "крепежный элемент с головкой, наружной резьбой, цилиндрическим телом, на котором резьба нарезана частично или полностью, и головкой с приспособлениями для завинчивания". Данный класс среди прочих имеет два свойства: тип головки и свойства головки. Область значений свойства тип головки - это неколичественный тип данных, включающий главным образом следующие значения: шестигранная_головка, восьмигранная_головка и круглая_головка. Свойство свойства головки является особенностью. Это означает, что она имеет тип данных item_class. Областью значений является класс головка, определяющий любой вид головки. Класс головка имеет несколько подклассов: шестигранная головка, ассоциированная со всеми свойствами, позволяющими описывать шестигранную головку (например, размер под ключ), и круглая головка, ассоциированная со всеми свойствами, позволяющими описывать круглую головку (например, диаметр головки).

Класс болтов/винтов с метрической резьбой имеет подкласс, называемый винты с шестигранной головкой и определяемый следующим образом: "крепежный элемент с метрической наружной резьбой, шестигранной головкой и резьбой, нарезанной до головки". Данный класс унаследует свойства: тип головки и свойства головки. Из определения подкласса винтов с шестигранной головкой ясно, что свойство тип головки может принимать только значение шестигранная_головка. Свойство свойства головки может быть только реализацией класса особенностей шестигранная головка. Однако указанные ограничения являются неявными: они просто фиксируются неформально в определении сущности.

Таким образом, указанные ограничения не являются компьютерными. Рассматриваемые ограничения, определенные стандартной схемой ограничений класса ISO13584_IEC61360_class_constraint_schema, позволяют сделать следующие два ограничения явными путем ассоциирования их с классом винтов с шестигранной головкой: (1) ограничение нумерации enumeration_constraint для свойства тип головки (допускающее только код шестигранная_головка) и (2) subclass_constraint для свойства свойства головки (допускающее только класс особенностей шестигранная головка).

Ограничения наследуются. Если свойство, область значений которого имеет одно ограничение в классе C, требует задания другого ограничения в подклассе C, то оба ограничения применяются совместно. Таким образом, реальная область значений в подклассе С - это пересечение двух областей, определенных двумя ограничениями. Предложенный механизм аналогичен механизму повторного определения типа на языке EXPRESS.

Данная схема позволяет выразить ограничения, применимые к типам данных системы типов стандартной словарной схемы ISO13584_IEC61360_dictionary_schema. По правилу для данных сущностей, ссылающихся на ограничение, каждое ограничение применимо к типу данных, к которому оно относится.