ГОСТ Р ИСО 10303-203-2003
5.2.4.2.44 Изменение объекта eflectivity
Оснопное описание объекта effectivity приведено в ГОСТ Р ИСО 10303-41. Уточнение данного
описания приведено в настоящем стандарте.
Соответствующие глобальные правила
Для объекта effectivity применяют следующие глобальные правила из настоящего стандарта:
- subtype_mandatoiy_effectivity (см. 5.2.5.65);
- effectivity_requires_approval (см. 5.2.5.66).
5.2.4.2.45 Изменение объекта next_assembly_usage_occurrence
Основное описание объекта next_assembly_usage_occurrenee приведено в ГОСТ Р ИСО 10303-44.
Уточнение данною описания приведено в настоящем стандарте.
Соответствующее мобальное правило
Для объекта next_assembIy_usage_occurrence применяют следующее глобальное правило из
настоящего стандарта:
- coordinated_assembly_and_>hape (см. 5.2.5.68).
5.2.4.2.46 Изменение объекта a.ssembly_componem usage
Основное описание объекта assembly_componet_usage приведено в ГОСТ Р ИСО 10303-44.
Уточнение данного описания приведено в настоящем стандарте.
Соответствующее глобальное правило
Для объекта assembly_component_usage применяют следующее глобальное правило из настоя
щего стандарта:
- acu_requires_security_classification (см. 5.2.5.70).
5.2.5 П р а в и л ав п р о е к т ес у п р а в л я е м о йк о н ф и г у р а ц и е й
5.2.5.1 Правим application_eontexi_requires_ap„deJinition
Правило application_context_requires_ap_dennition определяет, что па каждый экземпляр объек
та app!ication_context должна быть только одна ссылка из объекта application_protocol_dennition,
определенного в настоящем стандарте.
EXPRESS-спеиификаиия
*)
RULE application_context_requires_ap_definition FOR
(application context, application_protocol_definition);
WHERE
WR1: S1ZEOF (QUERY (ac <• application_context |
NOT (S1ZEOF (QUERY (apd <* applicationprotocol.definition |
(ac :=: apd.application)
AND
(apd.application_interpreted_model_schema_name =
’config_control design’))) = ! ) ) ) = 0;
END_RULE;
C
Описания аргументов
applicatk>n_context —идентифицирует набор всех экземпляров объектов application_context;
application_protocol_defmition — идентифицирует набор всех экземпляров объектов applica-
tion_protocol_definition.
Формальное утверждение
WRI — для каждого экземпляра объекта application_context должен существовать только один
ссылающийся на него экземпляр объекта application_protocol_definition. устанавливающий область
действия со значением ’config.control_design\ соответствующим наименованию схемы applica-
tion_interpreted_model_schema_name.
5.2.5.2 Правило subtype^mandatory^product„context
Правило subtype_mandatory_product_context определяет допустимое использование объекта
product_context. Для задания discipline...type в product_context должен быть использован объект
mechanical_context. Его использование гарантирует, что данные об изделии представлены с точки
зрения машиностроения.
65