ГОСТ Р ИСО 10303-203-2003
(сс design_specification_reference);
WHERE
WR1: SIZEOF (QUERY (sp <• cc_design_specification_reference |
NOT <(((’CONFrG_CONTROL_DESIGN.DOCUMENT_RELATIONSHlF.’ +
’RELATINGJDOCUMENT IN
ROLESOF (sp\documentreference.a<>signed.document)) AND
(SIZEOF (QUERY (it <♦ sp.items |
NOT (’C0NFIG_C0NTR0L_DESIGN.PR0DUCT_DEF1N1T10N’ IN
TYPEOF (it)))) = 0 )))
OR
(NOT (’CONFIG_CONTROL DESIGN.DOCUMENT..RELATIONSHIP.’ +
’RELATING_ DOCUMENT’ IN
ROLESOF (sp\document_rcference.assigned_document)))))) = 0;
END_RULE:
C
Описания аргументов
cc_design_specifIcation_reference — идентифицирует набор всех экземпляров объектов cc_de-
sign_spedfication_reference:
productdefinition — идентифицирует набор всех экземпляров объектов product_dennition.
Формальное утверждение
WRI —для каждого экземпляра объекта cc_design_specification_reference. если ссылающийся
на него объект document использован в атрибуте relating_document объекта document_relationship.
каждым элементом набора соответствующих объектов items должен быть объект product_dcfinition.
5.2.5.47 Правило as_required_quatuity
Правило as_required_quantity определяет использование типа descriptive_mcasure в объекте
measure_with_unit. Значением строкового (STRING) типа объекта descripti»e_measure всегда должно
быть “as_required”. Это правило устанавливает требование к указанию необходимой величины в
заданной единице измерения.
EXPRESS-спецнфикацня
*)
RULE as_required_quantity FOR (measure_wiih unit);
WHERE
WRI: SIZEOF (QUERY (m <* measure_with_unit |
(,CONFlG_CONTROL_DESlGN.DESCRIPTIVE_MEASURE’ IN
TYPEOF (m.value_component ) ) AND
(NOT (m.value. component = ’as_required’)))) = 0;
END_RULE;
(4
Описание аргумента
mea.sure_with_unit — идентифицирует набор всех экземпляров объектов measure_with_unit.
Формальное утверждение
WR1 —для каждого экземпляра объекта measure_with_unit, если атрибут value представлен
типом descriptive_measure. значением этого атрибута должно быть “as_required’\
5.2.5.4Х Правши) global_untt_asslgnment
Правило global_unit_axsignmcnt определяет единицы измерения, которые должны быть уста
новлены для объекта global_unit_assigned_context. Это правило устанавливает, что каждый объект
gIobal_unit_assigned_context должен иметь три элемента в наборе units и содержать единицы изме
рения длины, плоских и телесных углов.
EXPRESS-спецнфикация
*)
RULE global_unit_axsignmeni FOR (global_unit_assigned_context);
WHERE
WRI: SIZEOF (QUERY (guac <♦ global_unit_assigned„context |
ss