ГОСТ Р ИСОГГС 10303-1345—2014
>
= 0 ))) = 0;
END_RULE;
(*
’
Определение аргумента
Part_definition_relationship - множество всех экземпляров объекта Part_dofini-
tion_relationship.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта Part_definition_relationship,
атрибут relation_type которого имеет значение ’definition replacement’, на который бы не ссылался
через свой атрибут items по крайней мере один экземпляр объекта Effoctivity_assignment.
4.4.2 Правило mandatory_part_occurrence_definitlon_relationship
Правило mandatory_part_occurrence_definition_relationship определяет, что при описании
сборочных взаимосвязей между деталями должен быть создан экземпляр объекта Assem-
bled_part_association. являющегося подтипом объекта Assembly_component_relationship .
EXPRESS-слецификация:
*>
RULE mandatory_part_occurrence_definition_relationship FOR
(Assembly_componer.t_relationship);
LOCAL
assemblies_of_parts:SET OF Assembly_component_relationship :=
[ ] ;
END_LOCAL;
Определение аргумента
Assembly_componont_relationship - множество всех экземпляров объекта
bly_component_relationship.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта Assembly_
nent_relationship.унаследованныйатрибутrelating_viewкоторогопредставлен
Part_view_definition, который бы не являлся также подтипом объекта
bled_part_association.
*)
END_SCHEMA; -- Item_definition_structure_arm
<*
WHERE
WR1: SIZEOF(QUERY(ar <* assemblies_of_parts |NOT
(’ITEM_DEFINITION_STRUCT0RE_ARM.ASSEMBLED_PART_ASSOCIATION’ IN
TYPEOF(ar)) )>= 0;
END_RULE;
{*
Assem-
compo-
объектом
Assem-
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначает любой объектный тип дан
ных. определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импорти
рованный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и
6