ГОСТ Р ИСО/ТС 10303-1010—2010
- час (hour);
- месяц (month);
- минута (minute):
- секунда (second);
- год (year).
4 Информационные требования
В данном разделе определены информационные требования к прикладному модулю «Дата и вре
мя», представленные в форме ПЭМ.
П р и м е ч а н и я
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как информационные требования удов
летворяются при использовании общих ресурсов и конструкций, определенных 8 схеме ИММ или импортированных в
схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы
Date_time_arm.
EXPRESS-спеиификация:
*)
SCHEMA Date_time_arm;
Г
4.1 Определение типов данных ПЭМ
В данном подразделе определены типы данных ПЭМ прикладного модуля «Дата и время».
4.1.1 Тип date_or_date_time_select
Тип date_or_date_time_select включает в себя обозначения типов данных Calendar_date и
Date_time.
EXPRESS-спеиификация:
*)
TYPE date_or_date_time_select = SELECT
(Catendar_date,
Date time);
END_TYPE;
r
4.1.2 Тип day_in_month_number
Тип day_ln_month_number представляет порядковый номер определенного дня в месяце.
EXPRESS-споцификаиия:
*)
TYPE day_in_month_number = INTEGER ;
WHERE
WR1: {1 <= SELF <= 31};
END_TYPE;
r
Формальное утверждение
WR1 — значение целого числа должно быть в диапазоне от 1до 31.
з