ГОСТ Р ИСОГГС 10303-1121—2014
EXPRESS-спеиификация:
*>
ENTITY Document_version
SUBTYPE OF (Product_version);
SELF\Proauct_version.of_proauct : Document;
EKD_ENTITY?
(*
Опредолоние атрибута
of_product - экземпляр объекта типа Document, представляющий документ, версию которого
представляет данный экземпляр объекта Document_version.
4.3 Определение глобального правила ПЭМ
В настоящем подразделе представлено глобальное правило ПЭМ рассматриваемого
прикладного модуля. Ниже приведено глобальное правило ПЭМ и его определение.
4.3.1 Глобальное правило document_vorsion_constraint
Каждый экземпляр объекта Product_version. на который ссылается экземпляр объекта
Document, является экземпляром объекта Document_version.
EXPRESS-спеиификация:
*)
RULE document_version_constraint FOR
(Product_version);
WHERE
WRl: SIZEOF (QUERY (pv <* Product_version | (NOT (
’DOCUMENT_AND_VERSION_IDENTIFICATION_ARM.’ + ’DOCUMENT_VERSION’ IN
TYPEOF (pv) ) ) AND ( ’DOCUMENT_AND_VERSION_IDENTIFICATION_ARM.’
+ ’DOCUMENT’ IN TYPEOF {pv.of_product) ) ) ) = 0 ;
END_RULE;
(*
Определение параметра
Product_verslon - множество всех экземпляров объекта Product_version.
Формальное положение
WR1: каждый экземпляр объекта Product_version. ссылающийся на экземпляр объекта
Document, является экземпляром объекта Document_version.
*>
END_SCHEMA; -- Document_ana_version_identification_arm
(*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» означает любой объектный тип данных, определенный в 5.2 или
импортированный с помощью оператора USE FROM из другой EXPRESS-схемы. а также любой из его
атрибутов и любое ограничение на подтипы, определенное в 5.2 либо импортированное с помощью
оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как
каждый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один
или более элементов ИММ (см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте.
Спецификация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего
спецификацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.
Секция «Заголовок» содержит:
4