ГОСТ Р ИСОТТС 10303-1010—2010
•)
ENTITY Time_offset;
hour_offset: INTEGER;
minute_offset: OPTIONAL INTEGER;
sense: offset_orientafcon;
DERIVE
actual_minute_offset; INTEGER := NVL(minute_offset.O):
WHERE
WR1: {0 <= hour_offset < 24 );
WR2; {0 <= actual_minute_offset <= 59};
WR3; NOT (((hour_offset < > 0) OR (actual_minute_offset < > 0)) AND (sense = exact));
END_ENTITY;
r
Определение атрибутов
hour_offset — количество часов, на которые местное время отличается от Всемирного координи
рованного времени;
minute_offset — количество минут, на которые местное время отличается от Всемирного коорди
нированного времени. Значение данного атрибута может быть не задано;
sense — направление сдвига во времени;
actual_minute_offset — фактическое значение величины сдвига во времени в минутах, использу
емое для вычисления значения Tlmo_offset. Фактическое значение равно нулю, если значение атрибу та
minute_offset не задано, или значению атрибута minute_offset.
Формальные утверждения
WR1 — значение атрибута hour_offset должно быть положительным числом меньше 24.
WR2 — значение атрибута actual_minute_offset должно быть неотрицательным числом, меньше
или равным 59.
WR3 — если значение атрибута sense указывает, что сдвиг относительно Всемирного координи
рованного времени отсутствует, то значения обоих атрибутов hour_offset и actual_minute_offsot дол
жны равняться нулю. Если значение атрибута hour_offset или actual_minute_offset не равно нулю, то
значение атрибута sense должно быть определено с учетом сдвига во времени вперед или назад отно
сительно Всемирного координированного времени.
•)
END_SCHEMA; - - Date time_arm
С
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный
тип данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на под
типы. Термин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или
импортированный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атри
бутов илюбое ограничение на подтипы, определенное в 5.2 или импортированное с помощью опера
тора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каждый
прикладнойэлемент, описанный в разделе4 настоящего стандарта, отображается на один или несколь ко
элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержа
щего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до
пяти секций.
7