ГОСТ Р ИСОГГС 10303-1123—2014
Определение атрибута
components - набор экземпляров объекта Hardcopy, представляющих составные части
физического документа.
4.4 Определение глобального правила ПЭМ
В настоящем подразделе приведено глобальное правило ПЭМ рассматриваемого прикладного
модуля.
4.4.1 Глобальное правило document_definltion_constraint
Каждый экземпляр объекта Product_view_definition. на который ссылается экземпляр объекта
Document_version. является экземпляром объекта Document_definition.
EXPRESS-спецификация:
*>
RULE aocumenC_definition_constraint FOR
(Product_view_definition);
WHERE
WR1:
SIZEOF ( QUERY ( dd <* Product_view_definition |
(
NOT
(
’DOCUMENT_DEFINITION_ARM.’ + ’DOCUMENT_DEFINITION’ IN TYPEOF (dd)
) ) AND ( ’DOCUMENT_DEFINITION_ARM.’ + •DOCUMENT_VERSION1 IN
TYPEOF (dd.defined_version> > > > =0;
END_RULE;
<*
Определение параметра
Product_view_definitlon - множество всех экземпляров объекта Product_view_ definition.
Формальное положение
WR1: каждый экземпляр объекта Product_view_definition, ссылающийся на экземпляр объекта
Document_version. является экземпляром объекта Document_ definition.
*>
END_SCHEMA.; -- Document_aefinition_arm
<*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» означает любой объектный тип данных, определенный в 5.2 или
импортированный с помощью оператора USE FROM из другой EXPRESS-схемы. а также любой из его
атрибутов и любое ограничение на подтипы, определенное в 5.2 либо импортированное с помощью
оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как
каждый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один
или более элементов ИММ (см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте.
Спецификация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего
спецификацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ. если данный атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может
содержать объектные типы данных, либо
- составное выражение вида «связь объекта <наименование объекта ПЭМ> с объектом <тип
данных, на который дана ссылка> (представляющим атрибут «наименование атрибута»)», если
данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT,
который содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» содержит в зависимости от рассматриваемого прикладного элемента:
6