ГОСТ Р HCO/HL7 27951—2016
INTndigits;
INTstart;
CALCY next;
TNTmax(TS);
TSsum(TS t, REAL t);
INTvalue(TS
t);
-i.nvdE.itmt(CALCY
С )
where c.nonNull (
с
.name.nonKu11;
с.stdEt.equal(0>.or(c.start.equal(1>>;
c.digits.greeterThan(0>;
I •
B.2.36 Тип данных момента времени PointlnTime (TS) (специализация типа данных QTY)
Определение: величина, указывающая момент на оси естественного времени. Момент времени чаще всего
представляется как календарное выражение.
Однако семантически время не зависит от календарей и лучше всего гложет быть описано с помощью связи с
прошедшим временем (измеряемым как физическая величина, имеющая размерность времени). Сумма значения
типа TS с прошедшим временем дает другое значение типа TS. И наоборот, вычитание значения типа TS из другого
значения типа TS дает прошедшее время.
Поскольку никто не знает, когда началось время, тип данных TS концептуализируется как количество вре
мени. прошедшее с некоторого произвольного момента отсчета, называемого началом эры. Так как на оси време
ни нет абсолютной (нулевой) течки отсчета, то естественное время является разностной величиной, для которой
определена только разность, но не отношение (например, нельзя сказать, что какой-то момент времени «вдвое
больше» другого момента времени).
Задав некоторую произвольную точку отсчета времени, любой момент времени можно представить в тер
минах времени, прошедшего от этой точки. Такая произвольная точка отсчета называется началом эры. В на
стоящей спецификации используется форма смещения от начала эры. но при этом не требуется, чтобы в каждой
системе тип данных TS был реализован именно таким способом. Системам, которым не требуется вычислять
дистанции между значениями типа TS. достаточно ограничиваться литеральными представлениями календар
ных выражений.
type PointlnTime alias TS specializes QTY (
onset;
calendar;
precision;
timezone;
equal(ANY x);
РЭ
CS
INT
PQ
BL
literal ST;
B.2.36.1 Свойство offset: PO
Определение: время, прошедшее от любого постоянного начала эры и измеряемое как физическая величи
на. размерностью которой является время (например, сравнимо с одной секундой).
invariant(TS х>
where x.nonNull (
х.onset.compares(1 з>;
1;
Настоящий стандарт не требует определения канонического начала эры; семантика остается той же самой
для любой эры при условии, что ее начало постоянно.
П р и м е ч а н и е — Свойство offset гложет трактоваться как чисто семантическое свойство, которое не
обязано быть представлено иначе как в литерале календарного выражения. Однако в спецификации реализуе мой
технологии может быть выбрано собственное постоянное начало эры. и значения типа TS могут быть в ней
представлены как смещение времени относительно начала эры. Но в такой технологии, использующей другие
календари, тем не менее существует потребность в передаче кода календарного цикла и точности календарного
представления.
378