ГОСТ РИСО 21090—2016
7.97.2 Синтаксис ИСО/МЭК 11404
type HIST (Т :ANY) - class
l
validTimeLow : characterstring,
validTimeHigh :characterstring,
controlInformationRoot : characterstring,
controlInformationExtension : characterstring,
r.ullFlavor
update.Mode
:KullFlavor,
: UpdateMode,
flavorId :Set (characterstrir.g),
item : SetlT)
)
Примечание — История относится скорее к правильности информации, нежели к знанию системами
актуальной информации. Другие сведения приведены в 7.3.2.
7.9.7.3 Инварианты:
- все элементы последовательности должны иметь либо непустой атрибут validTimeLow. либо
непустой атрибут validTimeHigh;
- периоды действительности, задаваемые этими атрибутами, не должны пересекаться, и элемен
ты должны быть упорядочены в порядке возрастания хронологии.
Определения инвариантов на языке OCL:
inv "срок действия требуетсяitero->forAll(i I
i.validTimeLow.ocilsDefined or
i.va1idTimeHigh.ocl isDefined)
7.97.4 Примеры
<example xsi:type-"HIST_r£L">
<it.em nullFlavor-"UNK" use-"WP H" validTimeHigh-"199206
"/>
<item value-"tel:*-15552225543" use-"H“ validTimeLow-"199206"
validTimeHigh-"199207"/>
<item value-"tel:*15556667777" use-"H" validTimeLow-"199207"/>
</example>
В этом примере показана известная история изменения номеров домашнего телефона.
7.9.8 Тип данных BAG (мультимножество)
7.9.8.1 Описание
Специализация типа данных COLL
Параметр: Т : ANY
Неупорядоченная коллекция значений, каждое из которых может входить в эту коллекцию более
одного раза.
7.3.8.2 Синтаксис ИСО/МЭК 11404
type BAG (Т : ANY) - class (
validTimeLow : characterstring,
validTimeHigh :characterstring,
controlInformationRoot : characterstring,
controlInformationExtension : characterstring,
r.ullFlavor : KullFlavor,
updateMode : GpdateMode,
flavorld : Set (characterstring),
item : Bag(T)
126