ГОСТ Р И С 013606-2—2012
Ограничения
Имя
Выражение
existence_set
inv: existence <> Void and (existence.lower >= 0 and existence.upper <= 1)
rm_attribute_name_valid
inv: rm_attribute_name <> Void and not rm_attnbute_name.is_empty
Children_validity
inv: any_altovred xor children <> Void
Пакет: constraint_model
Класс C_OBJECT{Abstract)
ARCHETYPE CONSTRAINT
I
+ --C_OBJECT
Непосредственные подклассы: ARCHETYPE_INTERNAL_REF. C_PRIMITIVE_OBJECT. C_COMPLEX_
OBJECT.ARCHETYPE_SLOT, CONSTRAINT_REF. C_DOMAIN_TYPE.
Абстрактная модельограничения любого типа узла объекта.
Атрибуты
Сигнатура
Обяэагвль
К О С Т Ь
Кратность
Описание
node_id : String
1
Семантический идентификатор данного узла,
используемый для различения сестринских
узлов одного типа. (Ранее назывался «смыс
лом».) Каждый атрибут node_ki должен быть
определен в онтологии архетипа как код тер
мина
occurrences : lnterval<lnteger>
1
Вхождения данного узла объекта в данные
под атрибутом-владельцем. Верхний предел
кратности может быть только больше 1, если
атрибут-владелец имеет кратность больше 1
rm_type_name : String
1
“ “
Тил базовой модели, которому соответствует
данный узел
Атрибуты, унаследованные от ассоциаций
Сигнатура
Обязатель
ность
Кратность
Описание
parent :С_ATTRIBUTE
1
--
Объект типа C_ATTRIBUTE, владею
щийданным объектом типаC_OBJECT
Ограничения
Имя
Выражение
rm_type_name_valid
inv: rm_type_name <> Void and not rm_type_name.is_empty
node_id_valid
inv: nodejd <> Void and not node_id.is_empty
Пакет: constraint_model
Класс CARDINALITY
Выражает ограничения кратности объектов контейнера, являющихся значениями многозначныхатри
бутов. включая уникальность и упорядочение. С их помощью можно указать, является ли контейнер логи
ческим списком, множеством или пакетом. Эта кратность не может противоречить кратности соответствую
щего атрибута в релевантной базовой модели.
23