ГОСТ Р ИСО/ТС 10303-1103—2012
Формальное положение
WR1: в настоящем объекте роль атрибута rolo должен играть представляющий роль объекта объект
objoct_role, у которого значение атрибута name должно быть ’mandatory category usage’ (обязательное
использование категории) или ’optional category usage’ (необязательное использование категории).
5.2.3 Определение правил ИММ
В данном пункте определены правила ИММ для настоящего прикладного модуля.
5.2.3.1 Правило product_concept_feature_requires_category
Правило product_concept_feature_requires_category устанавливает, что каждый экземпляр пред
ставляющего особенности концепции изделия объекта product_concept_feature, который не является ни
экземпляром объекта inclusion_ product_concept_featuro, ни экземпляром объекта conditional_concept_
feature, является членом строгоодной категории особенностей концепции изделия, представленной объек
том product_concept_feature_category. Данная принадлежностьк категории выражается в том, что описы
вающий особенности концепции изделия объект product_concept_feature содержится в наборе элементов
строго одного представляющего присваивание группы объекта applied_group_assignment. При этом роль
атрибута role объекта applied_group_ assignmentиграет представляющий рольобъекта объект objoct_role,
имеющий значение атрибута name, равное ’specification category member1(член категории спецификаций).
Роль атрибута assignod_group объекта applied_ group_assignmont играет представляющий категорию
особенностей концепции изделия объект product_concept_foature_category.
EXPRESS-специФикаиия:
*)
RULE product_concept_feature_requires_category FOR
(product_concept_feature);
WHERE
WR1: SIZEOF ( QUERY ( pcf <* product_concept_feature |
(SlZEOF(fPRODUCT CLASS_MIM.‘ +
’INCLUSION_PRODUCT_CONCEPT_FEATURE’.’PRODUCT_CONCEPT_SCHEMA.’+
’CONDITIONAL_CONCEPT_FEATURE’] ‘ TYPEOF(pcf)) =0) AND (SIZEOF (
QUERY ( aga <* USEDIN ( pcf, ’GROUP.MIM.’ +
’APPLIED_GROUP_ASSIGNMENT.’ + ’ITEMS’)|( aga.role.name =
’specification category member) AND (’PRODUCT_CLASS_MIM.’ +
‘PRODUCT_CONCEPT FEATURE_CATEGORY’IN TYPEOF (aga.assigned_group
)))) <>1))) = 0:
END_RULE;
Г
Определение параметра
product_concept_feature — набор всех экземпляров объекта product_concopt_ feature.
Формальное положение
WR1: каждыйэкземпляр, представляющего особенности концепции изделияобъекта product_concept_
feature, содержится в наборе элементов строго одного представляющего присваивание группы объекта
appliod_group_assignment При этом роль атрибута rolo объекта applied_group_assignmentиграет пред
ставляющий роль объекта объект objoct_role, имеющий значение атрибута пате, равное ’specification
category member (член категории спецификаций). Роль атрибута assignod_group объекта applied_group_
assignment играет представляющий категорию особенностей концепции изделия объект product_concept_
foature_category.
5.2.3.2 Правило restrict_concept_feature_operator
Правило restrict_concept_foature_oporator ограничивает наименование и использование объекта
concept_feature_operator, представляющего используемый вусловных выражениях оператор особеннос
тей концегщии.
EXPRESS-спецкфикация;
*)
RULE restrict_concept_feature_operator FOR
(concept_feature_operator):
WHERE
WR1: SIZEOF (QUERY ( cfo <* concept_feature_operator | NOT (
cfo.name IN [’and’. ’or’. ’oneof . ’not1,’implication’)))) = 0;
28