5.1 Спецификация отображения
В настоящем стандарте термин "прикладной элемент" обозначает любой объектный тип данных, определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы. Термин "элемент ИММ" обозначает любой объектный тип данных, определенный в 5.2 или импортированный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и любое ограничение на подтипы, определенное в 5.2 или импортированное с помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, определяющая, как каждый прикладной элемент, описанный в разделе 4, отображается на один или несколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержащего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до пяти секций.
Секция "Заголовок" содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы, либо
- наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных, либо
- составное выражение вида "связь объекта <наименование объекта ПЭМ> с объектом <тип данных, на который дана ссылка>, представляющим атрибут <наименование атрибута>", если данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных.
Секция "Элемент ИММ" в зависимости от рассматриваемого прикладного элемента содержит:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ, представленное в виде синтаксической конструкции <наименование объекта>.<наименование атрибута>, если рассматриваемый атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в прикладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;
- синтаксическую конструкцию /SUPERTYPE(<наименование супертипа>)/, если рассматриваемый объект ПЭМ отображается как его супертип;
- одну или более конструкций /SUBTYPE(<наименование подтипа>)/, если отображение рассматриваемого объекта ПЭМ является объединением отображений его подтипов.
Если отображение прикладного элемента содержит более одного элемента ИММ, то каждый из этих элементов ИММ представлен в отдельной строке спецификации отображения, заключенной в круглые или квадратные скобки.
Секция "Источник" содержит:
- обозначение стандарта ИСО, в котором определен данный элемент ИММ, для тех элементов ИММ, которые определены в общих ресурсах;
- обозначение настоящего стандарта для тех элементов ИММ, которые определены в схеме ИММ настоящего стандарта.
Если в секции "Элемент ИММ" содержатся ключевые слова PATH или IDENTICAL MAPPING, то данную секцию опускают.
Секция "Правила" содержит наименование одного или более глобальных правил, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если никакие правила не применяются, то данную секцию опускают.
За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено данное правило.
Секция "Ограничение" содержит наименование одного или более ограничений на подтипы, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если ограничения на подтипы отсутствуют, то данную секцию опускают.
За ссылкой на ограничение подтипа может следовать ссылка на подпункт, в котором определено данное ограничение.
Секция "Ссылочный путь" содержит:
- ссылочный путь к супертипам в общих ресурсах для каждого элемента ИММ, определенного в настоящем стандарте;
- спецификацию взаимосвязей между элементами ИММ, если отображение прикладного элемента требует связать экземпляры нескольких объектных типов данных ИММ. В этом случае в каждой строке ссылочного пути указывают роль элемента ИММ по отношению к ссылающемуся на него элементу ИММ или к следующему по ссылочному пути элементу ИММ.
В выражениях, определяющих ссылочные пути и ограничения между элементами ИММ, применяют следующие условные обозначения: