ГОСТ Р ИСО 21090—2016
Таблица 27 — Перечисление CalendarCycle, ОИД: 2.16.840.1.113883.5.9
УровеньКодОписаниеОпределение
1
CYyear (год)
1
MYmonth of the year (месяц года)
1
CMmonth (continuous) (непрерывный месяц)
1
CWweek (continuous) (непрерывная неделя)
1W M
week of the month (неделя месяца)
1
WYweek of the year (неделя года)
1
DMday of the month (день месяца)
1
CDday (continuous) (непрерывный день)
1
DYday of the year (день года)
1
DWday of the week (begins with Monday) (день недели, начиная с по
недельника)
1
HDhour of the day (час дня)
1
CHhour (continuous) (непрерывный час)
1
NHminute of the hour (минута часа)
1
CNminute (continuous) (непрерывная минута)
1
SNsecond of the minute (секунда минуты)
1
CSsecond (continuous) (непрерывная секунда)
7.10.13.4 Синтаксис ИСО/МЭК 11404 атрибута alignment
type CalendarCycle - enumeration (CY, MY, CM, CW, WY, DM, CD, DY, DW, HD, CH,
NH, CN, SN, CS)
7.10.13.4.1 isFlexible: Boolean: указывает, оставляется ли точная привязка времени на усмотрение
исполнителя расписания, например, чтобы отличить «каждые 8 ч» от «три раза вдень».
Примечание — Иногда такая привязка называется «во время, назначенное конкретным учреждением».
7.10.13.4.2 count: INT.POS: общее число повторений периода. Если атрибут count пуст или имеет
причину пустоты nullFlavor, то период повторяется бесконечно как до, так и после точки отсчета, задан ной
атрибутом phase.
7.10.13.5 Инварианты:
- если экземпляр типа данных PIVL не имеет причины пустоты nullFlavor. то может быть указан
либо атрибут period, либо атрибут frequency;
- длина width, указанная в атрибуте phase, должна быть меньшей или равной значению атрибута
period.
Определение инвариантов на языке OCL:
inv "у атриоутов типа данных PIVL нет истории или режима изменений":
r.oUpdateOrHistory(phase)and noUpdateOrHistory(period)
inv "no updateMode or History on PIVL attributes":
r.oUpdateOrHistory(phase) and noUpdateOrHistory(period)
inv "длина фазы": isNotNull implies
((phase.isNotNull implies phase.width < x.period) or
(frequency.isNotNull implies phase.width <
(frequency.denominator / frequency.numerator)))
141