ГОСТ Р ИСО/ТС 10303-1054—2012
4.2.6 Объокт Duration
Объект Duration является подтипом объекта Valuo_with_unit. который определяет величину интер
вала времени.
EXPRESS-спецификация:
•)
ENTITYDuration
SUBTYPE OF (Value_with_unit);
WHERE
WR1: VALUE_WITH_UNIT_ARM.’♦ TIME_UNIT IN
TYPEOF(SELFWalue_with_unit.unit);
END_ENTITY;
r
Формальное утверждение
WR1 — единица измерений объекта Durationдолжнабыть представлена объектом Time_unit.
4.2.7 Объект Eloctric_current_unit
Объект Electric_current_unit является подтипом объекта Unit, который представляет единицу изме
рений движения электрически заряженныхчастиц.
EXPRESS-спецификация:
’)
ENTITY Electric_current_unit
SUBTYPE OF (Unit);
END_ENTITY;
r
4.2.8 Объокт Length_unit
Объект Length_unit является подтипом объекта Unit, который представляетединицу измерений рас
стояния.
EXPRESS-спецификация:
•)
ENTITY Length_unit
SUBTYPE OF (Unit);
END_ENTITY.
(*
4.2.9 Объект Luminous_lntensity_unit
Объект Luminous_intensity_unit является подтипом объекта Unit, который представляет единицу
измерений яркости.
EXPRESS-спецификация;
*)
ENTITY Luminous_intensity_unit
SUBTYPE OF (Unit);
END_ENTITY;
(*
4.2.10 Объект Mass_unit
Объект Mass_unit является типом объекта Unit, который представляет единицу измерений массы.
EXPRESS-спецификация:
*)
ENTITY Mass_unit
SUBTYPE OF (Unit);
END_ENTITY;
r
4.2.11 Объект Plane_angle_unit
Объект Plane_anglo_unitявляется подтипом объекта Unit, который представляетединицу измере
ний углов в плоскостях.
6