ГОСТ Р ИСО/ТС 10303-1287—2008
5.1.2 Прикладной объект classification_assignmont
Прикладной объект classification_assignment определен в модуле «Назначение классифика
ции». Здесь расширяется отображение этого объекта с тем. чтобы охватитьформальные утверждения,
определенные в настоящем модуле.
5.1.2.1 Отображение classification_assignment на obsorvation_consoquence (какItems)
Элемент ИММ:PATH
Ссылочный путь: applied_dassification_assignment.items[i] ->
classificationjtem
classificationJtem ’> ar_dassificationJtem
ar_classification_item =observation_consequence
5.1.2.2 Отображение classification_assignment на observationJtem (какitems)
Элемент ИММ:PATH
Ссылочный путь: applied_classification_assignment.items[i] ->
classificationjtem
classificationjtem *>ar_dassificationJtem
ar_classificationJtem = representation
5.1.3 Прикладной объект identification_assignment
Прикладной объект identification_assignment определен в модуле «Назначение идентификаци
онного кода изделия». Здесь расширяется отображение этого объекта стем. чтобы охватить формаль
ные утверждения, определенные в настоящем модуле.
5.1.3.1 Отображение identification_assignmont на observation (как items)
Элемент ИММ:PATH
Ссылочный путь: appliedJdentification_assignment
{appliedJdentification_assignment<=
identification_assignment
identification_assfgnment.role -> identification_role
appliedJdentification_assignment.items[i)->
identificationJtem *> tsrjdentificationJtem
tsrJdentificationJtem =observation)
5.1.3.2 Отображение identification_assignmont на observation_consequence (как items)
Элемент ИММ:PATH
Ссылочный путь: appliedJdentification_assignment
{appliedJdentification_assignment <=
identification_assignment
idenfification_.assignment.role -> identification_role
appliedJdentification_assignment.items[i]->
identification_item *> tsrjdentificationjtem
tsr_identificationJtem = observation_consequence)
5.1.4 Прикладной объектjustification_support_assignmont
Прикладной объект justification_support_assignment определен в модуле «Обоснование».
Здесь расширяется отображение этого объекта с тем. чтобы охватить формальные утверждения,
определенные в настоящем модуле.
5.1.4.1 Отображениеjustification_support_assignmont на observation (как supportJtem)
Элемент ИММ:PATH
Ссылочный путь: justification_support_assignment <=
group <-
group_assignment.assigned_group
group_assignment=>
justification_support_item_group_assignment
justification_support _item_group_assignment.items(1)->
justification_support_item
justification_supportJtem
* >
arJustification_supportJtem
arJustification_support_item =observation
и