ГОСТ Р ИСО 13606-2—2012
Ограничения
Имя
Выражение
members_va!id
inv: members <> Void and members->for_all(co: C_OBJECT |
co.occunrences.upper <= 1)
cardinality_validilyinv: cardinality <> Void
Пакет: constraint_nx>dGl
Класс C_DOMAIN _TYPE{Abstract}
С OBJECT
I
+- - C_DOMAIN_TYPE
Непосредственные подклассы: C_ORDINAL. C_QUANTITY, C_CODED_TEXT.
Абстрактный родительский тип ограничивающих типовданных, специфичных для предметной облас
ти и определяемых во внешних пакетах.
Пакет: constraint model
Класс C_COMPLEX_OBJECT
С OBJECT
I
+- - C_COMPLEX_OBJECT
Ограничение комплексных объектов, т. е. любой объект, состоящий издругих ограничений объектов.
Атрибуты, унаследованные от ассоциаций
Сигнатура
Обязатель
ность
Кратность
Описание
invariants: Set<ASSERTION>
0..1
0..*
Инвариантные утверждения о данном объек
те. Утверждения выражаются с помощью ло
гики предикатов первого порядка и обычно
относятся, по крайней мере, кдвум атрибутам
features: Set<C_ATTRIBUTE>
0..1
0..*
Список ограничений атрибутов базовой моде
ли. представленных данным объектом
Ограничения
Имя
Выражение
attnbutes_valid
inv: any_allowed xor (attributes <> Void and not attributes.is_empty)
invariants_valid
inv: invariants <> Void implies not invariants.is_empty
invariant_consistency
inv: any_allowed implies invariants = Void
Пакет: constraint_model
Класс C_PRIMITIVE_OBJECT
С OBJECT
I
+ - - C_PRIMITIVE_OBJECT
Атрибут, унаследованный от ассоциации
Сигнатура
Обязатель
ность
Кратность
Описание
item:C_PRIMITIVE
1
-*
Объект, реально определяющий ограничение
Ограничение
Имя
Выражение
item_existsinv: any_allowed xor item
о
Void
26