ГОСТ Р ИСО 10303-203-2003
NOT (SIZEOF (guac.units) = 3 ))) = 0;
WR2: SIZEOF (QUERY (guac <• global_unit_assigned_context |
NOT ( ( SIZEOF (QUERY (u <♦ guac.units |
’CON FlG_CONTROL_DESIGN.LENGTH _UN IT IN TYPEOF (u))) = 1) AND
(SIZEOF (QUERY (u <♦ guac.units |
’CON FIG_CONTROL_DESIGN.PLAN E_ANGLE_ UNIT’ IN TYPEOF (u))) = 1) AND
(SIZEOF (QUERY (u <♦ guac.units |
’CONFlG_CONTROL DESIGN.SOLID_ANGLE_UNIT IN TYPEOF (u))) = I
)))) = 0;
END. RULE;
C
Описание аргумента
globalunit assigned_context —идентифицирует набор всех экземпляров объектов globaI_unit_as-
signedcontext.
Формальные утверждения
WR1 — для каждого экзематяра объекта global_unit_assigned_contex набор units должен иметь
точно три элемента;
WR2
— для каждою экземпляра объекта global_unit_assigned_context первым элементом в на
боре units должна быть единица измерения длины length_unit, вторым элементом —единица изме
рения плоских углов p!ane_angle_unit и третьим элементом —единица измерения телесных углов
solid_angle_unit.
5.2.5.49
Правого subtype_mandatory_QCtlon
Правило subtype_mandator>_action определяет, что все объекты action должны быть представ
лены объектами directed_action.
EXPRESS-спецификация
*)
RULE subtype_mandatory_action FOR
(action);
WHERE
WRI: SIZEOF (QUERY (act <• action |
NOT (’CONFIG_CONTROL_DESlGN.DIRECTED_ACT10N‘ IN
TYPEOF (act)))) = 0;
END_RULE;
C
Описание аргумента
action — идентифицирует набор всех ограниченных экземпляров объектов action.
Формальное утверждение
WR1
— каждым экземпляром объекта action должен быть объект directed_action.
5.2.5.50 Иршиио sublypemundatoryproduadejimlionjormaiion
Правило subtype_n!andatorr_product_definition_formation определяет, что все объекты prod-
uct_definition_formationдолжныбыл,представленыобъектамиproduct_definition_forma-
tion_with_specified_source.
EXPRESS-спеинфикаиия
ф)
RULE subtype..mandatory_product_definition_formation FOR
(product_definition_formation);
WHERE
WRI: SIZEOF (QUERY (pdf <• product_definition_formation |
NOT </CONFlG_CONTROL_DESIGN.’ +
PRODUCT_DEFINITION_ FORMATION,WITH.SPECIFIED_SOURCE’ IN
TYPEOF(pdO))) = 0;
END_RULE;
C
89