ГОСТ РИСО 21090—2016
7.10.3.2 Синтаксис ИСОЛИЭК 11404
type 0SU (1 :ANY) - class (
validTimeLow :characterstring,
validTimeHigh :characterstring,
controllnformationRoot :characterstring,
controllnformationExtension :characterstring,
r.ullElavor :NullFlavor,
updateMcde :UpdateMode,
flavorld :Set(characterstrir.g),
origmalText :ED.TEXT,
terms :Set(QSET(Т»)
)
7.10.3.3 Атрибуты
7.10.3.3.1 terms : Set(QSET(T)): список экземпляров типа QSET. участвующих в объединении.
7.10.3.4 Инварианты:
- непустой экземпляр типа данных QSU может содержать только непустые экземпляры типа дан
ных QSET;
- должны быть указаны как минимум два множества.
Определения инвариантов на языке OCL:
inv "не пусто": isNotNull implies terms->forAll<t |
t.isNotNull)
inv "размер": isNotNull implies terms->size >- 2
7.10.4 Тип данных QSI (пересечение экземпляров типа данных QSET)
7.10.4.1 Описание
Специализация типа данных QSET
Специализация типа данных QSET в форме пересечения других множеств
7.10.4.2 Синтаксис ИСО/МЭК 11404
type QSI (Т :ANY) - class (
validTimeLow :characterstring,
validTimeHigh :characterstring,
controlInformationRoot :characterstring,
controlInformationExtension :characterstring,
r.ullFlavor :NullFlavor,
updateMode :UpdateMode,
flavorld :Set(characterstrir.g),
o rig m a lT e x t : ED.TEXT,
terms :Set(QSET(T>)
)
7.10.4.3 Атрибуты
7.10.4.3.1 terms : Set(QSET(T)): список экземпляров типа QSET. участвующих в пересечении.
7.10.4.4 Инварианты:
- непустой экземпляр типа данных QSI может быть результатом пересечения только непустых
экземпляров типа данных QSET:
- должны быть указаны как минимум два множества.
Определения инвариантов на языке OCL:
inv "не пусто": isNotNull implies terms->forAll(t |
t.isNotNull)
inv "размер": isNotNull implies terras->size >- 2
132