ГОСТ Р ИСО/ТС 10303-1649—2014
Примечание - Не существует семантики, связанной с последовательностью зон в объекте Соппес-
tion_zone_based_assemblyJoint.
Формальное утверждение
WR1 - значение атрибута zone_1 не должно совпадать со значением атрибута zone_2.
4.3.8 Объект Default_assembly_bond_shape_model
Объект Default_assembly_bond_shape_model является подтипом объектаGeomet-
ric_model. который представляет форму объекта Assembly_bond_definltion.
EXPRESS-спецификаиия:
*>
ENTITY Default_assembly_bond_shape_model
SUBTYPE OF (Geometricjnodel);
shape_characterized_definition :Assembly_bond_definition;
WHERE
WR1: NOT EXISTS(SELF\Representation.description);
WR2: SI2EOF(USEDIN(SELF, ’SHAPE_PROPERTY_ASSIGNMENT_ARM.SHAPE
DESCRIPTION_ASSOCIATION.REPRESENTATION’))=0;
END_ENTITY;
(*
Определение атрибута
shape_characterized_definltion - определяет роль объекта Assembly_bond_definition для
объекта Default_assembly_bond_shape_model.
Формальные утверждения
WR1 - значение атрибута description не должно быть определено;
WR2 - объект Default_assembly_bond_shape_model не должен использоваться в роли атрибу
та representation ни у одного объекта Shape_description_association.
4.4 Определение ограничения подтипов ПЭМ
В данном подразделе определено ограничение подтипов ПЭМ прикладного модуля «Технологи
ческие свойства электронного узла». Ограничение подтипов устанавливает ограничение на возмож
ные реализации отношения «супертип - подтип».
4.4.1 Ограничение process_specification_subtypes
Ограничение process_specification_subtypes устанавливает ограничение, применяемое к экзем
плярам подтипов объекта Process_spocification.
EXPRESS-спецификаиия:
*)
SUBTYPE_CONSTRAINT
process_specificatior._subtypes FOR Process_specificatior.;
ONEOF (Assembiy_technology_specificatior.,
Fabricatior._technology_specif ication);
END_SUBTYPE_CONSTRAINT;
<*
*)
END_SCHEMA; -- Assembly_technology_arm
(* ’
13