ГОСТ Р ИСО/ТС 10303-1602—2014
EXPRESS-спецификация:
’)
ENTITY Altered_packaged_part
SUBTYPE OF (Packaged_part);
base_packaged_part : Packaged_part;
WHERE
WRl: MOT EXISTS (SELF\Product_view_defimtion.name);
WR2: ((SIZEOF<SELF\Packaged_part.used_package) - 1) AND (’AL-
TERED_PACKAGE_ARM.ALTERED_PACKAGE* IN TYPEOF(used_package(1)))) OR <EX
ISTS<S£LF\Packaged_part.implemented_function) AND
(SELF\Packaged_part.implemented_function :<>:
base_packaged_part\Packaged_part.implemented_function));
END_ENT1TY;
C*
Определение атрибута
base_packagod_part — задает для объекта Altered_packaged_part исходный неизмененный
корпусной компонент, представленный объектом Packaged_part.
Формальные положения
WR1. Атрибуту пате не должно присваиваться значение.
WR2. Или наследуемый от объекта Packaged_part агрегатный атрибут used_package должен
иметь мощность равную единице и содержать ссылку на представляющий подготовленный корпус
объект Altered_package. или наследуемый от объекта Packaged_part атрибут implemented_function
должениметьзначениеиэтозначениенедолжноравнятьсязначениюатрибута
implemented_function объекта, играющего роль атрибута base_packaged_part.
*>
END_SCHEMA; - Altered_part_arm
(*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» означает любой объектный тип данных, определенный в 5.2 или импортиро
ванный с помощью оператора USE FROM из другой EXPRESS-схемы, а также любой из их атрибутов и
любое ограничение на подтипы, определенное в 5.2 либо импортированное с помощью оператора USE
FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каж
дый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или
более элементов ИММ (см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте.
Спецификация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего
спецификацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
4