ГОСТ Р МЭК 61360-2—2013
IS013584_extended_dictionary_schema
IS013584_instance_resource_schema
ISOI3584_aggregate_value_schema
ИСО 13584-24:2003
ИСО 13584-24:2003
ИСО 13584-25
7.2 Введение в стандартную схему ограничений класса
IS013584JEC61360_class_constraint_schema
Схема ISO13584_IEC61360_class_constraint_schoma задает конструктивы языка EXPRESS, по
зволяющие переопределить путем задания ограничений область значений данного свойства, если оно
применяется в подклассе характеристического класса, где данное свойство определено как видимое.
Данное ограничение должно явно описывать только те ограничения области значений, которые следу
ют из структуры класса.
Пример
—
В ИСО 13584-511 класс болтов/винтов с метрической резьбой определен следующ им об
разом: «крепежный элемент с головкой, наружной резьбой, цилиндрическим телом, на котором резьба
нарезана частично или полностью, и головкой с приспособлениями для завинчивания». Д анны й класс
среди прочих имеет два свойст ва: тип головки и свойства головки. Область значений свойства тип
головки
—
это неколичественный тип данных, включающ ий главным образом следующ ие значения:
шестигранная_головка, восьмигранная_головка и круглая_головка. Свойство свойства головки явля
ется особенностью. Это означает, что она имеет тип данных item_class. Областью значений явля
ется класс головка, определяющ ий лю бой вид головки. Класс головка имеет несколько подклассов:
шестигранная головка, ассоциированная со всеми свойствами, позволяющ ими описыват ь шестигран
ную головку (например, размер под ключ), и круглая головка, ассоциированная со всеми свойствами,
позволяющ ими описыват ь круглую головку (например, диаметр головки).
Класс болтов/винтов с метрической резьбой имеет подкласс, называемый винты с шестигран
ной головкой и определяемый следующим образом: «крепежный элемент с метрической наружной резь
бой. шестигранной головкой и резьбой, нарезанной до головки». Данный класс унаследует свойства: тип
головки и свойства головки. Из определения подкласса винтов с шестигранной головкой ясно, что
свойство тип головки может принимать только значение шестигранная_головка. Свойство свойства
головки может быть только реализацией класса особенностей шестигранная головка. Однако указан
ные ограничения являются неявными: они просто фиксируются неформально в определении сущности.
Таким образом, указанные ограничения не являются компьютерными. Рассматриваемые ограни
чения. определенные стандартной схемой ограничений класса ISO13584_IEC61360_class_constraint_
schema, позволяют сделать следующие два ограничения явными путем ассоциирования их с классом
винтов с шестигранной головкой: (1) ограничение нумерации enumeration_constraint для свойства
тип головки (допускающее только код июстигранная_головка) и (2) subclass_constraint для свойства
свойства головки (допускающее только класс особенностей шестигранная головка).
Ограничения наследуются. Если свойство, область значений которого имеет одно ограничение
в классе С. требует задания другого ограничения в подклассе С. то оба ограничения применяются со
вместно. Таким образом, реальная область значений в подклассе С — это пересечение двух областей,
определенных двумя ограничениями. Предложенный механизм аналогичен механизму повторного
определения типа на языке EXPRESS.
Данная схема позволяет выразить ограничения, применимые к типам данных системы типов стан
дартной словарной схемы ISO13584_IEC61360_dictionary_schema. По правилу для данных сущностей,
ссылающихся на ограничение, каждое ограничение применимо к типу данных, к которому оно относится.
7.3 Определения сущностей стандартной схемы ограничений класса
IS013584JEC61360_class_constraint_schoma
7.3.1 Общие положения
Данный раздел определяет сущности стандартной схемы ограничений класса IS013584_
IEC61360_class_constraint_schema.
7.3.2 Ограничение (Constraint)
Сущность constraint позволяет дать определение ограничения.
Пример представления на языке EXPRESS:
*)
EKTITY constraint
ABSTRACT SUPERTYPE Of (ONEOF <
property_cor.straint
96