ГОСТ Р ИСО/ТС 10303-1103—2012
WR2: SIZEOF (QUERY ( cfo <* concept_feature_operator |
(cfo.name = ’implication’)AND ( SIZEOF (QUERY (cfrwc <* USEDIN
( cfo. ’PRODUCT_CONCEPT_SCHEMA.’ +
•CONCEPT_FEATURE_RELATIONSHIP_WITH_CONDITION.’ +
’CONDITIONAL_OPERATOR’) | SIZEOF (QUERY ( ccf <* USEDIN( cfrwc ,
’PRODUCT_CONCEPT_SCHEMA.’ ♦
•CONDITIONAL_CONCEPT_FEATURE.CONDrriON’)|NOT
(’PRODUCT_CLASS_MIM.’+’INCLUSION_PRODUCT_CONCEPT_FEATURE’ IN
TYPEOF ( ccf)))) >0 )) >0 ))) = 0,
WR3: SIZEOF( QUERY (cfo <* concept_feature_operator | (cfo.name
= ’поГ) AND (SIZEOF(QUERY(cfrwc <* USEDIN(cfo.
’PRODUCTCONCEPTSCHEMA.’ ♦
’CONCEPT_FEATURE_RELATIONSHIP_WITH_CONDmON.CONDITIONAL_OPERATOR’) |
cfrwc.related_product_concept_feature :<>:
cfrwc.relating_product_concept_feature)) >0))) = 0;
END_RULE;
(*
Определениепараметра
concept_feature_operator — набор всех экземпляров объекта concept_feature_operator.
Формальные положения
WR1: каждый экземпляр объекта concept_foature_operator, представляющего используемый в ус
ловных выражениях оператор особенностей концепции, должен иметь значение атрибута пате, равное
’and* (и), ’оГ (или), ’oneof (один из), ’not’ (нет), или ’implication’ (применение).
WR2: если экземпляр объекта concopt_feature_oporator, представляющего используемый в услов
ных выражениях оператор особенностей концепции, имеет значение атрибута name, равное ’implication’
(применение), то такой объект может играть только роль атрибута conditional_oporator (условный опера
тор) у экземпляров объектов concopt_feature_relationship_with_condition, которые играют роль атрибута
condition у экземпляров объектов conditional_concept_ feature, являющихся объектами типа
inclusion_product_concept_featuro.
WR3: если объект concept_foature_operator, представляющий используемый в условных выраже
ниях оператор особенностей концепции, имеет значение атрибута пате, равное ’not1(нет), то такой объект
может играть только роль атрибута conditional_oporator (условный оператор) у экземпляров объектов
concept_foature_-relationship_with_condition, у которых атрибуты relating_product_concept_foature и
related_product_concopt_feature ссылаются на один и тот же экземпляр объекта.
5.2.3.3 Правило restrict_group_rolationship_for_spocificatlon_catogory
Правило rostrict_group_relationship_for_specification_category позволяет удостовериться втом. что
существует правильная корреляция между атрибутами пате объекта group_retationship, представляю
щего отношения между группами и типами участвующих в отношении групп.
EXPRESS-спецкфикация.
*)
RULE restrict_group_reiationship_for_specification_category FOR
(group_relationship),
WHERE
WR1: SIZEOFf QUERY( gr <* group_relationship | (gr.name =
’specification category hierarchy’) AND
(NOT(‘PRODUCT_CLASS_MIM.PRODUCTCONCEPT_FEATURE_CATEGORY’IN
TYPEOF(gr.relatod_group)) OR
NOT(’PRODUCT_CLASS_MIM.PRODUCT_CONCEPT_FEATURE_CATEGORY‘ IN
TYPEOF(gr.relating_group))))) =0;
END_RULE;
C
Определениепараметра
group_relationship — набор всех экземпляров объекта group_relationship.
29