ГОСТ Р ИСО 13584-31—2010
Спецификация на языке EXPRESS:
TYPE plar.e_angle_measure - REAL;
ENL)_TYPE;
(*
П ри м е ча н и е — В контексте схемы api_abstract_schema плоский угол plane_ang<e_measure выражается
с помощью угловых единиц view_angle_unit.
6.1.2.6 Сущность positive_length_measure
Сущность positiveJength_measure задает положительную меру длины length_measure.
Спецификация на языке EXPRESS.
TYPE
positive_length_measure - length_measure;
WHERE
WR1:SELF > 0;
ENDJTYPE;
f* “
Комментарий к спецификации:
WR1: значение должно быть положительным.
6.1.2.7 Сущность positive_piane_angle_measure
Сущность positive_p!ane_anglo_measure задает положительный плоский угол plane_angle_
measure.
Спецификация на языке EXPRESS:
*)
TYPE positive_plar.e_angle_measure - plane_angle_measure;
WHERE
WR1: SELF > 0;
ENL)_TYPE;
<*
“
Комментарий к спецификации:
WR1: значение должно быть положительным.
6.1.2.8 Сущность parametervalue
Сущность parametervalue задает значение параметра в некоторой его области.
Спецификация на языке EXPRESS:
л)
TYPE parameter_value - REAL;
END_TYPE;
Г
6.1.2.9 Сущность message
Сущность message задает коммуникацию, адресованную системе для активизации некоторо
го действия. Результатом указанного действия является внешне определенный элемент externally_
deftnedjtem.
П р и м е ч а н и е— Нормативные значения сообщений описаны внутри моделей соответствующих
приложений.
Спецификация на языке EXPRESS:
TYPE message - STRING;
ENO_TYPE;
Г "
6.1.2.10 Ссылка
Ссылка (reference) обеспечивает идентификацию и запрос внешне определенного элемента
externally_dofmed_item.
20