ГОСТ Р ИСО 13606-2—2012
Ограничения
Иu я
Выражение
validity_is_range
inv: validity_is_range = (range <> Void)
month_validity_optional
inv: month_validity = ’optional’ implies (day_valkJity = ’optional’ or
day_validity = ’disallowed’)
month_validity_disallowed
inv: month_validity = ’disallowed* implies day_validity = ‘disallowed’
Пакет: primitive
Класс C_PRIMITIVE{Abstract}
Непосредственные подклассы: C_REAL, CJ300LEAN, C_STRING.C_DATE, C_DURATlON,CJNTEGER.
C_TIME. C_DATE_TIME.
7.8 Пакет ontology
7.8.1 Общая информация
ontology
A R C H E TY P ^ jO fn D L O G Y
««otogy
T
Hem*
T
anMypo
A ita vrrp c^T vm
ARCHETYPE
code:
:
«ring [11
PI
Рисунок 10 — Пакет ontology
7.8.2 Пакет:: ontology
Внутренние элементы
Имя
Тип
ARCHETYPE_ONTOLOGY
Knacc (class)
ARCHETYPE_TERM
Knacc (class)
36