ГОСТ Р ИСО 10303-11— 2009
5)знания о том. как конструкции были импортированы, то есть их видимость и реализуемость, преобразовы
ваются в правила. Информация, описывающая как объект был импортирован (учитывая различив между опера торами
USE и REFERENCE), влияет на его реализуемость и видимость; см. 11.2 и 11.3.
При этом может быть потеряна следующая семантическая информация:
теряются знания о схеме, из которой происходит каждая конструкция, комментарии, не имеющие меток
комментария (см. 7.1.6.3). могут быть отброшены, регистр символов в идентификаторах пользователя может не
сохраниться;
Ь)представление промежуточной единой схемы переписывают с использованием только конструкций из
ИСО 10303-11:1994 для создания конечной схемы в длинной форме. Преобразование из сокращенной формы
промежуточного представления в схему в длинной форме требует удаления или изменения конструкций языка
EXPRESS, не поддерживаемых предыдущей редакцией ИСО 10303-11. В частности, проводят следующие основ
ные действия с сопутствующими семантическими потерями:
1) типы данных EXTENSIBLE SELECT заменяют типами данных SELECT в соответствии с ИСО
10303-11:1994. не поддерживающим расширение.
2) типы данных EXTENSIBLE ENUMERATION заменяют типами данных ENUMERATION в соответствии с
ИСО 10303-11:1994, не поддерживающим расширение.
3) операторы SUBTYPE_CONSTRAINT удаляют:
их ограничения SUPERTYPE и операторы ABSTRACT преобразовывают в операторы SUPERTYPE. соот
ветствующие ИСО 10303-11:1994, и переписывают, чтобыудалитьтипы данных, которые вдругих обстоятельствах
не появились бы в схеме в длинной форме.
ограничения TOTAL_OVER заменяются конструкциями RULE,
4) ABSTRACT ENTITY и GENERIC_ENTITY преобразовывают в ограничения ABSTRACT SUPERTYPE.
5) конструкции RENAMED преобразовывают в атрибуты DERIVE.
6) для пустых типов данных SELECT должно быть сформировано сообщение об ошибке.
Спецификация промежуточной единой схемы является артефактом процесса преобразования и не ис
пользуется вне данного процесса.
Перечисленные выше действия более подробно описываются в последующих подразделах.
G.3 Изменение имен
G.3.1 Конфликты имен
Схема определяет область видимости имен, в которой имена, указанные в объявлениях объектов, уникаль
ны. Имена, объявленные в других схемах, относятся к другим областям видимости и поэтому они не обязательно
будут уникальными при формировании единой схемы из нескольких. Ниже представлен процесс объединения
объявлений из разных схем при формировании единой схемы. Для того, чтобы обеспечить уникальность имен
в такой единой схеме, любое имя. не являющееся уникальным в исходном наборе объединяемых схем,
должно быть модифицировано с тем. чтобы избежать конфликта имен и обеспечить выполнение требования
уникально сти имен в объединенной схеме.
Перед каждым не уникальным именем добавляется имя схемы, в которой оно определено, и строка ’_dot_\
Соответствующие изменения имен должны быть сделаны во всей исходной схеме.
Пример — Пусть обгюкт thing объявлен е схеме scha. а тип данных thing объявлен в схеме schb. При
объединении данных схем объект переименовывается в scha_dot_thing, а тип данных— в schb_dot_thing.
G.3.2 Идентификаторы, представленные строками
В схеме некоторые строки мотут представлять полностью уточненные имена.
Пример — В следующем фрагменте кода:
IF 1THIS_SCHEMA_AN_ENTITY •IN TYPEOF(super)
строка’
THIS_SCHEMA.AN_ENTITY
’представляет полностьюуточненное имя.
Если объявления, содержащие такие строки, перемещаются из своей исходной схемы в другую схему, то в
данных строках часть, содержащая имя исходной схемы, должна быть модифицирована, чтобы представлять
схему, в которую данные объявления перемещаются.
Пример — Пусть объявление с именем whatsit из схемы scha копируется в другую схему schb.Дру
гое объявление, содержащее строку ’ SCHA.WHATSIT также копируется в schb. В схеме schb данная
строка появится с именем ’ SCHB.WHATSIT \
G.4 Этап 1— преобразование нескольких схем в промежуточную схему
G.4.1 Введение
Ниже определен первый этап формирования спецификации модели данных единой схемы по ИСО
10303-11:1994 из спецификации моделей данных нескольких схем. Результатом данного этапа является специ
фикация модели данных в форме единой схемы по ИСО 10303-11:2003. Назовем данную схему artifact.
Исходными данными для преобразования на этапе 1 являются корневая и основная схемы для специфи
кации модели данных. Начальная спецификация модели данных должна быть ссылочно полной, то есть в ней не
должно быть неопределенных ссылок.
158