ГОСТ Р ИСО/ТС 10303-1023—2012
4.3 Определение правила ПЭМ
В данном подразделе определено правило для прикладного модуля «Определение представле
ния детали».
4.3.1 Правило part_view_definition_constraint
Любой объект Product_view_dofmition. ссылающийся наобъект Part_version. является объектом
Part_view_definition.
EXPRESS-спецификация:
‘)
RULE part_view_definition_constraint FOR
(Product_view definition);
WHERE
WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT
( ’PART_VIEW_DEFINITION_ARM.’ + ’PART_VIEW_DEFINITION’ IN TYPEOF (pvd)))
AND ( •PART_VIEW_DEFINITION_ARM.’ + ’PART_VERSION’ IN TYPEOF
( pvd.defined_version))) ) =0;
END_RULE;
(*
Определение аргумента
Product_view_definitlon — множество всех экземпляров объекта Product_view_ definition.
Формальное утверждение
WR1 — любой объект Product_view_definition. ссылающийся на объект Part_ version, является
объектом Part_view_definition.
*)
END_SCHEMA; - - Part_view_definition_arm
(‘
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначает любой объектный типданных,
определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы. Термин
«элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импортированный с
помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и любое ограниче
ние на подтипы, определенное в 5.2 или импортированное с помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, определяющая, как каждый при
кладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или несколько
элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержа
щего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до
пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может содер
жать объектные типы данных, либо
- составное выражение вида; «связь объекта «наименование объекта ПЭМ> с объектом «типдан
ных. на который дана ссылка>, представляющим атрибут «наименование атрибута»», если данный ат
рибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который
содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» в зависимости от рассматриваемого прикладного элемента содержит;
- наименование одного или более объектных типов данных ИММ;
4