ГОСТ Р ИСО/ТС 10303-439— 2016
5.2.2.3 Объект characterized_analysis_assignment
Объект characterized_analysis_assignmont является подтипом объектов charactorized_object и
analysis_assignment.
EXPRESS— спецификация.
Ч
ENTITY characterized_analysis_assignment
SUBTYPE OF (analysis..assignment, characterized_object};
END_ENTITY;
C
5.2.2 4 Объект characterized_assembly_component_usage
Объект characterized_assembly_component_usago является подтипом объектов characterized_
object и assombly_component_usago.
EXPRESS— спецификация:
*)
ENTITY character!zed_assembly_component_usage
SUBTYPE OF (assembly_component_usage, characterized_object);
END_ENTITY
;
C
5.2.2 5 Объект characterizod_versioned_action_request
Объект characterized_versioned_actlon_request является подтипом объектов characterized_ob-
ject and versioned_action_request.
EXPRESS— спецификация.
*)
ENTITY characterized_versioned_action_request
SUBTYPE OF (characterized_object, versioned_action_request);
END_ENTITY;
f
5.2.3 Определение правила ИММ
В данном подразделе определено правило ИММ для прикладного модуля «Поддержка жизненно
го цикла изделий по прикладному протоколу ПП239».
5.2.3.1 Правило application_protocol_dofinition_required
Правило application_protocol_dofinltlon_required гарантирует, что определен по крайней мере
один объект application_protocol_deflnition. который устанавливает обозначение ’product_life_cycle_
support’для прикладного протокола «Поддержка жизненного цикла изделий».
EXPRESS-спеииФикаиия:
*)
RULE application_protocol_definition_required FOR
(application_context);
VmERE
WR1: SIZEOF(QUERY< ac <‘ application, context | (SIZEOF (QUERY (apd <*
USEDIN(ac,’AP239_PRODUCT_LIFE_CYCLE_SUPPORT_KIM.APPLICATION_PROTOCOL_
DEFINITION.APPLICATION’) iapd.application..inrerpreted_model_schema name =■
,product_life_cycle_support* )) >0) >) > 0;
END_RULE;
C
Определение аргумента
application_context — множество всех экземпляров объекта application_context.
Формальное утверждение
WR1. Один экземпляр объекта application_protocol_dofinition. который содержит экземпляр
объекта application_context в качестве атрибута и присваивает значение •product_life_cycle_support •
атрибуту application_intorpreted_model_schema_name. должен ссылаться по крайней мере на один
экземпляр объекта application_context.
Ч
END_SCHEMA; -- Ap239_product_life_cycle_support_mim
С
111