ГОСТ Р ИСО/ТС 10303-439— 2011
EXPRESS-спсцификация:
*)
SCHEMA Ap239_product_life_cycle_support_mim;
USE FROM Ap239_activity_recording_mim; -- ISO/TS 10303-1287
USE FROM Ap239_product_status_recording_mim; - -10303-1304
USE FROMapplication_context_schema --IS 0 10303-41
(application_context.
application_protocol_definition):
Г
П р и м е ч а н и я
1 Схемы, ссылки на которые даны выше, определены а следующих документах и стандарте комплекса
ИСО 10303:
Ap239_actlvlty_recordlng_mlm
Ap239_product_etatus_recordlng_m lm
applicatlon_context_schem a
— ИСОЯС 10303-1287;
— ИСОЯС 10303-1304;
— ИСО 10303-41.
2 Графическое представление схемы Ap239_product_llfe_cycle_support_m lm приведено в приложении О.
рисунок D.1.
5.2.1 Определение правила ИММ
В данном подразделе определено правило ИММ для прикладного модуля «Поддержка жизненного
цикла изделий поприкладному протоколу ПП239».
5.2.1.1 Правило application_protocol_definition_required
Правило application_protocol_definition_required гарантирует, что определен, по крайней мере,
один объект application_protocol_definition, который устанавливает обозначение ’product_life_
cycle_supporf для прикладного протокола «Поддержкажизненного цикла изделий».
EXPRESS-спеииФикация:
*).
RULE application_protocol_definition_required FOR
(application_context);
WHERE
WR1:SIZEOF( QUERY( ac <* application_context | (SIZEOF (QUERY (apd <*
USEDIN(ac.’AP239_PRODUCT_LIFE_CYCLE_SUPPORT_MIM.APPLICATION_PROTOCOL_
DEFINITION. APPLICATION’) |apd.appllcation_interpreted_model_schema_name =
’product Jife_cyde_support’)) > 0))) > 0;
END_RULE:
Г
Определение аргумента
application_context — множество всех экземпляровобъекта application_context.
Формальное утверждение
WR1 — один экземпляр объекта application_protocol_definltion. который содержит экземпляр
объекта application_context в качестве атрибута и присваивает значение ’product_life_cycle_support’
атрибуту application_interpreted_model_schema_name. должен ссылаться по крайней мере на один
экземпляр объекта application_context.
*)
END_SCHEMA: - - Ap239_product_life_cycle_support_mim
Г
6