ГОСТ РИСО 21090—2016
- атрибуты tow и lowClosed должны быть пустыми:
- атрибуты high и highClosed должны быть пустыми.
Определения инвариантов на языке OCL:
:nv "длина”:isNotKull implies width.isNotKull
inv "нижняя граница”:low.oclIsUndefined and lowClosed.oclIsUndefined
mv "верхняя граница": high,oclLsLndefined and highClosed.oclIsUndefined
7.10.13 Тип данных PIVL (периодический интервал)
7.10.13.1 Описание
Специализация типа данных QSET
Повторяющийся интервал времени. Тип данных PIVL имеет два свойства: фазу (phase) и период/
частоту (pehod/frequency). Свойство phase задает «прототип интервала», который повторяется с часто
той. заданной свойствами period или frequency.
7.10.13.2 Синтаксис ИСО/МЭК 11404
type PIVL
(Т :
A N Y ) -
class
{
validTimeLow :characterstring,
validTimeHigh :characterstring,
controllnformationRoct :characterstring,
controlInformationExtension :characterstring,
nullFlavor :NullFlavor,
updateMcde :UpdateMode,
flavorld :Set(characterstrir.g),
origmalText :ЕЭ.ТЕХТ,
phase : 1VL{TS),
period :PQ,
frequency :RTO,
aligntrient :CalendarCycle,
isFlexible :boolean,
count : INT.POS
)
7.10.13.3 Атрибуты
7.10.13.3.1 phase : IVL(TS): прототип повторяющегося интервала, задающий длительность каж
дого повторения и привязку последовательности экземпляров, задаваемых значением типа PIVL, к
определенному моменту времени. Атрибут phase также определяет точку отсчета для всей серии
периодически повторяющихся интервалов. Он не может быть пустым или иметь причину пустоты
nullFlavor. повторение интервалов не имеет ни начала, ни конца, оно бесконечно как в будущем, так и в
прошлом.
Длина интервала (width), задаваемого атрибутом phase, должна быть меньше или равна значе
нию атрибута периода period.
7.10.13.3.2 period : PQ: промежуток времени, являющийся обратной величиной частоты повторе
ния интервалов.
7.10.13.3.3 frequency : RTO: число повторений интервалов (заданное в числителе numerator) в
течение определенного периода времени (заданного в знаменателе denominator). Числитель numerator
является целым числом, а знаменатель denominator имеет тип PQ.TIME.
Должен задаваться только один из атрибутов period и frequency. Выбранная форма должна наи
более естественно отражать идею для человека, например, каждые 10 мин. (period) или дважды в день
(frequency).
7.10.13.3.4 alignment: CalendarCycle: указывает, привязаны ли повторения к календарному циклу
и если да. то каким образом (например, чтобы различать «ка>едые 30 дней» от «5-го числа каждого
месяца»). Непривязанное значение типа PIVL повторяется независимо от календаря. Привязанное зна
чение типа PIVL синхронизируется с календарем.
Если этотатрибутимеет значение, тоонодолжнобыть взято иэсистемы кодирования CalendarCycle,
определенной рабочей группой HL7. Текущие значения приведены в таблице 27.
140