ГОСТ Р ИСО 21090—2016
7.10.5 Тип данных QSD (разность экземпляров типа данных QSET)
Специализация типа данных QSET
Специализация типа данных QSET в форме разности двух множеств
7.10.5.1 Синтаксис ИСО/МЭК 11404
type OSU (I : ANY) - cla ss (
validTim eLow : c h a ra c te rs trin g ,
validT im eH igh : c h a ra c te rs trin g
,
c o n tro lIn fo rm a tio n R o o t : c h a ra c te rs trin g ,
c o n tro lln fo rm a tio n E x te n s io n : c h a ra c te rs trin g ,
n u llF la v o r
updateMode
: N u llF la v o r,
: CpdateMode,
fla v o rld : Set (c h a ra c te rs trir.g ),
o rig in a lT e x t : ED.TEXT,
minuend : QSETIT)
subtrahend : QSETIT)
J
Разность представляет собой вычитание второго множества из первого.
7.10.5.2 Атрибуты
7.10.5.2.1 minuend . QSET(T): множество, из которого вычитается второе множество.
7.10.5.2.2 Subtrahend : QSET(T): множество, которое вычитается из первого множества.
7.10.5.3 Инварианты:
- непустой экземпляр типа данных QSD может быть результатом разности только непустых экзем
пляров типа данных QSET.
Определения инвариантов на языке OCL:
in v in v "не пусто": is N o tN u ll im p lie s (m inuend.isN otN ull and
su b tra h e n d .isN o tN u ll)
7.10.6 Тип данных QSP (периодическая оболочка экземпляров типа данных QSET)
7.10.6.1 Описание
Специализация типа данных QSET
Специализация типа данных QSET в форме периодической оболочки двух множеств (см. рисунок 11).
Расписание А
Расписание В
—
ш
Периодическая
оболочка
^
ч ш
—
У ///////Ж
^
е з
^
— и —
Время
E S IS SIS S S 1
Рисунок 11 — Периодическая оболочка
Периодическая оболочка может быть получена с помощью сравнения двух чередующихся мно
жеств. Значения А и В типа QSET считаются чередующимися, если интервалы событий обоих групп
могут быть попарно упорядочены. При этом соответствующие пары интервалов а С А и b £ В должны
удовлетворять следующему условию: интервал а начинается до начала интервала b (или в то же самое
время), и интервал b завершается после завершения интервала а (или в то же самое время).
Отношение чередования имеет место, если два расписания имеют одинаковую среднюю частоту
и при этом второе расписание никогда не «перекрывает» первое расписание. Другими словами, ника
кой интервал события второго расписания не может начаться раньше соответствующего ему интервала
события первого расписания.
7.10.6.2 Синтаксис ИСО/МЭК 11404
type QSP (Т : ANY) - c la s s l
validTim eLow : c h a ra c te rs trin g .
133