ГОСТ Р И С 013606-2—2012
Ограничения
Имя
Выражение
Consistency
inv: not anyallowed
target_path_valid
inv: target_path <> Void and not target_path.is_empty and
ultimate_rooLhas_path(target_path)
Пакет: constraint_model
Класс ARCHETYPE_SLOT
С OBJECT
I
+- - ARCHETYPE_SLOT
Ограничение, описывающее «слот», в котором может находиться другой архетип.
Атрибуты, унаследованные от ассоциаций
Сигнатура
Обязатель
ность
Кратность
Описание
excludes: Set<ASSERTION>
0..1
0..‘
Список ограничений, указывающий другие ар
хетипы. которые не могут быть включены в
данной точке
includes : Set<ASSERTION>
0..1
0..*
Список ограничений, указывающий другие ар
хетипы. которые могут быть включены в дан
ной точке
Ограничения
ИмяВыражение
includes_validinv: includes о Void implies not indudes.is_empty
exdudes_validinv: excludes <> Void implies not excludes.is_empty
Validityinv: any_al lowed xor includes <> Void or excludes о Void
Пакет: constraint_model
Класс C_SINGLE_ATTRIBUTE
С ATTRIBUTE
I
+- - C_SINGLE_ATTRIBUTE
Конкретная модель ограничения узла атрибута с единственным значением. Смысл унаследованных
атрибутов-потомков втом. чтоони являются альтернативами.
Пакет: constraint_model
Класс C_MULTlPLE_ATTRIBUTE
С ATTRIBUTE
I
+ - - C_MULTIPLE_ATTRIBUTE
Абстрактная модель ограничения любого узла атрибута.
Атрибут, унаследованный от ассоциации
Сигнатура
Обязатель
ность
Кратность
Описание
cardinality:CARDINALITY
0..1
--
Кратностьданного ограничения атрибута, если
оно ограничивает атрибут контейнерного типа
25