ГОСТ Р ИСО 10303-22-2002 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 22. Методы реализации. Стандартный интерфейс доступа к данным

ГОСТ Р ИСО 10303-22-2002

Группа П87

ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

СИСТЕМЫ АВТОМАТИЗАЦИИ ПРОИЗВОДСТВА И ИХ ИНТЕГРАЦИЯ


ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 22

Методы реализации. Стандартный интерфейс доступа к данным

Industrial automation systems and integration. Product data representation and exchange. Part 22. Implementation methods. Standard data access interface

ОКС 25.040.40

ОКСТУ 4002

Дата введения 2003-07-01

Предисловие

1 РАЗРАБОТАН Всероссийским научно-исследовательским институтом стандартизации (ВНИИстандарт) при участии Научно-технического центра "ИНТЕГРО-Д”

ВНЕСЕН Техническим комитетом по стандартизации ТК 431 "CALS-технологии"

2 ПРИНЯТ И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Госстандарта России от 25 июня 2002 г. N 250-ст

3 Настоящий стандарт представляет собой аутентичный текст международного стандарта ИСО 10303-22-98 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 22. Методы реализации Стандартный интерфейс доступа к данным"

4 ВВЕДЕН ВПЕРВЫЕ

Введение

Стандарты серии ГОСТ Р ИСО 10303 распространяются на машинно-ориентированное представление данных об изделии и обмен этими данными. Целью является создание механизма, позволяющего описывать данные об изделии на протяжении всего жизненного цикла изделия независимо от конкретной системы. Характер такого описания делает его пригодным не только для обмена инвариантными файлами, но также и для создания баз данных об изделиях, коллективного пользования этими базами и архивации соответствующих данных.

Серия ГОСТ Р ИСО 10303 представляют собой набор отдельно издаваемых стандартов (частей). Части данной серии стандартов относятся к одной из следующих тематических групп: методы описания, интегрированные ресурсы, прикладные протоколы, комплекты абстрактных тестов, методы реализации и аттестационное тестирование.

Настоящий стандарт входит в серию ГОСТ Р ИСО 10303 и определяет стандартный интерфейс доступа к данным (СИДД - SDAI), описанный средствами языка EXPRESS (ГОСТ Р ИСО 10303-11). Команды, определенные в стандарте, позволяют прикладному программисту манипулировать данными с использованием СИДД, опираясь на их описание в конкретной (ных) схеме(ах) Стандартизация интерфейса доступа к данным и описаний данных обеспечивает функциональные возможности для интеграции различных компонентов программных средств, получаемых от разных поставщиков.

Основными тематическими частями настоящего стандарта являются:

- конструктивы среды СИДД, определяемые на языке EXPRESS (разделы 6-9);

- команды, ошибки и состояния СИДД (разделы 10-12);

- классы реализации функциональных возможностей СИДД, которым должны соответствовать реализации (раздел 13).

Прикладные вычислительные системы реализуются с использованием машинных языков. При установлении требований к функциональным возможностям, определенным в настоящем стандарте, в конкретном машинном языке используют понятие языковой привязкой СИДД (SDAI language binding). Так как существует много машинных языков, возможно существование множества языковых привязок СИДД. Языковые привязки СИДД для конкретных машинных языков определяются в других стандартах серии ГОСТ Р ИСО 10303.

Реализации конкретных языковых привязок СИДД не должны обеспечивать полного набора функциональных возможностей, описанных в настоящем стандарте. Конкретные наборы функциональных возможностей сгруппированы в классы реализации. Классы реализации, по которым определяется соответствие настоящему стандарту, установлены в разделе 13.

Примечания

1 Настоящий стандарт дополнен приложениями А, В, С, D и Е.

2 В настоящем стандарте конструктивы, описанные с использованием языка EXPRESS, в ряде случаев выделены полужирным шрифтом (например referenced_item).

1 Область применения

Настоящий стандарт определяет функциональные характеристики интерфейса доступа к данным. На интерфейс ссылаются как на стандартный интерфейс доступа к данным (СИДД-SDAI). СИДД определяет команды, доступные приложениям в целях получения и управления данными, структура которых определена с использованием языка EXPRESS (ГОСТ Р ИСО 10303-11).

СИДД описан в терминах, независящих от любого машинного языка или системы. При установлении требований к функциональным возможностям, определенным в настоящем стандарте, в конкретном машинном языке используют понятие языковой привязкой СИДД (SDAI language binding). Языковые привязки СИДД для конкретных машинных языков определяются в группе стандартов серии ГОСТ Р ИСО 10303 по методам реализации.

Настоящий стандарт распространяется на:

- доступ и манипулирование экземплярами объектов, описанными с использованием языка определения данных EXPRESS;

- одновременный доступ отдельного приложения к многим хранилищам данных;

- возможности для объединения операций в группы, воздействие которых может быть сохранено или отменено по усмотрению приложения;

- доступ к словарю, описывающему элементы данных, которыми может манипулировать приложение;

- способность вызывать проверку правильности ограничений, установленных с использованием языка EXPRESS, по усмотрению приложения;

- обеспечение управления отношениями зависимости между экземплярами объектов;

- возможности описания логических коллекций экземпляров объектов, определяющих совокупность, в которой допускаются ссылки между экземплярами объектов;

- возможности описания логических коллекций экземпляров объектов, определяющих совокупность, в которой действуют глобальные правила;

- обеспечение использования данных, созданных в контексте одной схемы, в контексте другой схемы.

Настоящий стандарт не распространяется на:

- полную спецификацию поведения реализации СИДД в многопользовательской среде.

Примечание 1 - Это не препятствует реализации СИДД обеспечивать многопользовательский разделяемый доступ к данным, когда поведение реализации зависит от определенной технологии хранения данных;

- конкретное обеспечение установления соединения с удаленным хранилищем данных.

Примечание 2 - Это не препятствует реализации СИДД обеспечивать доступ к удаленному хранилищу данных через механизм, специфический для данной реализации;

- команды доступа к данным и манипулирования ими, зависящие от семантики данных;

- требования к механизмам или форматам, посредством которых данные представляются в хранилище;

- создание, удаление и обозначение хранилищ данных, доступных через СИДД.

2 Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты.

ГОСТ Р ИСО/МЭК 8824-1-2001 Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации

ГОСТ Р ИСО 10303-1-99 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы.

ГОСТ Р ИСО 10303-11-2000 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

ГОСТ Р ИСО 10303-21-99 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 21. Методы реализации. Кодирование открытым текстом структуры обмена

ГОСТ Р ИСО 10303-31-2002 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 31. Методология и основы аттестационного тестирования. Общие положения

ИСО 8601-88* Элементы данных и форматы обмена. Информационный обмен. Представление дат и времени

_______________

* Оригиналы стандартов ИСО - во ВНИИКИ Госстандарта России.

3 Определения и сокращения

3.1 Термины, определенные в ГОСТ Р 10303-1

В настоящем стандарте использованы следующие термины:

- приложение;

- прикладной протокол (ПП);

- данные;

- метод реализации;

- информация;

- информационная модель;

- информационная модель изделия;

- заявка о соответствии реализации протоколу (ЗСРП);

- структура.

3.2 Термины, определенные в ГОСТ Р ИСО 10303-11

В настоящем стандарте использованы следующие термины:

- тип данных сложного объекта;

- тип данных;

- объект;

- тип данных объекта;

- экземпляр объекта;

- экземпляр;

- совокупность;

- значение.

3.3 Другие определения

В настоящем стандарте использованы следующие термины с соответствующими определениями.

3.3.1 прикладная схема (application schema): Информационная модель, определенная при помощи языка EXPRESS, описывающая данные, представляющие интерес в конкретном контексте или области.

Примечание - Схемы, определенные в стандартах серии ГОСТ Р ИСО 10303 по прикладным протоколам, должны рассматриваться как прикладные схемы.

3.3.2 параллельный доступ (concurrent access): Возможность для нескольких компьютерных приложений одновременно манипулировать данными в хранилище.

3.3.3 ограничение (constraint): Описанный средствами языка EXPRESS предел, налагаемый на данные, позволяющий оценить допустимость данных для использования в конкретном контексте.

3.3.4 текущая схема (current schema): EXPRESS-схема, внутри которой элементы из других схем становятся видимыми посредством EXPRESS-спецификации интерфейса.

3.3.5 внешняя схема (external schema): EXPRESS-схема со всеми разрешенными импортируемыми элементами, содержащая типы данных, определенные как имеющие область значений, эквивалентную типам данных из собственной схемы.

Примечание - В А.1.1 описан процесс разрешения импортирования элементов.

3.3.6 инородная схема (foreign schema): EXPRESS-схема, отличная от текущей, элементы которой становятся видимыми в текущей схеме посредством EXPRESS-спецификации интерфейса.

3.3.7 идентификатор (identifier): Зависимые от реализации обозначения экземпляра объекта и агрегата, обеспечивающие их уникальность в течение сеанса СИДД.

3.3.8 класс реализации (implementation class): Спецификация реализуемого подмножества функциональных возможностей, определенных в настоящем стандарте, которому может соответствовать реализация.

3.3.9 итератор (iterator): Механизм, позволяющий прикладной программе "пробежать" по содержанию экземпляра агрегата.

3.3.10 собственная схема (native schema): EXPRESS-схема со всеми разрешенными импортируемыми элементами, на которой могут базироваться экземпляр схемы или СИДД-модели.

3.3 11 хранилище (repository): Определенное средство хранения данных.

3.3.12 экземпляр схемы (schema instance): Логическое объединение связанных моделей СИДД, устанавливающее область значений экземпляров объектов. Эта область ограничивает ссылки между экземплярами объектов и является областью, в которой проверяют глобальные правила.

3.3.13 СИДД-модель (SDAI-model): Контейнер, внутри которого существуют связанные экземпляры объектов.

3.3.14 языковая привязка СИДД (SDAI language binding): Функциональные возможности СИДД, определенные на конкретном машинном языке.

3.3.15 схема СИДД (SDAI schema): EXPRESS-схема, определенная в настоящем стандарте.

3.3.16 сеанс (session): Команды (операции), которые выполняются между началом и окончанием использования реализации СИДД одним приложением.

3.3.17 проверка правильности (validation): Проверка экземпляров на соответствие ограничениям, установленным в схеме, описывающей их структуру, значения и отношения.

3.4 Сокращения

В настоящем стандарте использованы следующие сокращения:

ПП (АР) - прикладной протокол;

ЗСРП (PICS) - заявка о соответствии реализации протоколу;

ТЧ (RO) - только чтение;

Ч3 (RW) - чтение-запись;

СИДД (SDAI) - стандартный интерфейс доступа к данным.

4 Краткий обзор СИДД (SDAI)

4.1 Интерфейсы доступа к данным

Язык EXPRESS позволяет определять объекты с атрибутами и ограничения, которым должна удовлетворять допустимая совокупность этих объектов. СИДД устанавливает требования к программному интерфейсу для создания и манипулирования экземплярами EXPRESS-объектов. СИДД и язык EXPRESS совместно определяют интерфейс доступа к данным, который не зависит от конкретной технологии хранения данных.

4.2 Команды (операции) и состояние сеанса

С началом сеанса СИДД его команды могут быть использованы для манипуляции экземплярами типов данных объектов, определенными в приложении и схемах СИДД. Сеанс имеет несколько различных состояний, представленных в табличной форме в разделе 12. В каждом состоянии доступен ряд команд (операций) СИДД, некоторые из которых могут изменять данное состояние. Информация, связанная с сеансом и его состоянием, доступна в течение сеанса в виде сочетания схем сеанса и совокупности СИДД (см. разделы 7 и 8).

4.3 Хранилища, экземпляры схем и СИДД-модели

СИДД определяет интерфейс между приложением и средой, в которой существуют экземпляры объектов. Два аспекта этой среды известны как хранилища и экземпляры схемы. Хранилищами являются средства хранения данных. Экземплярами схем являются логические коллекции СИДД-моделей, из которых может быть получено множество экземпляров объектов. Это множество экземпляров объектов является областью, в которой обеспечиваются ссылки между экземплярами объектов и проверка глобальных правил. Несмотря на то, что экземпляры схем, подобных СИДД-моделям, создаются внутри хранилища, СИДД-модели из любого другого хранилища могут быть связаны с данным экземпляром схемы.

Примечание - Хранилище может быть реализовано в памяти как одиночная база данных, многократные базы данных, одиночный файл, набор файлов или в любой другой форме.

Пример 1 - На рисунке 1 показаны некоторые взаимосвязи между СИДД-моделями, хранилищами и экземплярами схем. Экземпляры схем 1А и 1В и СИДД-модели 11-13 базируются на схеме 1, однако они существуют в различных хранилищах. Ссылки между СИДД-моделями 11 и 13 не разрешены, так как эти модели не связаны с одним и тем же экземпляром схемы СИДД-модель 13, базирующаяся на схеме 1, связана с экземпляром схемы 2А, базирующимся на схеме 2. Чтобы это было возможно, по крайней мере одна пара типов объектов должна быть объявлена как область, эквивалентная двум схемам в словаре данных СИДД.

Рисунок 1 - Пример структуры хранения СИДД

Экземпляры объектов создаются в СИДД-моделях, образуемых в хранилищах. Экземпляры объектов, составляющие каждую СИДД-модель, базируются на единственной EXPRESS-схеме с разрешенными интерфейсными спецификациями. Экземпляры объектов в одной СИДД-модели могут ссылаться на экземпляры объектов в другой СИДД-модели, если обеспечено существование экземпляра схемы, с которой связаны обе эти СИДД-модели. Две СИДД-модели должны основываться на одной и той же EXPRESS-схеме или двух EXPRESS-схемах, которые определены как имеющие конструкции эквивалентности областей (см. А.2). СИДД-модель может быть связана с несколькими экземплярами схемы.

4.4 Сообщения (транзакции) и режимы доступа

Уровни реализации СИДД определяют обеспечиваемые ими сообщения. Сообщение состоит из рядов команд (операций), воздействие которых может быть сохранено или отменено как единое целое. Также доступны средства, обеспечивающие приложению возможность управления доступом к конкретным хранилищам и СИДД-моделям. Сообщения и доступ к СИДД-моделям содержат связанные с ними режимы: "чтение-запись" и "только чтение". Режим "чтение-запись" допускает команды доступа, создания, обновления и удаления экземпляров в СИДД-моделях и хранилищах. Режим "только чтение" не допускает команды создания, обновления или удаления экземпляров в СИДД-моделях и хранилищах. СИДД-модель не может быть доступна в режиме "чтение-запись", когда инициировано сообщение в режиме "только чтение".

4.5 Сеанс, словарь данных и управление совокупностью

Схема сеанса СИДД (см. раздел 7) описывает структуру сеанса СИДД. Схема совокупности СИДД (см. раздел 8) описывает упорядоченные структуры, доступные для управления совокупностью, основанной на схеме. Схема совокупности СИДД определяет организационные объекты, которые приложение может создавать в течение сеанса.

Для обеспечения приложениям необходимого доступа к информации о схеме, определяющей прикладные данные, СИДД создает словарь данных. Схема словаря СИДД (см. раздел 6) описывает структуру словаря данных. Словарь данных состоит из набора экземпляров объектов, определенных в схеме словаря СИДД. Так как не все приложения требуют доступа к словарю данных, то класс реализации может быть определен без обеспечения требуемого словаря данных (см. 13.1.2). В этом случае прикладному программисту необходимы полное знание схемы и возможность ссылаться на элементы схемы по их именам.

Примечание - На рисунке 2 в упрощенных терминах показана взаимосвязь между прикладными данными, словарем, сеансом и совокупностью организационных данных, а также между прикладной программой и реализацией СИДД. На рисунке 2 также показано, для каких типов данных прикладная программа имеют доступ в режимах "чтение-запись" или "только чтение".

Рисунок 2 - Взаимосвязи элементов архитектуры данных СИДД

Создание, удаление и изменение данных сеанса, организация совокупности и словаря проявляются как последовательность специальных команд, предназначенных для управления средой СИДД. Команды экземпляра объекта используются для доступа к данным сеанса, организации совокупности и словаря так же, как и для экземпляров приложения. Не все команды экземпляра объекта необходимы для обеспечения доступа к данным организации совокупности, поскольку экземпляры схемы совокупности СИДД не обязательно присутствуют в рамках СИДД-модели (см. 8.1).

4.6 Схема параметризированных данных СИДД

Схема параметризированных данных СИДЦ (см. раздел 9) в абстрактных терминах описывает различные типы данных экземпляра, передаваемые через интерфейс. Это обеспечивает возможность определения команд СИДД. Реализация СИДД не обязательно включает полную схему параметризированных данных. Эта схема определяет отношения подтипов между типами экземпляров объекта, которые должна обеспечивать реализация СИДД. Другие характеристики этих экземпляров не определяются в данной схеме, так как они зависят от реализации.

4.7 Функциональные требования (спецификация)

СИДД определяет функциональные требования к набору команд (операций) для запроса данных и манипулирования ими. Команды СИДД подразделяют на несколько категорий:

- команды среды, устанавливающие сеанс СИДД (см. 10.3);

- команды сеанса, позволяющие приложению управлять сообщениями (транзакциями), хранилищами и запросами в сеансе (см. 10.4);

- команды хранилища, позволяющие приложению управлять доступом к СИДД-моделям внутри хранилищ (см. 10.5);

- команды экземпляров схем, позволяющие приложению управлять связями СИДД-моделей с экземплярами схем, проверять правильность глобальных EXPRESS-правил и осуществлять ссылки внутри экземпляра схемы (см. 10.6);

- команды СИДД-моделей, позволяющие приложению создавать экземпляры и управлять доступом к СИДД-модели (см. 10.7);

- команды, позволяющие приложению создавать зависимые отношения между экземплярами объектов и управлять ими (см. 10.8).

Примечание - Отношения зависимости базируются на конструкции SCOPE (область применения), описанной в ГОСТ Р ИСО 10303-21;

- команды, позволяющие приложению проверять информацию о типе данных и эквивалентности областей значений (см. 10.9);

- команды экземпляра объекта, позволяющие приложению манипулировать экземплярами типов данных объектов, создаваемых в схемах, определяющих СИДД, и прикладных схемах (см. 10.10);

- команды прикладного экземпляра, позволяющие приложению создавать, изменять, удалять и проверять допустимость экземпляров типов данных объектов и создавать экземпляры агрегатов, определенных в прикладных схемах (см. 10.11);

- категории команд прикладного экземпляра и экземпляра объекта, позволяющие приложению создавать, изменять, удалять экземпляры различных типов агрегатов, а также манипулировать ими (см. 10.12-10.19).

Команды классифицированы таким образом, что все команды, обрабатывающие определенные виды объектов, описаны в подразделе, связанном с данным объектом. Исключением из этой классификации являются команды, создающие, открывающие или инициирующие различные СИДД и прикладные объекты. Поскольку эти команды обычно влияют на свойства объектов более высокого уровня, они рассматриваются как команды объекта, внутри которого создается, открывается или инициируется текущий объект.

Пример 2 - Открытие хранилища является командой сеанса, а не командой хранилища, так как она изменяет свойства сеанса.

В спецификации каждой команды СИДД перечисляются требуемые входные и выходные параметры. Типы этих параметров выбираются из схем словаря, сеанса, совокупности и параметризованных данных СИДД.

4.8 Языковые привязки СИДД

В настоящем стандарте команды СИДД определены независимо от какого-либо языка программирования. Для этих команд разработаны языковые привязки СИДД к машинным языкам (языкам программирования), определяющие функциональные возможности, обеспечиваемые реализациями. Языковые привязки СИДД описаны в других стандартах серии ГОСТ Р ИСО 10303 - в группе методов реализации. Конкретная реализация СИДД должна обеспечивать команды, описанные в соответствующих языковых привязках СИДД.

Языковые привязки СИДД обеспечивают команды, описанные в разделе 10, но может отсутствовать однозначное соответствие между этими командами и функциями или подпрограммами, определенными в языковой привязке СИДД. Языковая привязка СИДД может расширять или наращивать функциональные возможности, определенные в разделе 10, обеспечивая более эффективную и удобную реализацию этих команд.

Различают два типа языковых привязок СИДД: позднюю и раннюю привязку.

Поздние привязки применяют для любой прикладной схемы одним и тем же способом, используя один и тот же набор функций. Этот набор доступен прикладному программисту независимо от прикладной схемы.

Обращения к конкретным конструктивам на языке EXPRESS обеспечиваются через входные параметры, передаваемые командами СИДД. Поздние привязки определяет набор команд СИДД, явно доступных прикладному программисту.

Примечание 1 - Эти команды и их параметры обычно вычисляют во время выполнения требуемой функции

Пример 3 - Команда набора значений атрибута "а1" экземпляра объекта "i1" типа "t1" в поздней привязке может быть записана как SetVaIue(i1, tl.al, value).

Ранняя привязка описывает создание интерфейса доступа к данным, основанного на конкретной прикладной схеме. Вместо обеспечения СИДД через входные параметры команд, обращения к конкретным конструктивам на языке EXPRESS могут явно или неявно встраиваться в имена функций или подпрограмм. Полный набор функций, доступных прикладному программисту, зависит от прикладной схемы, лежащей в основе реализации СИДД.

Примечание 2 - Возможна компиляция прикладной схемы для создания реализации. Такой компилятор обычно генерирует функции и параметры, вычисляя их во время компиляции прикладной программы.

Пример 4 - Команда набора значений атрибута "а1" экземпляра объекта "i1" типа "t1" в ранней привязке должна быть записана как SetValuet1a1(i1, value).

Ранние и поздние языковые привязки СИДД могут быть опубликованы вместе в одном стандарте серии ГОСТ Р ИСО 10303 - в группе методов реализации. Реализации СИДД могут обеспечивать одновременное выполнение ранней и поздней привязок и их использование в одной прикладной программе.

4.9 Обработка ошибок

Описание каждой команды включает список возможных индикаторов ошибок, могущих возникать при условиях, препятствующих успешному завершению данной команды. В настоящем стандарте не определено, как выдаются уведомления об ошибках для отдельных команд СИДД. Каждая языковая привязка СИДД определяет механизм выдачи уведомления об ошибке, соответствующий данному конкретному языку.

Схема сеанса СИДД определяет содержание уведомления об ошибке через атрибут sdai_session.errors, который доступен в качестве ресурса любому механизму обработки ошибок языковой привязки СИДД и прикладному программисту.

Полный список индикаторов ошибок языковых привязок СИДД приведен в разделе 11 для соответствующих конструктивов конкретного языка. Реализация должна выбирать коды ошибок из раздела 11 в качестве значения атрибута error_event.error (см. 7.4.7), если команда СИДД ошибочна, за исключением команды открытия сеанса (см. 10.3.1), которая не может присваивать значение атрибуту, так как сеанс еще не инициирован. Механизм уведомления об ошибке, установленный в каждой языковой привязке СИДД, не обязательно выдает коды ошибок, идентичные по типу или значению кодам ошибок, выбранным в атрибуте error_event.error. Привязка может определить дополнительные функции или подпрограммы для уведомления об ошибках и управления ими. Любая такая функция или подпрограмма не может изменять состояний ошибок сеанса СИДД.

5 Основные принципы

В настоящем стандарте использованы следующие предпосылки и допущения:

- во время сеанса СИДД для каждого экземпляра объекта или агрегата, описанного в схеме СИДД или прикладной схеме, доступен уникальный и неизменный идентификатор;

- EXPRESS-схема, на которой основаны СИДД-модели и экземпляры схем, является полностью развернутой формой схемы, в которой допускается использование всех элементов, импортируемых из других схем, что делает ее полной без ссылок на другие схемы (см. А.1);

- процесс, который делает совокупность схемы словаря СИДД доступной в сеансе, разворачивает любые типы данных сложных объектов в виде результата или явного или неявного применения ограничения ANDOR или AND, в соответствии с А.1.3;

- в соответствии с требуемым классом реализации, реализации СИДД делают доступной совокупность схемы словаря СИДД, с помощью элементов на языке EXPRESS, определенных в схеме сеанса СИДД и прикладных схемах;

- схемы, определенные в разделах 6-9, не являются прикладными протоколами или информационными моделями изделий, а учитывают эффективность и удобство описания команд СИДД;

- экземпляры объектов, основанные на одной схеме, могут быть распространены в контексты других схем, базируясь на эквивалентности областей значения (см. А.2) и конструктивах эквивалентности областей значения, определенных в схеме словаря СИДД (см. 6.4.1, 6.4.8 и 6.4.9);

- проверки правильности EXPRESS-ограничений проводят только по запросу приложения. При проведении данных проверок принимают во внимание все создания, изменения и удаления СИДД-моделей, экземпляров схем, конструкций SCOPE (области применения) и прикладных экземпляров.

6 Схема словаря СИДД

Следующее объявление на языке EXPRESS открывает схему словаря СИДД.

EXPRESS-спецификация

*)

SCHEMA SDAI_dictionarv_schema;

(*

6.1 Введение

Схема словаря СИДД определяет структуру словаря данных, позволяющего получить информацию об EXPRESS-схемах, описывающих экземпляры, используемые в сеансе СИДД. Структура схемы словаря СИДД отражает структуру самого языка EXPRESS. Но в схеме словаря СИДД отражены не все элементы, определяемые с использованием языка EXPRESS, так как некоторые элементы не требуются для определения команд СИДД. Отображение EXPRESS-схем в совокупность схемы словаря СИДД описано в приложении А.

Совокупность схемы словаря СИДД, основанная на схеме, известной для реализации СИДД как часть словаря данных, должна существовать в собственной отдельной СИДД-модели. Прикладные схемы и схема сеанса СИДД должны присутствовать как часть словаря данных.

Должен существовать экземпляр схемы, основанный на схеме сеанса СИДД, вместе с которым СИДД-модели составляют словарь данных для прикладных схем и схемы сеанса СИДД. СИДД-модели, составляющие словарь данных СИДД, должны быть доступны в режиме "только чтение". От реализации СИДД не требуется сохранения данных словаря в описанном виде. Однако команды СИДД должны обеспечивать доступ к данным словаря так, как будто данные структурированы в описанном выше виде.

6.2 Общие положения и допущения

Структура объектов и атрибутов схемы словаря СИДД учитывает реализацию и эффективность доступа.

Пример 5 - Набор (коллекция) schema_definition.entities включает все типы данных объектов, определенных локально в текущей схеме, а также типы, импортированные в данную схему.

Схема словаря СИДД обеспечивает неизменность информации, содержащейся в спецификации интерфейса языка EXPRESS (см. A.1.1).

Поскольку схема словаря СИДД разработана для наполнения допустимыми, в соответствии с ГОСТ Р ИСО 10303-11, EXPRESS-схемами, все ограничения, управляющие совокупностью данной схемы, в ней не определяются. Для совокупности схемы словаря СИДД должны быть обеспечены ограничения, установленные в ГОСТ Р ИСО 10303-11. В частности, в схеме словаря СИДД не определены ограничения на EXPRESS-идентификаторы для элементов, объявленных в схеме, включая самою схему.

6.3 Определения типов схемы словаря СИДД

Данный подраздел устанавливает общие положения для словаря, определяющие применение в нем конструктива TYPE из языка EXPRESS.

6.3.1 Тип base_type

Тип base_type представляет собой выбор из типов simple_type, aggregation_type или named_type. Данный тип определяет типы данных, которые могут быть использованы в качестве значений для атрибута или как элемент агрегата.

EXPRESS-спецификация

*)

TYPE base_type = SELECT

(simple_type,
aggregation_type,
named_type);

END_TYPE;

(*

6.3.2 Тип constructed_type

Тип constructed_type представляет собой выбор из типов enumeration_type или select_type. Данный тип определяет типы данных с синтаксической структурой, используемые для обеспечения представления определяемых типов данных из языка EXPRESS.

EXPRESS-спецификация

*)

TYPE constructed_type = SELECT

(enumeration_type,
select_type);

END_TYPE;

(*

6.3.3 Тип underlying_type

Тип underlying_type представляет собой выбор из типов simple_type, aggregation_type, defined_type или constructed_type. Данный тип определяет типы данных, используемые для обеспечения представления определяемых типов данных из языка EXPRESS.

EXPRESS-спецификация

*)

TYPE underlying_type = SELECT

(simple_type,
aggregation_type,
defined_type,
constructed_type);

END_TYPE;

(*

6.3.4 Тип type_or_rule

Тип type_or_rule представляет собой выбор из типов named_type или global_rule. Данный тип описывает определение или ограничение совокупности.

EXPRESS-спецификация

*)

TYPE type_or_rule = SELECT

(named_type,
global_rule);

END_TYPE;

(*

6.3.5 Тип explicit_or_derived

Тип explicit_or_derived представляет собой выбор из типов explicit_attribute или derived_attribute. Данный тип определяет атрибуты, которые могут быть переопределены как вычисляемые (см. 9.2.3.4 ГОСТ Р ИСО 10303-11).

EXPRESS-спецификация

*)

TYPE explicit_or_derived = SELECT

(explicit_attribute,
derived_attribute);

END_TYPE;

(*

6.3.6 Тип express_id

Тип express_id является EXPRESS-идентификатором (см. 7.4 ГОСТ Р ИСО 10303-11) для элементов, объявленных в EXPRESS-схеме. Хотя ГОСТ Р ИСО 10303-11 устанавливает, что регистр букв не имеет значения для EXPRESS-идентификаторов, в качестве значений атрибутов схемы словаря СИДД, область значений которых определяется типом express_id, должны использоваться строчные буквы.

EXPRESS-спецификация

*)

TYPE express_id = STRING;

END_TYPE;

(*

6.3.7 Тип info_object_id

Тип info_object_id является однозначным идентификатором информационного объекта для EXPRESS-схемы в открытой системе (см. приложение С).

EXPRESS-спецификация

*)

TYPE info_object_id = STRING;

END_TYPE;

(*

6.4 Определения объектов схемы словаря СИДД

Данный подраздел устанавливает общие положения для словаря, определяющие применение в нем конструктива ENTITY из языка EXPRESS.

6.4.1 Объект schema-definition

Объект schema-definition является представлением SCHEMA из языка EXPRESS и конструктивом, на которой основаны СИДД-модели и экземпляры схем, и определяет область применения (действия) для набора (коллекции) описаний объектов, типов и правил, состоящих из описаний, взятых из текущей EXPRESS-схемы и разрешенных в этой схеме по спецификации интерфейса на языке EXPRESS. Элементы из инородных схем допускаются в текущей схеме в соответствии с А.1.1.

EXPRESS-спецификация

*)

ENTITY schema_definition:

INVERSE

UNIQUE

END_ENTITY;

(*

Определения атрибутов

name - имя схемы;

identification - идентификатор информационного объекта схемы, основанный на schema_definition (при его наличии);

entities - объекты, объявленные или разрешенные в схеме;

types - типы, объявленные или разрешенные в схеме;

global_rules - глобальные правила, объявленные или разрешенные в схеме;

external_schemas - схемы, содержащие типы, определенные как имеющие эквивалентные области значений с типами из данной схемы.

Формальные утверждения

UR1 - обозначение объекта для схемы должно быть уникальным.

6.4.2 Объект interface_specification

Объект interface_specification является представлением в текущей схеме элементов, изначально объявленных в инородной схеме (см. раздел 11 ГОСТ Р ИСО 10303-11). Все элементы, импортированные явно (через операторы USE и/или REFERENCE) или неявно из конкретной инородной схемы, должны появиться в том же экземпляре объекта interface_specification. Операторы USE или REFERENCE, примененные ко всей схеме полностью, явно импортируют все элементы, объявленные в данной схеме.

EXPRESS-спецификация

*)

ENTITY interface_specification:

END_ENTITY;

(*

Определения атрибутов

current_schema_id - имя текущей схемы, в которую импортируются элементы; схема, в которой объявлены спецификации USE или REFERENCE;

explicit_items - элементы, импортируемые при помощи операторов USE или REFERENCE языка EXPRESS;

implicit_items - неявно импортируемые элементы.

6.4.3 Объект interfaced_item

Объект interfaced_item является элементом, определенным в инородной схеме, доступным для текущей схемы через спецификацию интерфейса на языке EXPRESS.

EXPRESS-спецификация

*)

ENTITY interfaced_item

END_ENTITY;

(*

Определение атрибута

foreign_schema_id - имя схемы, из которой импортирован элемент.

6.4.4 Объект explicit_item_id

Объект explicit_item_id является объектом named_type, определенным в инородной схеме, явно доступным для текущей схемы через операторы USE или REFERENCE языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY explicit_item_id

END_ENTITY;

(*

Определение атрибутов

local_definition - определение в текущей схеме именованного типа, импортированного из инородной схемы.

original_id - именованный тип в инородной схеме (при его наличии). Тип был переименован в спецификации интерфейса.

6.4.5 Объект used_item

Объект used_item является объектом explicit_item_id, доступным текущей схеме через спецификацию интерфейса на языке EXPRESS для оператора USE.

EXPRESS-спецификация

*) ENTITY used_item

SUBTYPE OF (explicit_item_id);

END_ENTITY;

(*

6.4.6 Объект referenced_item

Объект referenced_item является объектом explicit_item_id, доступным текущей схеме через спецификацию интерфейса на языке EXPRESS для оператора REFERENCE.

EXPRESS-спецификация

*)

ENTITY referenced_item

SUBTYPE OF (explicit_item_id);

END_ENTITY;

(*

6.4.7 Объект implicit_item_id

Объект implicit_item_id является объектом named_type или global_rule, неявно импортированным в текущую схему через спецификацию интерфейса на языке EXPRESS для операторов USE или REFERENCE (см. 11.4 ГОСТ Р ИСО 10303-11).

EXPRESS-спецификация

*) ENTITY implicit_item_id

END_ENTITY;

(*

Определение атрибута

local_definition - определение в текущей схеме элемента на языке EXPRESS, неявно импортированного из инородной схемы.

6.4.8 Объект external_schema

Объект external_schema является EXPRESS-схемой. типы из которой объявляются как имеющие эквивалентные области значений с типами из собственной схемы.

EXPRESS-спецификация

*)

ENTITY external schema;

INVERSE

END_ENTITY;

(*

Определения атрибутов

name: - имя внешней схемы;

native_schema - локальная схема, в которой типы, определенные во внешней схеме, имеют эквивалентные области значений;

for_types - типы в собственной и внешней схемах, определенные эквивалентными по области значений.

Неформальные утверждения

IP1 - должен существовать отдельный экземпляр внешней схемы для каждой схемы, содержащей типы объектов, объявленные эквивалентными по области значений с типами объектов в собственной схеме.

6.4.9 Объект domain_equivalent_type

Объект domain_equivalent_type связывает имя объекта named_type из внешней схемы с объектом named_type из собственной схемы. Этим объявляется, что объект named_type, определенный во внешней схеме, эквивалентен по области значения с объектом named_type, определенным в собственной схеме.

EXPRESS-спецификация

*) ENTITY domain_equivalent_type;

END_ENTITY;

(*

Определения атрибутов

external_type_id - имя типа во внешней схеме, который объявлен эквивалентным по области значений с типом в собственной схеме;

native_type - определение типа в собственной схеме, для которого объявлен тип, эквивалентный по области значений;

owner - внешняя схема, содержащая определение текущего типа, эквивалентного по области значений.

Неформальные утверждения

IP1 - экземпляр объекта domain_equivalent_type должен существовать для каждого типа во внешней схеме, эквивалентного по области значений с собственным типом.

IP2 - в случае, когда собственный или внешний тип, или оба одновременно являются типом defined_type, основной тип (underlying_type) типа defined_type должен выражаться типом выбора (select_type), содержащим как минимум один тип объекта в качестве элемента выбора.

6.4.10 Объект named_type

Объект named_type является типом данных языка EXPRESS, которому присвоено имя и который может иметь соответствующие области значения правил.

EXPRESS-спецификация

*) ENTITY named_type

END_ENTITY;

(*

Определения атрибутов

name - имя типа данных;

where_rules - области значения правил, определенные в объявлении типа данных в порядке их появления в данном объявлении;

parent_schema - объект schema_definition, с которым в словаре данных связан named_type.

6.4.11 Объект defined_type

Объект defined_type является объектом named_type, устанавливающим тип вследствие его объявления в операторе TYPE языка EXPRESS, имеет имя и область значения.

EXPRESS-спецификация

*) ENTITY defined_type

END_ENTITY;

(*

Определение атрибута

domain - основной тип определяемого типа.

6.4.12 Объект entity_definition

Объект entity_definition является объектом named_type, определяющим объект в соответствии с объявлением ENTITY языка EXPRESS или отображением, применяемым к комбинации объявлений ENTITY языка EXPRESS, ограничивающей использование ключевых слов ANDOR или AND языка EXPRESS (см. А.1.3). Объекты, установленные таким отображением, рассматриваются как подтипы составных типов объектов.

EXPRESS-спецификация

*)

ENTITY entity_definition

INVERSE

END_ENTITY;

(*

Определения атрибутов

supertypes - список типов объектов, для которых тип является непосредственным подтипом, приведенный в алфавитном порядке соответственно значению атрибута entity_definition.name. Если тип объекта является результатом отображения ключевых слов ANDOR или AND языка EXPRESS, все дублирующие супертипы удаляются из данного списка;

complex - булевское значение, соответствующее TRUE, если entity_definition является результатом отображения супертипов ANDOR или AND в прикладной схеме (см. А.1.3), и FALSE, если entity_definition отображен непосредственно из типа объекта в схеме;

instantiable - булевское значение, соответствующее FALSE, если тип объекта объявлен как абстрактный супертип (ABSTRACT SUPERTYPE) в схеме, и TRUE, если нет;

independent - булевское значение, соответствующее FALSE, если тип объекта не является независимым экземпляром, потому что он доступен при помощи спецификации REFERENCE или неявно импортирован в данную схему, и TRUE, если тип объекта объявлен в схеме локально или доступен при помощи спецификации USE;

attributes - атрибуты, объявленные или переобъявленные (см. 9.2.3.4 ГОСТ Р ИСО 10303-11) в типе объекта. Атрибуты, унаследованные из супертипа, не являются элементами данного множества. Поскольку объекты, установленные отображением ключевых слов ANDOR или AND языка EXPRESS, рассматриваются как подтипы составных типов объектов, данное множество является пустым для экземпляров entity_definition, установленных отображением ограничения супертипа из ANDOR или AND языка EXPRESS;

uniqueness_rules - правила уникальности, объявленные в типе объекта. Это множество является пустым для объектов, установленных отображением ограничения супертипа из ANDOR или AND языка EXPRESS;

global_rules - глобальные правила, для которых имя типа объекта представлено в объявлении правила.

6.4.13 Объект attribute

Объект attribute является свойством типа объекта, может быть явным, инверсным или вычисляемым. Атрибут имеет имя и область значений.

EXPRESS-спецификация

*)

ENTITY attribute

END_ENTITY;

(*

Определения атрибутов

name - имя атрибута;

parent_entity - тип объекта, в котором объявлен атрибут.

6.4.14 Объект derived_attribute

Объект derived_attribute является атрибутом, значение которому присваивается при вычислении соответствующего выражения. Может переопределять явный или вычисляемый атрибут (см. 9.2.3.4 ГОСТ Р ИСО 10303-11).

EXPRESS-спецификация

*) ENTITY derived_attribute

END_ENTITY;

(*

Определения атрибутов

domain - тип данных результата вычисления значения атрибута;

redeclaring - переопределяемый атрибут (при его наличии).

6.4.15 Объект explicit_attribute

Объект explicit_attribute является атрибутом, область значения которого явно определена. Может переопределять явный атрибут (см. 9.2.3.4 ГОСТ Р ИСО 10303-11).

EXPRESS-спецификация

*) ENTITY explicit_attribute

END_ENTITY;

(*

Определения атрибутов

domain - тип данных, на который ссылается атрибут;

redeclaring - переопределяемый атрибут (при его наличии);

optional_flag - булевское значение, соответствующее TRUE, если атрибут объявлен необязательным (OPTIONAL), и FALSE, если атрибут не объявлен как необязательный.

6.4.16 Объект inverse_attribute

Объект inverse_attribute является атрибутом, охватывающим обратные связи отношений, установленных объектом explicit_attribute, могущим накладывать на них ограничения и представляться как инверсный (INVERSE) атрибут языка EXPRESS. Может переопределять инверсный атрибут (см. 9.2.3.4 ГОСТ Р ИСО 10303-11). Инверсный атрибут может представляться простым типом объекта ли типами SET или BAG. Тип объекта для inverse_attribute называется текущим типом объекта, а тип объекта для explicit_attribute - типом ссылочного объекта (см. 9.2.1.3 ГОСТ Р ИСО 10303-11).

EXPRESS-спецификация

*)

ENTITY inverse_attribute

END_ENTITY;

(*

Определения атрибутов

domain - тип ссылочного объекта, определяющий прямое отношение; источник отношения;

redeclaring - переопределяемый атрибут (при его наличии);

inverted_attr - атрибут в типе ссылочного объекта, связь которого инвертируется;

min_cardinality - минимальное число ссылок (при их наличии) из инвертируемого атрибута в экземпляры типа ссылочного объекта, когда инверсный атрибут представлен операторами BAG или SET. При отсутствии данного атрибута инверсный атрибут представляется единственным типом данных объекта, а не операторами BAG или SET;

max_cardinality - максимальное число ссылок (при их наличии) из инвертируемого атрибута в экземпляры типа ссылочного объекта. При отсутствии данного атрибута оператор BAG или SET, представляющий инверсный атрибут, не определяет максимальное число ссылок или инверсию, представленную типом данных простого объекта;

duplicates - булевское значение, соответствующее TRUE, если инверсный атрибут представлен оператором BAG, и FALSE, если инверсный атрибут представлен оператором SET или типом простого объекта.

6.4.17 Объект uniqueness_rule

Объект uniqueness_rule представляет правило UNIQUE языка EXPRESS и определяет комбинацию атрибутов, которая должна быть уникальной в рамках экземпляра объекта entity_definition, внутри которого объявлено данное правило.

EXPRESS-спецификация

*) ENTITY uniqueness_rule;

END_ENTITY;

(*

Определения атрибутов

label - имя правила уникальности (при его наличии);

attributes - список атрибутов, составляющих правило уникальности;

parent_entity - тип объекта, в котором объявлено данное правило.

6.4.18 Объект where_rule

Объект where_rule ограничивает совокупность и представляет правило WHERE языка EXPRESS. Когда объект объявлен в entity_definition или defined_type, или global_rule, то соответственно ограничиваются значения атрибутов в типе определяемого объекта или область значений определяемого типа, или значения атрибутов в экземплярах типов объектов, для которых применяется глобальное правило, или само существование этих экземпляров.

EXPRESS-спецификация

*)

ENTITY where_rule;

END_ENTITY;

(*

Определения атрибутов

label - имя правила "where" (при его наличии);

parent_item - тип объекта, определенный тип или глобальное правило, в которых объявлено правило "where".

6.4.19 Объект global_rule

Объект global_rule ограничивает все экземпляры типа объекта или экземпляры типов множественных объектов и представляет оператор RULE языка EXPRESS.

EXPRESS -спецификация

ENTITY global_rule;

END_ENTITY;

(*

Определения атрибутов

name - имя правила;

entities - типы объектов, ограниченных данным правилом, определенные в его объявлении в порядке их перечисления в данном объявлении. Объекты, установленные ограничением супертипа в операторах ANDOR или AND языка EXPRESS, не должны присутствовать в данном списке;

where_rules - области значений правил, объявленные в операторе RULE языка EXPRESS в порядке их перечисления в данном операторе;

parent_schema - схема, в которой объявлено правило.

6.4.20 Объект simple_type

Объект simple_type является неструктурированным, встроенным основным типом языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY simple_type

ABSTRACT SUPERTYPE OF (ONEOF(integer_type, real_type, string_type, binary-type, logical_type, boolean-tvpe, number_type));

END_ENTITY;

(*

6.4.21 Объект number_type

Объект number_type является объектом simple_type, представляющим числовой (NUMBER) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY number_type

SUBTYPE OF (simple_type);

END_ENTITY;

(*

6.4.22 Объект integer_type

Объект integer_type является объектом simple_type, представляющим целочисленный (INTEGER) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY integer_type

SUBTYPE OF (simple_type);

END_ENTITY;

(*

6.4.23 Объект real_type

Объект real_type является объектом simple_type, представляющим действительный (REAL) тип языка EXPRESS. В значении действительного типа может быть задано минимальное число значащих цифр.

EXPRESS-спецификация

*)

ENTITY real_type

END_ENTITY;

(*

Определение атрибута

precision - минимальное число значащих цифр в значении типа (при его наличии).

Неформальное утверждение

precision_positive - значение ограничения точности должно приводиться к целому положительному числу (если точность задана).

6.4.24 Объект string_type

Объект string_type является объектом simple_type, представляющим строковый (STRING) тип языка EXPRESS. Строковый тип может иметь заданную фиксированную или переменную ширину (число символов).

EXPRESS-спецификация

*)

ENTITY string_type

END_ENTITY;

(*

Определения атрибутов

width - максимальное или, для строк с фиксированной шириной, точное число символов в значении типа (при наличии данного атрибута);

fixed_width - булевское значение, соответствующее TRUE, если тип имеет в качестве области значений строки с фиксированной шириной, и FALSE, если тип имеет в качестве области значений строки с переменной шириной.

Неформальное утверждение

width_positive - значение границы ширины строки должно приводиться к целому положительному числу (если граница задана).

6.4.25 Объект binary_type

Объект binary_type является объектом simple_type, представляющим двоичный (BINARY) тип языка EXPRESS. Двоичный тип может иметь заданную фиксированную или переменную ширину (количество битов).

EXPRESS-спецификация

*)

ENTITY binary_type

END_ENTITY;

(*

Определения атрибутов

width - максимальное или, для двоичного числа с фиксированной шириной, точное число битов в значении типа;

fixed_width - булевское значение, соответствующее TRUE, если областью значений типа являются двоичные типы фиксированной ширины, и FALSE, если областью значений типа являются двоичные типы переменной ширины.

Неформальное утверждение

width_positive - значение границы ширины двоичного числа должно приводиться к целому положительному числу (если граница задана).

6.4.26 Объект logical_type

Объект logical_type является объектом simple_type, представляющим логический (LOGICAL) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY logical_type

SUBTYPE OF (simple_type);

END_ENTITY;

(*

6.4.27 Объект boolean_type

Объект boolean_type является объектом simple_type, представляющим булевский (BOOLEAN) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY boolean_type

SUBTYPE OF (simp]e_type);

END_ENTITY;

(*

6.4.28 Объект enumeration_type

Объект enumeration_type представляет перечисляемый (ENUMERATION) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY enumeration_type;

END_ENTITY;

(*

Определение атрибута

elements - список значений типов в порядке их перечисления в объявлении перечисляемого типа языка EXPRESS.

6.4.29 Объект select_type

Объект select_type представляет выбираемый (SELECT) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY select_type;

END_ENTITY;

(*

Определение атрибута

selections - множество выбираемых типов.

6.4.30 Объект aggregation_type

Объект aggregation_type является типом данных языка EXPRESS, значения которого представляют наборы (коллекции) других значений заданного основного типа.

EXPRESS-спецификация

*)

ENTITY aggregation_type

END_ENTITY;

(*

Определение атрибута

element_type - тип элементов, которые содержатся в значениях агрегатного типа.

6.4.31 Объект variable_size_aggregation_type

Объект variable_size_aggregation_type является объектом aggregation_type, объявленным как имеющий переменное число элементов. Число элементов ограничено снизу и может быть ограничено сверху.

EXPRESS-спецификация

*)

ENTITY variable_size_aggregation_type

END_ENTITY;

(*

Определения атрибутов

Iower_bound - минимальное число элементов, могущее присутствовать в экземпляре типа. Нижнее значение границы равно нулю, если отсутствует числовое выражение, определяющее данную величину в схеме, в которой объявлен агрегат;

upper_bound - максимальное число элементов (при его наличии), могущее присутствовать в экземпляре типа. Если оно отсутствует, число элементов в экземпляре типа сверху не ограничено.

Неформальное утверждение

valid_boundaries - значение нижней границы не может быть больше значения верхней.

6.4.32 Объект set_type

Объект set_type является объектом variable_size_aggregation_type, представляющим выбираемый (SET) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY set_type

SUBTYPE OF (variable_size_aggregation_type);

END_ENTITY;

(*

6.4.33 Объект bag_type

Объект bag_type является объектом variable_size_aggregation_type, представляющим мульти-множественный (BAG) тип языка EXPRESS.

EXPRESS-спецификация

*)

ENTITY bag_type

SUBTYPE OF (variable_size_aggregation_type);

END_ENTITY;

(*

6.4.34 Объект Iist_type

Объект list_typе является объектом variable_size_aggregation_type, представляющим списочный (LIST) тип языка EXPRESS. Может быть потребована уникальность элементов списка.

EXPRESS-спецификация

*)

ENTITY list_type

END_ENTITY;

(*

Определение атрибута

unique_flag - булевское значение, соответствующее TRUE, если ключевое слово UNIQUE установлено в определении объекта Iist_type данной схемы, FALSE - в противном случае.

6.4.35 Объект array_type

Объект array_type является объектом aggregation_type, представляющим тип массива (ARRAY) языка EXPRESS. Массив имеет значения нижнего и верхнего индексов. При наличии ключевого слова UNIQUE элементы массива должны быть уникальными. При наличии ключевого слова OPTIONAL в одной или нескольких индексированных позициях массив может содержать неопределенные значения.

EXPRESS-спецификация

*)

ENTITY array_type

END_ENTITY;

(*

Определения атрибутов

lower_index - самый нижний значащий индекс для экземпляров типа;

upper_index - самый верхний значащий индекс для экземпляров типа;

unique_flag - булевское значение, соответствующее TRUE, если ключевое слово UNIQUE установлено в определении объекта array_type данной схемы, FALSE - в противном случае;

optional_flag - булевское значение, соответствующее TRUE, если ключевое слово OPTIONAL установлено в определении объекта array_type данной схемы, FALSE - в противном случае.

Неформальное утверждение

valid_boundaries - значение нижней границы индекса не может быть больше значения верхней границы индекса.

6.4.36 Объект bound

Объект bound является ограничением агрегатного, двоичного, строкового и действительного типов языка EXPRESS, установленным в числовом выражении, имеющем целочисленное значение. Значение bound может основываться исключительно на схеме, в которой оно объявлено, или зависеть от совокупности данной схемы.

EXPRESS-спецификация

*)

ENTITY bound

ABSTRACT SUPERTYPE OF (ONEOF(integer_bound, population_dependent_bound));

END_ENTITY;

(*

6.4.37 Объект population_dependent_bound

Объект population_dependent_bound является объектом bound, значение которого зависит от совокупности схемы, в которой он объявлен.

EXPRESS-спецификация

*)

ENTITY population_dependent_bound

SUBTYPE OF (bound);

END_ENTITY;

(*

6.4.38 Объект integer_bound

Объект integer_bound является объектом bound, значение которого базируется исключительно на схеме, внутри которой он объявлен.

EXPRESS-спецификация

*)

ENTITY integer_bound

END_ENTITY;

(*

Определение атрибута

bound_value - целочисленное значение границы.

*)

END_SCHEMA; --SDAI_dictionary_schema

(*

7 Схема сеанса СИДД

Следующее объявление на языке EXPRESS начинает схему сеанса СИДД и определяет необходимые внешние ссылки.

EXPRESS-спецификация

*)

SCHEMA SDAI_session_schema;

REFERENCE FROM SDAI_parameter_data_schema (entity_instance, aggregate_instance);

USE FROM SDAI_population_schema;

(*

Примечание - Схемы, упомянутые выше, можно найти в следующих разделах настоящего стандарта:

SDAI_parameter_data_schema - в разделе 9;

SDAI_population_schema - в разделе 8.

7.1 Введение

Схема сеанса СИДД определяет структуру данных, необходимых для управления сеансом. Текущее состояние сеанса СИДД и его взаимодействия с реализацией СИДД, такие как режимы доступа, сообщения (транзакции), хранилища и ошибки сеанса, делаются доступными через совокупность схемы сеанса СИДД. Как и во всех схемах, доступных в словаре данных, элементы, импортируемые в схему сеанса СИДД из схемы совокупности СИДД, схемы параметризованных данных и словаря СИДД через схему совокупности СИДД, должны быть разрешены в схеме сеанса СИДД (см. A.1.1).

Схема сеанса СИДД описывает отдельное приложение, отдельное представление пользователя информации о сеансе СИДД. Реализация СИДД должна создавать экземпляры типов данных объектов схемы сеанса СИДД, не импортированных из другой схемы, доступные в отдельной СИДД-модели. Данная СИДД-модель должна быть связана с одним экземпляром схемы. И СИДД-модель, и экземпляр схемы должны базироваться на схеме сеанса СИДД. Объектом sdai_model.name этой СИДД-модели должен быть 'SDAI_SESSION_SCHEMA_DATA'. Объектом schema_instance.name этого экземпляра схемы должен быть 'SDAI_SESSION_SCHEMA_INSTANCE'. Данные СИДД-модель и экземпляр схемы не должны продолжать существование после окончания сеанса.

Экземпляры объектов схемы сеанса СИДД создаются и изменяются только вследствие конкретных операторов СИДД, а не операторов объектов или прикладного экземпляра.

Пример 6 - Операция открытия сеанса создает экземпляры типа объекта сеанса и объекта реализации.

7.2 Фундаментальные принципы и допущения

Структура объектов и атрибутов схемы сеанса СИДД учитывает реализацию и эффективность доступа.

7.3 Определения типов схемы сеанса СИДД

В данном подразделе описаны принципы сеанса, определенные конструкцией TYPE языка EXPRESS.

7.3.1 Тип access_type

Тип access_type определяет режимы доступа "только чтение" или "чтение-запись" для sdai_transaction или sdai_model.

EXPRESS-спецификация

*)

TYPE access_type = ENUMERATION OF

(read_only,
read__write);

END_TYPE;

(*

Элементы перечисления

read_only - значение, указывающее доступ в режиме "только чтение";

read_write - значение, указывающее доступ в режиме "чтение-запись".

7.3.2 Тип error_base

Тип error_base является выбором между entity_instance (экземпляром объекта) или aggregate_instance (экземпляром агрегата) и связан с конкретной ошибкой, выданной реализацией СИДД.

EXPRESS-спецификация

*)

TYPE error_base = SELECT

(entity_instance,

aggregate_instance);

END_TYPE;

(*

7.3.3 Тип time_stamp

Тип time_stamp является спецификацией даты и времени. Содержание строки должно соответствовать расширенному формату полной календарной даты, установленному в 5.2.1.1 ИСО 8601, объединенному с расширенным форматом календарного времени, установленным в 5.3.1.1 или 5.3.3 ИСО 8601. Дата и время должны быть разделены заглавной буквой Т согласно 5.4.1.1 ИСО 8601. Альтернативные форматы из 5.3.1.1 и 5.3.3 ИСО 8601 разрешают необязательное включение спецификатора временной зоны.

EXPRESS-спецификация

*)

TYPE time_stamp = STRING(256);

END_TYPE;

(*

7.4 Определения объектов схемы сеанса СИДД

В данном подразделе устанавливаются понятия сеанса, определяющие применение конструкции ENTITY языка EXPRESS.

7.4.1 Объект sdai_session

Объект sdai_session представляет информацию, описывающую сеанс СИДД во время активной реализации СИДД. Содержит информацию, отражающую состояние сеанса и относящуюся к сообщениям (транзакциям), ошибкам, записям событий, хранилищам и словарю данных.

EXPRESS-спецификаиия

*) ENTITY sdai_session;

INVERSE

END_ENTITY;

(*

Определения атрибутов

sdai_implementation - характеристики реализации СИДД;

recording_active - булевское значение, соответствующее FALSE, если запись событий запрещена, TRUE - в противном случае;

errors - список ошибок, произошедших в результате выполнения предыдущих команд СИДД, пока запись событий была активна;

known_servers - хранилища, доступные приложению в данном сеансе. Наличие конкретных хранилищ зависит от специфической установки реализации СИДД;

active_servers - хранилища, открытые в данном сеансе;

active_models - множество sdai_models, доступных в данном сеансе;

data_dictionary - экземпляр схемы (при его наличии), основанный на схеме сеанса СИДД, с которой связаны СИДД-модели, содержащие словарь данных. Для реализации СИДД, соответствующих соглашениям по классам реализации 2-6, данный атрибут должен иметь установленное значение;

active_transaction - транзакция (сообщение), обеспечивающее доступ к СИДД-моделям и экземплярам схем в данном сеансе.

7.4.2 Объект implementation

Объект implementation представляет программный продукт, обеспечивающий функциональные возможности, определенные языковой привязкой СИДД.

EXPRESS-спецификация

*)

ENTITY implementation;

END_ENTITY;

(*

Определения атрибутов

name - имя объекта implementation, присвоенное разработчиком;

level - уровень версии программного средства для объекта implementation, определенный разработчиком;

sdai_version - версия (редакция) настоящего стандарта, которой соответствует данная реализация. Значение данного атрибута должно удовлетворять методу регистрации, установленному в 4.3 ГОСТ Р ИСО 10303-1, и быть идентификатором объекта для соответствующей версии настоящего стандарта (см. C.1);

binding_version - версия языковой привязки СИДД, поддерживаемая в соответствии с определением языковой привязки СИДД;

implementation_class - класс реализации, установленный в настоящем стандарте, которому соответствует объект implementation;

transaction_Ievel - уровень транзакции (сообщения), поддерживаемый реализацией (см. 13.1.1);

expression_level - уровень вычисления выражений, поддерживаемый реализацией (см. 13.1.2);

recording_level - уровень отчета (записи) о событии, поддерживаемый реализацией (см. 13.1.3);

scope_level - уровень области действия (применения), поддерживаемый реализацией (см. 13.1.4);

domain_equivalence_level - уровень эквивалентности области значений, поддерживаемый реализацией (см. 13.1.5).

Неформальные утверждения

class1to7 - атрибут implementation_class должен иметь значения 1-7, которые должны соответствовать классу реализации, установленному в 13.2;

trans1to3 - атрибут transaction_level должен иметь значения 1-3, которые должны соответствовать уровню транзакции, установленному в 13.1.1;

expr1to4 - атрибут expression_level должен иметь значения 1 -4, которые должны соответствовать уровню вычисления выражения, установленному в 13.1.2;

rec1to2 - атрибут recording_level должен иметь значение 1 или 2, которое должно соответствовать уровню отчета о событии, установленному в 13.1.3;

scope1to2 - атрибут scope_level должен иметь значение 1 или 2, которое должно соответствовать уровню области действия, установленному в 13.1.4;

equiv1to2 - атрибут domain_equivalence_Ievel должен иметь значение 1 или 2, которое должно соответствовать уровню поддержки SCOPE, установленному в 13.1.5.

7.4.3 Объект sdai_repository

Объект sdai_repository представляет идентификацию средства, посредством которого sdai_models и schema_instances могут быть сохранены в течение сеанса.

Примечание - Данный объект предназначен для обеспечения физического размещения СИДД-моделей и экземпляров схем.

EXPRESS-спецификация

*)

ENTITY sdai_repository;

INVERSE

UNIQUE

END_ENTITY;

(*

Определения атрибутов

name - имя объекта sdai_repository. Данное имя чувствительно к регистру;

contents - имеющиеся в хранилище СИДД-модели и экземпляры схем;

description - описание хранилища;

session - текущий сеанс.

Формальное утверждение

UR1 - имя должно быть уникальным в текущем сеансе.

7.4.4 Объект sdai_repository_contents

Объект sdai_repository__contents идентифицирует объекты sdai_models и schema_instances, имеющиеся в хранилище.

EXPRESS-спецификация

*)

ENTITY sdai_repository_contents;

INVERSE

END_ENTITY;

(*

Определения атрибутов

models - набор СИДД-моделей в хранилище;

schemas - набор экземпляров схем в хранилище;

repository - хранилище, содержащее СИДД-модели и экземпляры схем.

7.4.5 Объект sdai_transaction

Объект sdai_transaction описывает возможность текущего доступа к данным (RW или RO) во время сеанса. Транзакции (сообщения) не могут существовать вне сеанса, и только одна транзакция должна быть активна в любой заданный момент времени. Транзакции требуются только для реализации СИДД, поддерживающих третий уровень транзакции (см. 13.1.1).

EXPRESS-спецификация

*)

ENTITY sdai_transaction;

END_ENTITY;

(*

Определения атрибутов

mode - доступ в режимах "только чтение" или "чтение-запись", обеспечиваемые транзакцией в сеансе СИДД (sdai_session);

owning_session - сеанс СИДД (sdai_session), в котором транзакция активна.

7.4.6 Объект event

Объект event является нотационной записью некоторого события, связанного с командой СИДД в некоторый момент времени во время сеанса.

Примечание - Последующие версии (редакции) СИДД могут расширить перечень типов событий, которые могут быть описаны помимо отчетов об ошибках, установленных в настоящем стандарте.

EXPRESS-спецификация

*)

ENTITY event

END_ENTITY;

(*

Определения атрибутов

function_id - идентификатор функции или подпрограммы СИДД, с которой связано событие. Значения данного атрибута и их соответствие командам СИДД определены в языковых привязках СИДД;

time - временная отметка, указывающая момент наступления события.

7.4.7 Объект error_event

Объект error_event является событием (event), сгенерированным в результате неправильно выполненной команды СИДД или полученным как результат команды отчета об ошибке.

EXPRESS-спецификация

*)

ENTITY error_event

END_ENTITY;

(*

Определения атрибутов

error - код ошибки (см. раздел 11);

description - описание обнаруженной ошибки (при ее наличии);

base - экземпляр, связанный с ошибкой или породивший ее (при ее наличии) (см. раздел 11).

*)

END_SCHEMA; -- SDAI_session_schema

(*

8 Схема совокупности СИДД

Следующее объявление на языке EXPRESS начинает схему совокупности СИДД и определяет необходимые внешние ссылки.

EXPRESS-спецификация

*) SCHEMA SDAI_population_schema;

REFERENCE FROM SDAI_parameter_data_schema

(entity_instance,
application_instance);

REFERENCE FROM SDAI_session_schema

(sdai_session,
sdai_repository,
access_type,
time_stamp);

(*

В случаях, когда реализация объявляется соответствующей классам реализации 2-6 или обеспечивает доступ к словарю данных СИДД, в схему совокупности СИДД должно быть включено последующее объявление на языке EXPRESS. В противном случае в схему совокупности СИДД должны быть включены объявления на языке EXPRESS из 8.3.

EXPRESS-спецификация

*)

USE FROM SDAI_dictionary_schema;

(*

Примечание - Схемы, на которые выше даны ссылки, можно найти в следующих разделах настоящего стандарта:

SDAI_parameter_data_schema - раздел 9;

SDAI_session_schema - раздел 7;

SDAI_dictionary_schema - раздел 6.

8.1 Введение

Схема совокупности СИДД определяет структуру для организации, создания и управления экземплярами EXPRESS-объектов. Данная схема импортируется схемой сеанса СИДД, а все элементы данной схемы разрешены на схеме сеанса СИДД в совокупности схемы словаря СИДД (см. А.1.1).

Реализации, не обеспечивающие доступ к словарю данных, должны использовать схему совокупности СИДД без импортирования схемы словаря СИДД. Ссылки на элементы, определенные в схеме словаря СИДД, заменяются строковыми значениями.

Экземпляры типов данных объектов, определенные в схеме совокупности СИДД, обеспечивают структуру управления экземплярами объектов прикладных схем и схемы словаря СИДД. Данная структура управления не требует существования экземпляров типов данных объектов, определенных в самой схеме совокупности СИДД (то есть, экземпляры sdai_model не обязаны присутствовать в СИДД-модели). Механизм, обеспечивающий доступность экземпляров типов объектов, объявленных в схеме совокупности СИДД, оставлен на усмотрение реализации.

8.2 Фундаментальные принципы и допущения

Структура объектов и атрибутов схемы сеанса СИДД учитывает реализацию и эффективность доступа.

8.3 Определения типов схемы совокупности СИДД

В данном подразделе содержатся описания концепций, определяющих применение конструкции TYPE языка EXPRESS. В случае, когда реализация не поддерживает доступ к словарю данных, объявления на языке EXPRESS из данного подраздела должны быть включены в схему совокупности СИДД. В противном случае эти объявления не должны быть включены в схему совокупности СИДД.

8.3.1 Тип schema_definition

Тип schema_definition представляет собой понятие, определенное и представленное атрибутом schema_definition.name в 6.4.1.

EXPRESS-спецификация

*)

TYPE schema_definition = STRING;

END_TYPE;

(*

8.3.2 Тип entity_definition

Тип entity_definition представляет собой понятие, определенное и представленное атрибутом entity_definition.name в 6 4.12.

EXPRESS-спецификация

*)

TYPE entity_definition = STRING;

END_TYPE;

(*

8.4 Определения объектов схемы совокупности СИДД

В данном подразделе описаны концепции совокупности, определяющие использование конструкции ENTITY языка EXPRESS.

8.4.1 Объект schema_instance

Объект schema_instance является логическим набором (коллекцией) СИДД-моделей (sdai_models). Используется как области значений для проверки глобального правила, обеспечения ссылок между экземплярами объектов в различных СИДД-моделях и проверки правила уникальности. Объект schema_instance (экземпляр схемы) базируется на одной схеме. Должно обеспечиваться связывание СИДД-моделей с schema_instance, когда СИДД-модели базируются на той же схеме, что и данный schema_instance. Также должно обеспечиваться связывание СИДД-моделей с schema_instance, когда СИДД-модели базируются на другой схеме, если схема, на которой базируются СИДД-модели, содержит конструкции, объявленные эквивалентными по области значений с конструкциями в схеме, на которой базируется schema_instance. Хотя schenia_instance существует в одном хранилище, должно поддерживаться связывание с СИДД-моделями из любого другого хранилища с данными schema_instance.

EXPRESS-спецификация

*)

ENTITY schema instance:

UNIQUE

WHERE

END_ENTITY;

(*

Определения атрибутов

name - имя экземпляра схемы (schema_instance), зависящее от регистра символов;

contents - СИДД-модели, связанные с экземпляром схемы;

native_schema - схема, на которой базируется данный экземпляр схемы;

repository - хранилище, в котором создан данный экземпляр схемы;

change_date - дата создания, последнего добавления или удаления СИДД-модели из текущего экземпляра схемы (при ее наличии);

validation_date - дата последнего применения операции проверки текущего экземпляра схемы;

validation_result - результат последнего применения операции проверки текущего экземпляра схемы;

validation_level - уровень вычисления выражения для проверки правильности реализации, выполнявшей последнюю команду проверки правильности экземпляра схемы для текущего экземпляра схемы (см. 13.1.2).

Формальное утверждение

UR1 - имя должно быть уникальным в хранилище, содержащем экземпляр схемы.

Неформальное утверждение

dictionary instance - во время сеанса СИДД для реализации, поддерживающей словарь данных СИДД, должен существовать экземпляр schema_instance, с которым будут связаны все СИДД-модели, составляющие словарь данных СИДД.

8.4.2 Объект sdai_model

Объект sdai_model является механизмом группирования, содержащим набор связанных экземпляров объектов, основанных на schema_definition.

Примечание - Связь экземпляров объектов, сгруппированных в СИДД-модель, не определена. Однако предполагается, что группировка основана на некоторой логической связи между экземплярами объектов, которая является полезной для прикладной программы при управлении прикладными данными.

EXPRESS-спецификация

*) ENTITY sdai_model;

INVERSE

UNIQUE

WHERE

END_ENTITY;

(*

Определения атрибутов

name - идентификатор для данной sdai_model. Данное имя чувствительно к регистру,

contents - механизм объединения экземпляров объектов внутри sdai_model;

underlying_schema - схема, определяющая структуру данных, появляющихся в СИДД-модели;

repository - хранилище, внутри которого создана СИДД-модель;

change_date - дата создания или последнего изменения, включая создание или удаление экземпляра объекта внутри текущей СИДД-модели (при ее наличии);

mode - текущий режим доступа к sdai_model (при его наличии). Если он отсутствует, sdai_model не открыта;

associated_with - экземпляры схем, с которыми связана СИДД-модель.

Формальное утверждение

UR1 - имя должно быть уникально внутри хранилища, содержащего СИДД-модель.

8.4.3 Объект sdai_model_contents

Объект sdai_model_contents содержит экземпляры объектов, составляющих sdai_model. Экземпляры объектов доступны в виде единого набора (коллекции), независимо от типа данных объекта и сгруппированы в поднаборы по типу данных объекта.

Примечание - Доступность и группировка экземпляров объектов по трем альтернативным атрибутам являются единственным случаем, когда в данной схеме учитывается легкость доступа к ним со стороны прикладного программиста.

EXPRESS-спецификация

*)

ENTITY sdai_model_contents;

END_ENTITY;

(*

Определения атрибутов

instances - набор всех экземпляров объектов в sdai_model, независимо от типа данных объекта;

folders - набор entity_extents для всех типов объектов, доступных в схеме, соответствующий СИДД-модели. Содержит по одному члену для каждого объекта entity_definition, установленного в схеме, управляющей СИДД-моделью, независимо от текущего существования экземпляров объектов данного типа;

populated_folders - поднабор folders, содержащий набор entity_extents, для которых в данный момент в СИДД-модели существуют экземпляры объекта.

Неформальное утверждение

IP1 - набор sdai_model_contents.instances, содержащий те же экземпляры объектов, что и объединение набора расширений содержимого sdai_model_contents.populated_folders.

8.4.4 Объект entity_extent

Объект entity_extent группирует все экземпляры типов данных объекта, существующих в sdai_modеl. Это группирование включает в себя экземпляры определенного entity_definition, всех подтипов данного entity_definition и других entity_definition, полученных в результате отображения конструкций AND и ANDOR языка EXPRESS, описанного в приложении А и содержащего тип данных объекта в качестве составной части.

Примечание - Такое группирование экземпляров конкретного типа полезно в качестве точки входа внутрь СИДД-модели для получения доступа к экземплярам любых типов корневых объектов в схемах, содержащих древовидные или иерархические структуры.

EXPRESS-спецификация

*)

ENTITY entity_extent;

INVERSE

END_ENTITY;

(*

Определения атрибутов

definition - объект entity_definition, экземпляры которого содержатся в папке;

instances - экземпляры объектов, содержащиеся в данной папке;

owned_by - содержимое СИДД-модели, к которой принадлежит данный entity_extent.

8.4.5 Объект scope

Объект scope создает структуру, обеспечивающую область действия (применения) ссылок и существующих отношений между экземплярами объектов, определяемыми в конструкции SCOPE согласно 10.3 ГОСТ Р ИСО 10303-21. Настоящий стандарт ссылается на прикладной экземпляр, внутри которого определена структура scope, являющаяся пререгативой владельца данной области. Прикладные экземпляры, принадлежащие scope, могут иметь собственную область действия (scope). Объект scope существует в той же СИДД-модели, что и прикладной экземпляр (application_instance), являющийся владельцем данной области (например, если СИДД-модель, содержащая прикладной экземпляр, удаляется, то его область действия (scope) также удаляется).

EXPRESS-спеииФикация

*)

ENTITY scope;

UNIQUE

WHERE

END_ENTITY;

(*

Определения атрибутов

owner - прикладной экземпляр, в котором определена текущая область действия (scope);

owned - прикладные экземпляры, определенные внутри текущей scope;

export_list - прикладные экземпляры, экспортируемые из данной области действия (scope), на которые возможно ссылаться.

Формальные утверждения

UR1 - прикладной экземпляр не может обладать более чем одной областью действия (scope);

WR2 - прикладной экземпляр не может быть включен в набор прикладных экземпляров, которыми он обладает.

Неформальные утверждения

IP1 - структура SCOPE должна быть ациклической;

IP2 - каждый экспортируемый прикладной экземпляр должен быть членом набора собственных прикладных экземпляров или членом экспортного списка (export_Iist) одного экземпляра области действия, владельцем которой является один из членов данного списка.

*)

END_SCHEMA; -- SDAI_population_schema

(*

9 Схема параметризированных данных СИДД

Следующее объявление на языке EXPRESS открывает схему параметризированных данных СИДД и определяет необходимые внешние ссылки.

EXPRESS-спецификация

*)

SCHEMA SDAI_parameter_data_schema,

REFERENCE FROM SDAI_population_schema

(schema_instance,

sdai_model,

sdai_model_contents);

REFERENCE FROM SDAI_session_schema

(sdai_repository);

(*

Примечание - Схемы, на которые выше даны ссылки, можно найти в следующих разделах настоящего стандарта:

SDAI_session_schema - раздел 7;

SDAI_population_schema - раздел 8.

9.1 Введение

Схема параметризированных данных СИДД содержит концептуальные описания данных, передаваемых как параметры или обрабатываемых через СИДД. В отличие от схем словаря, сеанса и совокупности СИДД, данная схема не требует реализации и не должна быть частью словаря данных СИДД. Данная схема определена для поддержки описания команд СИДД и определения среды СИДЦ, в которой существуют экземпляры объектов. В отдельных случаях в данном разделе отсутствуют обязательные EXPRESS-спецификации атрибутов объекта, объявленного в схеме параметризированных данных СИДД. Вместо этого EXPRESS-спецификации данных атрибутов приведены в примере, а в основной части стандарта приведено только текстовое описание атрибута, так как обеспечение описания параметра важнее, чем определение его реализации.

Схема параметризированных данных СИДД описывает отношения подтипов между экземплярами типов данных объекта, управляемых посредством команд СИДД. Данные отношения подтипов используют для классификации команд СИДД. Эта классификация позволяет определить поведение всех реализаций СИДД по отношению к типам экземпляров объекта, которые могут быть использованы в качестве параметров или возвращаемых значений для команд СИДД.

Языковые привязки СИДД определяют типы данных для entity_instance и его подтипы. Реализации СИДД должны обеспечивать типы данных этих объектов, поведение которых должно соответствовать языковым реализациям отношений подтипов, установленным в данной схеме. Тип данных, представляющий тип объекта application_instance, должен вести себя как супертип для каждого типа объекта, объявленного в прикладной схеме. Тип данных, представляющий тип объекта dictionary_instance, должен вести себя как супертип для каждого типа объекта, объявленного в схеме словаря СИДД. Тип данных, представляющий тип объекта session_instance, должен вести себя как супертип для каждого типа объекта, объявленного в схеме сеанса СИДД.

Пример 7 - Тип данных объекта "е1", заданный прикладной схемой, должен иметь application_instance из схемы типа данных СИДД в качестве непосредственного супертипа. Тип данных объекта "е2" не нуждается в application_instance в качестве непосредственного супертипа, поскольку он наследуется через "е1".

SCHEMA application 1;

ENTITY e1;

END_ENTITY;

ENTITY e2;

SUBTYPE OF (e1);

END_ENTITY;

END_SCHEMA;

Отношения подтипа, определенные в данном подразделе, не должны проявляться в совокупности схемы словаря СИДД для любой прикладной схемы, схемы словаря или схемы сеанса СИДД.

9.2 Фундаментальные принципы и допущения

Данная схема допускает, что программное обеспечение реализует представления целочисленных, действительных, символьных, битовых и логических типов данных.

9.3 Определения типов схемы параметризованных данных СИДД

В данном подразделе описаны понятия параметризованных данных, определяющие использование конструкции TYPE языка EXPRESS.

9.3.1 Тип primitive

Тип primitive является выбором из типов aggregate_primitive или assignable_primitive. Значением данного типа может быть представление атрибута экземпляра объекта на языке EXPRESS.

EXPRESS-спецификация

*)

TYPE primitive = SELECT

(aggregate_primitive,

assignable_primitive);

END_TYPE;

(*

9.3.2 Тип assignable_primitive

Тип assignable_primitive является выбором одного из типов entity_instance, string_value, binary_value, integer_value, number_value, enumeration_value, select_value, real_value, boolean_value или Iogical_value, а также является значением, которое может быть напрямую присвоено атрибуту экземпляра объекта на языке EXPRESS посредством команды СИДД.

EXPRESS-спепификация

*)

TYPE assignable_primitive = SELECT

(entity_instance,
string_value,
binary _value,
integer_value,
number_value,
enumeration_value,
select_value,
real_value,
boolean_value,
logical_value);

END_TYPE;

(*

9.3.3 Тип aggregate_primitive

Тип aggrcgate_primitive является одним из типов aggregate_instance или select_aggregate_instance, а также значением исходного типа экземпляра агрегата.

EXPRESS-спецификация

*)

TYPE aggregate_primitive = SELECT

(aggregate_instance,
select_aggregate_instance);

END_TYPE;

(*

9.3.4 Тип string_value

Тип string_value является значением, связанным с типом данных, определяемым конструкцией STRING языка EXPRESS.

EXPRESS-спецификация

*)

TYPE string_value = STRING;

END_TYPE;

(*

9.3.5 Тип binary_value

Тип binary_value является значением, связанным с типом данных, определенным конструкцией BINARY языка EXPRESS.

EXPRESS-спецификация

*)

TYPE binary_value = BINARY;

END_TYPE;

(*

9.3.6 Тип integer_value

Тип integer_value является значением, связанным с типом данных, определенным конструкцией INTEGER языка EXPRESS.

EXPRESS-спецификация

*)

TYPE integer_value = INTEGER;

END_TYPE;

(*

9.3.7 Тип real_value

Тип real_value является значением, связанным с типом данных, определенным конструкцией REAL языка EXPRESS.

EXPRESS-спецификация

*)

TYPE real_value = REAL;

END_TYPE;

(*

9.3.8 Тип number_value

Тип number_value является значением, связанным с типом данных, определенным конструкцией NUMBER языка EXPRESS.

EXPRESS-спецификация

*)

TYPE numbei_value = SELECT

(real_value,
integer_value);

END_TYPE;

(*

9.3.9 Тип boolean_value

Тип boolean_value является значением, связанным с типом данных, определенным конструкцией BOOLEAN языка EXPRESS.

EXPRESS-спецификация

*)

TYPE boolean_value = BOOLEAN;

END_TYPE;

(*

9.3.10 Тип Iogical_value

Тип Iogical_value является значением, связанным с типом данных, определенным конструкцией LOGICAL языка EXPRESS.

EXPRESS-спецификация

*)

TYPE logical_value = LOGICAL;

END_TYPE;

(*

9.3.11 Тип bound_instance_value

Тип bound_instance_value является значением bound, имеющим текущее значение. Текущей величиной является integer_bound.bound_value или значение population_dependent_bound, когда совокупность схемы, объявляющая population_dependent_bound, достаточна для вычисления целочисленного выражения, определяющего данное значение.

EXPRESS-спецификация

*)

TYPE bound_instance_value = INTEGER;

END_TYPE;

(*

9.3.12 Тип query_source

Тип query_source является одним из типов aggregate_instance, sdai_model, sdai_repository или schema_instance, а также областью значений для выполнения команды запроса СИДД.

EXPRESS-спецификация

*)

TYPE query_source = SELECT

(aggregate_instance,
sdai_model,
sdai_repository,
schema_instance);

END_TYPE;

(*

9.4 Определения объектов схемы параметризированных данных СИДД

Данный подраздел содержит понятия параметризованных данных, определяющих использование конструкции ENTITY языка EXPRESS.

9.4.1 Объект iterator

Объект iterator является механизмом, с помощью которого команды СИДД ссылаются на элементы агрегатов. Для агрегата можно определить несколько iterator. При этом каждый из iterator работает независимо от других; поведение одного iterator после изменения агрегата, использующего другой iterator, в настоящем стандарте не определено.

EXPRESS-спецификация

*)

ENTITY iterator;

END_ENTITY;

(*

Определения атрибутов

subject - агрегат, доступный по iterator;

currcnt_member - текущий элемент агрегата (при его наличии), на который указывает iterator. Объект iterator не указывает текущий элемент, если он установлен в начале агрегата, в конце агрегата или является элементом массива, значение которого не установлено.

9.4.2 Объект entity_instance

Объект entity_instance является экземпляром, основанным на entity_definition (см. 6.4.12). Данный тип объекта является супертипом всех типов объекта, экземпляры которых могут запрашиваться или обрабатываться посредством реализации СИДД. Атрибуты entity_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации. Отношение между entity_instance и его подтипами должно обеспечиваться всеми реализациями СИДД.

EXPRESS-спецификация

*)

ENTITY entity_instance

ABSTRACT SUPERTYPE OF (ONEOF(sdai_instance, application_instance));

END_ENTITY;

(*

Пример 8 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимая для экземпляра объекта.

ENTITY entity_instance

WHERE

END_ENTITY;

Определения атрибутов

owning_model - СИДД-модель (sdai_model), к которой принадлежит данный entity_instance;

definition - тип объекта, которым является данный экземпляр;

values - значения явных атрибутов данного экземпляра объекта (entity_instance).

9.4.3 Объект application_instance

Объектом application_instance является объект entity_instance, определение которого есть тип объекта, установленный в прикладной схеме или импортированный в нее. Атрибуты application_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации. Отношение подтипа между application_instance и entity_instance должно обеспечиваться во всех реализациях СИДД.

EXPRESS-спецификация

*)

ENTITY application_instance

SUBTYPE OF (entity_instance);

END_ENTITY;

(*

Пример 9 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимая для прикладного экземпляра.

ENTITY application_instance

END_ENTITY;

Определение атрибута

persistent_label - имя (при его наличии), связанное с прикладным экземпляром (см. 10.11.6).

9.4.4 Объект sdai_instance

Объект sdai_instance является объектом entity_instance, определение которого есть тип объекта, установленный в схеме СИДД. Отношения подтипа между sdai_instance и entity_instance и dictionary_instance, session_instance и sdai_instance должны обеспечиваться всеми реализациями СИДД.

EXPRESS-спецификация

*)

ENTITY sdai_instance

ABSTRACT SUPERTYPE OF (ONEOF(dictionary_instance, session_instance))

SUBTYPE OF (entity_instance);

END_ENTITY;

(*

9.4.5 Объект dictionary_instance

Объект dictionary_instance является объектом sdai_instance, определение которого есть тип объекта, установленный в схеме словаря СИДД (см. раздел 6). Отношение подтипа между dictionary_instance и sdai_instance должно обеспечиваться всеми реализациями СИДД.

EXPRESS-спецификация

*)

ENTITY dictionary_instance

SUBTYPE OF (sdai_instance);

END_ENTITY;

(*

9.4.6 Объект session_instance

Объект session_instance является объектом sdai_instance, определение которого есть тип объекта, установленный в схеме сеанса СИДД или импортированный в данную схему из схемы совокупности СИДД (см. разделы 7 и 8). Типы объектов, импортированные в схему сеанса СИДД из схемы словаря СИДД, не являются экземплярами session_instance. Отношение подтипа между session_instance и sdai_instance должно обеспечиваться всеми реализациями СИДД.

EXPRESS-спецификация

*)

ENTITY session_instance

SUBTYPE OF (sdai_instance);

END_ENTITY;

(*

9.4.7 Объект attribute_value

Объект attribute_value является значением, связанным с атрибутом entity_instance. Атрибуты объекта attribute_value описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY attribute_value;

END_ENTITY;

(*

Пример 10 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимая для значения атрибута.

ENTITY attribute_value;

DERIVE

END_ENTITY;

Определения атрибутов

data_value - значение (при его наличии), связанное с атрибутом; если оно отсутствует - атрибут не представлен;

attribute_definition - определение атрибута из схемы словаря, для которого оно имеет значение;

value_set - булевская величина, соответствующая TRUE, если атрибут имеет значение, FALSE, если значение атрибута не установлено.

9.4.8 Объект select_value

Объект select_value является значением, связанным с типом данных, определяемым конструкцией TYPE языка EXPRESS, устанавливающей тип SELECT. Объект select_value содержит информацию, достаточную для однозначной идентификации возможного пути, определяющего значение типа в случае, когда схема устанавливает граф типов, возможно включающий тип SELECT, а без дополнительной информации относительно типа такое определение может быть неоднозначным. Атрибуты select_value описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY select_value;

SUPERTYPE OF (ONEOF(select_aggregate_instance));

END_ENTITY;

(*

Пример 11 - Ниже описана примерная EXPRESS-спсцифпкация функциональных возможностей, необходимая для значения выбора.

ENTITY select_value;

END_ENTITY;

Определения атрибутов

data_value - значение, связанное с типом данных;

data_type - типы, достаточные для идентификации конкретных значений в порядке их представления прикладным программистом.

9.4.9 Объект select_aggregate_instance

Объект select_aggregate_instance является объектом select_value, имеющим в качестве своего значения data_value экземпляра агрегата.

EXPRESS-спецификация

*)

ENTITY select_aggregate_instance;

SUBTYPE OF (select_value);

END_ENTITY;

(*

Неформальное утверждение

IP1 - data_value должно быть экземпляром агрегата.

9.4.10 Объект enumeration_value

Объект enumeration_value является значением, связанным с типом данных, являющихся типом ENUMERATION языка EXPRESS. Атрибуты enumeration_value описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY enumeration_value;

END_ENTITY;

(*

Пример 12 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимых для перечисляемого значения.

ENTITY enumeration_value;

END_ENTITY;

Определения атрибутов

enumeration_name - позиция внутри списка enumeration_type.elements, соответствующая элементу перечисления, значение которого связано с типом данных (см. 6.4.28);

enumeration_typename - объект defined_type, определяющей элемент перечисления, который является значением типа данных

Неформальное утверждение

IP1 - объект defined_type, на который дана ссылка в enumeration_typename, должен быть разрешен по средством конструкции TYPE в схеме так, чтобы он мог иметь в качестве значения атрибута defined_type.domain тип enumeration_type.

9.4.11 Объект aggregate_instance

Объект aggregate_instance является экземпляром aggregate_type.

EXPRESS-спецификация

*)

ENTITY aggregate_instance

ABSTRACT SUPERTYPE OF (ONEOF(unordered_collection, ordered_collection));

END_ENTITY;

(*

9.4.12 Объект unordered_collection

Объект unordered_collection является объектом aggregate_instance, представляющим собой экземпляр типа мультимножества или набора (bag или set).

EXPRESS-спецификация

*)

ENTITY unordered_collection

ABSTRACT SUPERTYPE OF (ONEOF(set_instance, bag_instance))

SUBTYPE OF (aggregate_instance);

END_ENTITY;

(*

9.4.13 Объект set_instance

Объект set_instance является объектом unordered_collection, представляющим собой экземпляр типа набора (set). Атрибуты set_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY set_instance

SUBTYPE OF (unordered_collection);

END_ENTITY;

(*

Пример 13 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимых для экземпляра набора.

ENTITY set_instance

END_ENTITY;

Определения атрибутов

set_definition - схема словаря, определяющая набор;

contents - значения в наборе.

9.4.14 Объект bag_instance

Объект bag_instance является объектом unordered_collection, представляющим собой экземпляр мультимножества. Атрибуты bag_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY bag_instance

SUBTYPE OF (unordered_collection);

END_ENTITY;

(*

Пример 14 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимых для экземпляра мультимножества.

ENTITY bag_instance

END_ENTITY;

Определения атрибутов

bag_definition - схема словаря, определяющая мультимножество;

contents - значения в мультимножестве.

9.4.15 Объект ordered_collection

Объект ordered_collection является объектом aggregate_instance, представляющим собой экземпляр типа списка или массива.

EXPRESS-спецификация

*)

ENTITY ordered_collection

ABSTRACT SUPERTYPE OF (ONEOF(list_instance, array_instance))

SUBTYPE OF (aggregate_instance);

END_ENTITY;

(*

9.4.16 Объект list_instance

Объект list_instance является объектом ordered_collection, представляющим собой экземпляр типа списка.

EXPRESS-спецификация

*)

ENTITY list_instance

ABSTRACT SUPERTYPE OF (ONEOF(non_persistent_list_instance,
schema_defined_list_instance))

SUBTYPE OF (ordered_collection);

END_ENTITY;

(*

9.4.17 Объект schema_defined_Iist_instance

Объект schema_defined_list_instance является объектом list_instance, представляющим собой экземпляр типа списка, определенный в схеме СИДД или прикладной схеме. Атрибуты schema_defined_list_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY schema_defined_list_instance

SUBTYPE OF (list_instance);

END_ENTlTY;

(*

Пример 15 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимых для экземпляра списка, определенного в схеме.

ENTITY schema_defined_list_instance

END_ENTlTY;

Определения атрибутов

Iist_definition - схема словаря, определяющая список;

contents - значения в списке.

9.4.18 Объект non_persistent_list_instance

Объект non_persistent_list_instance является объектом list_instance, представляющим собой экземпляр непостоянного, неограниченного списка экземпляров объектов (entity_instance).

EXPRESS-спецификация

*)

ENTITY non_persistent_list_instance

SUBTYPE OF (list_instance);

END_ENTITY;

(*

Пример 16 - Ниже описана примерная EXPRESS-спецификация функциональных возможностей, необходимых для экземпляра непостоянного списка.

ENTITY non_persistent_list_instance

END_ENTITY;

Определения атрибута

contents - значения в списке.

9.4.19 Объект array_instance

Объект array_instance является объектом ordered_collection, представляющим собой экземпляр типа массива. Допустимые значения индекса array_instance устанавливаются во время создания этого экземпляра. Последующие операции над массивом могут переопределять значения индекса для array_instance, зависящие от совокупности схемы, в которой определен данный тип массива (см. 10.18.3). Атрибуты array_instance описаны в настоящем стандарте, но соответствующая EXPRESS-спецификация отсутствует, так как нет необходимости в их реализации.

EXPRESS-спецификация

*)

ENTITY array_instance

SUPERTYPE OF (ONEOF(applicatio_indexed_array_instance))

SUBTYPE OF (ordered_collection);

END_ENTITY;

(*

Определения атрибутов

array_definition - схема словаря, определяющая массив;

contents - значения примитивов, являющихся элементами массива. Индексы массива определяются как bound_instance_value.

9.4.20 Объект application_indexed_array_instance

Объект application_indexed_array_instance является объектом array_instance, представляющим собой экземпляр типа массива, верхний и нижний индексы которого устанавливаются приложением при создании данного экземпляра. Команда сброса индексов массива может возвращать в исходное состояние правильные позиции индексов для application_indexed_array_instance (см. 10.18.4).

EXPRESS-спецификация

*)

ENTITY application_indexed_array_instance

SUBTYPE OF (array_instance);

END_ENTITY;

(*

*) END_SCHEMA; -- SDAI_parameter_data_schema;

(*

10 Команды СИДД

10.1 Введение

В данном разделе определены команды СИДД, не определены порядок выполнения данных команд, входные и выходные данные для них и потенциальные указатели ошибок, обрабатываемые языковыми привязками СИДД.

Примечание 1 - Конкретная команда может отображаться одной или несколькими функциями в некоторых языковых привязках, могущими иметь разное количество передаваемых неявно входных и выходных данных или параметров ошибки, например имя функции в предыдущей привязке.

Описание каждой команды должно охватывать следующие аспекты:

- описание выполняемой функции или оказываемой услуги;

- входные данные: информацию, которую необходимо определить до выполнения команды (если она требуется). Каждый входной параметр определяется: именем, в котором каждое составляющее его слово начинается с заглавной буквы; типом параметра, соответствующим схемам из разделов 6-9, выделенными полужирным шрифтом; словами, набранными строчными буквами, определяющими тип имени, и текстовым описанием;

- выходные данные: информацию, доступную приложению после правильного выполнения команды (если она необходима). Выходные параметры определяются по тем же правилам, что и входные параметры.

Примечание 2 - Некоторые параметры одновременно могут быть и входными и выходными;

- возможные указатели ошибок: условия, приводящие к неправильному завершению команды. Текст, описывающий указатель ошибки, может отличаться от приведенного в разделе 11 более конкретным описанием типа параметра, связанного с указателем ошибки для данной команды;

- влияние среды СИДД: описание изменений входных параметров и экземпляров объектов схем из разделов 6-9 (при необходимости). Во многих случаях на атрибут определенного экземпляра объекта ссылаются посредством синтаксической конструкции Parameter.attribute, где Parameter является именем входного или выходного параметра, a attribute - атрибутом экземпляра объекта для Parameter.

10.2 Фундаментальные принципы и допущения

Применяют следующие фундаментальные принципы и допущения:

- характеристики параметров команд СИДД, описанные в схемах словаря, сеанса и совокупности СИДД. Отношения подтипов между типами экземпляров объекта, описанные в схеме параметрических данных СИДД;

- команды экземпляра объекта, применяемые ко всем экземплярам любого типа данных объекта, определенные в любой схеме СИДД или прикладной схеме, доступной для приложения;

- команды прикладного экземпляра, применяемые только к экземплярам типов данных объекта, определенным в прикладных схемах, доступных для приложения;

- когда требуется команда доступа к экземпляру объекта в СИДД-модели, неактивной в текущем сеансе, а хранилище, содержащее данную модель, открыто, к модели автоматически применяется функция, эквивалентная команде начала доступа в режиме "только чтение". Если же хранилище, содержащее СИДД-модель, закрыто, оно само и СИДД-модель не должны автоматически открываться, и должна выдаваться ошибка;

- когда команда завершается неправильно, значения входных параметров не должны изменяться. Воздействие на выходные параметры в настоящем стандарте не определено;

- для реализации, не поддерживающих доступ к словарю данных СИДД, выполнение команд, определяющих экземпляр из схемы словаря, обеспечивается командами языковых привязок СИДД, в которых данные параметры определяются по имени;

- для команд, в которых атрибут экземпляра объекта является входным параметром, этот атрибут может быть явно определен в entity_definition, на котором базируется entity_instance, или унаследован из супертипа данного entity_definition. Для языковых привязок СИДД, дополнительно поддерживающих определенные параметры по именам, случай наследования атрибутов с теми же именами из различных супертипов должен обрабатываться следующим образом: перед именем атрибута ставится имя супертипа типа объекта, из которого данный атрибут унаследован (см. 9.2.3.3 ГОСТ Р ИСО 10303-11);

- поведение команд доступа к экземпляру агрегата через его идентификатор или итератор во время использования других команд для добавления, изменения, перемещения или удаления элементов данного экземпляра в настоящем стандарте не определено;

- все итераторы, чьи агрегаты были удалены, должны быть изъяты в конце сеанса СИДД или раньше, в зависимости от реализации или условий, диктуемых языком программирования соответствующей привязки. При этом команда СИДД, использующая итератор в качестве параметра, должна возвращать ошибку AI_NEXS или IR_NEXS;

- экземпляры набора, мультимножества и списка управляются командами СИДД относительно их границ иначе, чем экземпляры массива. Нижние и верхние границы экземпляров наборов, мультимножеств и списков рассматриваются как ограничения количества элементов, которое могут содержать правильные экземпляры этих объектов. Эти границы не влияют на команды создания, добавления или перемещения элементов из наборов, мультимножеств и списков;

- экземпляры массива управляются командами СИДД относительно их границ другим образом, чем экземпляры набора, мультимножества и списка. Нижний и верхний индексы для экземпляров массива рассматриваются как устанавливаемый размер и допустимые позиции индекса для правильного экземпляра массива. Размер и допустимые позиции индекса для экземпляров массива устанавливаются в момент создания экземпляра массива, и изменить их можно только явным вызовом команды переиндексирования. Так как язык EXPRESS допускает объявление индекса массива в зависимости от совокупности прикладной схемы, команды СИДД позволяют создавать экземпляры одного и того же типа массива, имеющие различные допустимые позиции индекса. В случаях, когда совокупность не позволяет однозначно вычислить выражение индекса, команды СИДД позволяют определить значение индекса посредством приложения.

10.3 Команды среды

10.3.1 Открытие сеанса

Данная команда инициализирует реализацию и начинает новый сеанс СИДД. Она также открывает хранилище, содержащее экземпляр и данные схемы сеанса, а закрыть это хранилище может только команда закрытия сеанса. Возможен непосредственный доступ к данным сеанса. В реализации, обеспечивающей доступ к словарю данных, хранилища и СИДД-модели, содержащие информацию словаря данных, этой командой не открываются и не доступны, пока не будет начата транзакция.

Влияние на среду СИДД

Session (сеанс), создан правильный экземпляр sdai_session.

Создается правильный экземпляр реализации (implementation), а его идентификатор устанавливается как значение Session.sdai_implementation.

Атрибут Session.known_servers должен быть инициализирован экземпляром набора, элементы которого являются экземплярами sdai_repository, доступными для приложения в данном сеансе. В данном экземпляре набора находится инициализирующий элемент active_servers.

Атрибут active_servers данного сеанса должен быть инициализирован экземпляром набора, состоящим из одного элемента - идентификатора хранилища, содержащего экземпляр схемы, основанной на схеме сеанса СИДД, и СИДД-модель, содержащую данные сеанса.

Атрибут active_models данного сеанса должен быть инициализирован экземпляром набора, состоящим из одного элемента - идентификатора СИДД-модели, в которой содержатся данные сеанса.

Атрибут errors данного сеанса должен быть инициализирован пустым экземпляром списка. Атрибут recording_active должен быть инициализирован со значением TRUE, если реализация обеспечивает описание событий, и FALSE - в противном случае.

Атрибут data-dictionary данного сеанса должен быть инициализирован экземпляром schema_instance, в котором связываются СИДД-модели, содержащие словарь данных, если реализация обеспечивает доступ к этим словарям.

10.4 Команды сеанса

10.4.1 Запись ошибки

Эта операция добавляет событие ошибки к записи ошибок сеанса СИДД.

Влияние на среду СИДД

Создан и добавлен к списку error_event новый экземпляр error_event, представляющий атрибут Session.errors.

10.4.2 Начало описания события

Данная команда разрешает или подтверждает доступ к описанию события для команд СИДД во время сеанса. Любые события ошибок, ранее описанные в течение сеанса, остаются в записи событий ошибок, а любые новые описанные события ошибок добавляются к данной записи.

Влияние на среду СИДД

Если значение атрибута Session.sdai_implementation.recording_level равное двум, что определяет обеспечение реализацией СИДД описания событий, то атрибуту Session.recording_active должно быть присвоено или оставлено значение TRUE.

10.4.3 Окончание описания события

Данная команда отключает описание событий для сеанса СИДД.

Влияние на среду СИДД

Атрибуту Session.recording_active должно быть присвоено или оставлено значение FALSE.

10.4.4 Закрытие сеанса

Данная команда прекращает сеанс СИДД. Дальнейшие команды СИДД возможны только после выполнения команды открытия сеанса. В реализациях, обеспечивающих уровни транзакции 1 или 2 (см. 13.1.1), реализация должна вести себя так, как будто выполнена команда закрытия хранилища для всех хранилищ из session.active_servers. В реализации, обеспечивающей уровень транзакции 3, реализация должна вести себя так, как будто выполнена команда окончания доступа и аварийного завершения транзакции, если транзакция существует в сеансе, а затем команда закрытия хранилища для каждого открытого хранилища независимо от того, существует транзакция или нет.

Влияние на среду СИДД

В реализации, поддерживающей уровень транзакции 1 или 2, для всех sdai_repository в Session.active_servers должна быть выполнена функция, эквивалентная команде закрытия хранилища.

В реализации, поддерживающей уровень транзакции 3, для Session.active_transaction должна быть выполнена функция, эквивалентная команде окончания доступа и аварийного завершения транзакции. Для каждого sdai_repository в Session.active_servers должна быть выполнена функция, эквивалентная команде закрытия хранилища.

Все экземпляры всех типов объектов во всех схемах СИДД и прикладных схемах больше недоступны.

10.4.5 Открытие хранилища

Данная команда открывает содержимое хранилища для последующего доступа к нему.

Влияние на среду СИДД

Хранилище (repository) должно быть добавлено к набору в Session.active_servers.

10.4.6 Начало транзакции с доступом "чтение-запись"

Данная команда определяет начало последовательности команд в сеансе, обеспечивающей доступ к экземплярам объектов с разрешением внесения изменений в данные экземпляры.

Влияние на среду СИДД

Создается допустимый экземпляр sdai_transaction.

Атрибут Transaction.mode должен быть установлен для read_write.

Данная транзакция (transaction) должна быть установлена как Session.active_transaction.

10.4.7 Начало транзакции с доступом "только чтение"

Данная команда определяет начало последовательности команд в сеансе, обеспечивающей доступ к экземплярам объектов без внесения изменений в данные экземпляры.

Влияние на среду СИДД

Создается допустимый экземпляр sdai_transaction.

Атрибут Transaction.mode должен быть установлен для read_only.

Данная транзакция (transaction) должна быть установлена как Session.active_transaction.

10.4.8 Фиксация транзакции

Данная команда фиксирует все изменения содержимого транзакции, СИДД-моделей и экземпляров схем всех открытых хранилищ, внесенные с момента активизации последней команды: начала транзакции с доступом "чтение-запись", фиксации или прерывания транзакции, независимо от того, какая из команд была последней. При этом существующая транзакция в режиме "чтение-запись" остается активной. Данная команда не выполняет никаких действий в случае, если текущая транзакция находится в режиме "только чтение". Данная команда обновляет или устанавливает знание атрибута change_date для любого экземпляра схемы или СИДД-модели, которые были измены или созданы.

Влияние на среду СИДД

В открытом хранилище делаются постоянными текущие состояния всех экземпляров следующих объектов:

- sdai_repository_contents;

- schema_instance;

- sdai_model.name;

- sdai_model_contents;

- entity_extent;

- scope;

- application_instance;

- aggregate_instance, за исключением non_persistent_list_instance.

Значение атрибута schema_instance.change_date любого измененного или созданного экземпляра схемы должно быть установлено для текущей даты.

Значение атрибута sdai_model.change_date для любой измененной или созданной СИДД-модели должно быть установлено для текущей даты.

10.4.9 Аварийное прерывание (abort)

Данная команда восстанавливает состояние содержимого транзакции, СИДД-моделей и экземпляров схем всех открытых хранилищ, существовавшее на момент активизации последней команды: начала транзакции с доступом в режиме "чтение-запись" или фиксации, независимо от того, какая команда была последней. Восстанавливаются все удаленные экземпляры объектов, все созданные экземпляры прекращают существование, а все изменения экземпляров уничтожаются. При этом существующая транзакция в режиме "чтение-запись" остается активной. Никаких действий по этой команде не выполняется, если текущая транзакция находится в режиме "только чтение".

Влияние на среду СИДД

Поведение итератора в экземпляре агрегата, созданном, измененном или удаленном с момента активизации последней команды начала транзакции с доступом в режиме "чтение-запись" или фиксация, в настоящем стандарте не определено.

Для следующих экземпляров в открытых хранилищах, созданных с момента активизации последней команды начала транзакции с доступом в режиме "чтение-запись" или фиксация, должна быть вызвана соответствующая команда удаления:

- schema_instance;

- sdai_model;

- scope;

- appIication_instance;

- aggregate_instance за исключением non_persistent_Iist_instance.

Для следующих экземпляров в открытых хранилищах, удаленных явно или неявно с момента последней активизации команды начала транзакции с доступом в режиме "чтение-запись" или фиксация, должны быть восстановлены состояния, существовавшие до момента активизации этих команд:

- schema_instance;

- sdai_model;

- sdai_model_contents;

- entity_extent;

- scope;

- application_instance;

- aggregate_instance за исключением non_persistent_list_instance.

Состояние всех следующих экземпляров в открытых хранилищах, измененных с момента последней активизации команды начала транзакции с доступом в режиме "чтение-запись" или фиксация, должно быть возвращено в исходное положение, существовавшее до момента активизации этих команд:

- sdai_repository_contents;

- schema_instance;

- sdai_model;

- sdai_model_contents;

- entity_extent;

- scope;

- application_instance;

- aggregate_instance за исключением non_persistent_list_instance.

10.4.10 Завершение доступа и фиксации транзакции

Данная команда заканчивает последовательность команд, открытую командой начала транзакции с доступом в режиме "чтение-запись" или "только чтение". Реализация должна вести себя так, как будто была выполнена команда фиксации транзакции до завершения доступа к ней. Последующие команды доступа к экземплярам объекта в сеансе возможны только после вызова команд начала транзакции с доступом в режимах "чтение-запись" или "только чтение".

Влияние на среду СИДД

Транзакция (transaction) должна быть удалена.

10.4.11 3авершение доступа к транзакции и аварийное прерывание

Данная команда заканчивает последовательность команд, открытую командой начала транзакции с доступом в режиме "чтение-запись" или "только чтение". Реализация должна вести себя так как будто была выполнена команда аварийного прерывания перед завершением доступа к транзакции. Последующие команды доступа к экземплярам объекта в сеансе возможны только после вызова команд начала транзакции с доступом в режимах "чтение-запись" или "только чтение".

Влияние на среду СИДД

Транзакция (transaction) должна быть удалена.

10.4.12 Создание нефиксированного списка

Данная команда создает пустой экземпляр non_persistent_Iist_instance. Нефиксированные списки обеспечивают услуги, такие как контейнер для результатов запроса и стандартные механизмы приложений СИДД для обработки коллекций экземпляров объекта. Нефиксированные списки необходимы только для обеспечения списков экземпляров объектов для типов объектов, найденных в словаре СИДД или в библиотеке функций, сгенерированных реализацией предшествующей языковой привязки. Невозможно присвоить идентификатор нефиксированного списка атрибуту экземпляра объекта. Все нефиксированные списки должны быть удалены в конце сеанса СИДД, и могут быть удалены раньше, в зависимости от предписаний языка программирования конкретной привязки. К нефиксированным спискам применяют следующие команды:

- 10.12.1-10.12.7;

- 10.13.2 и 10.13.3;

- 10.15.1-10.15.3;

- 10.16.1;

- 10.19.1-10.19.3 и 10.19.7.

Влияние на среду СИДД

Создается пустой нефиксированный список (non_persistent_list_instance).

10.4.13 Удаление нефиксированного списка

Данная команда удаляет неограниченный нефиксированный список и не влияет на элементы данного списка.

Влияние на среду СИДД

Список (list) удаляется.

10.4.14 Запрос СИДД

Данная команда наполняет существующий нефиксированный список, реализуя запрос через источник. Источником может быть определен экземпляр агрегата, СИДД-модель, экземпляр схемы или хранилище. В случае, когда источником являются СИДД-модели, экземпляр схемы или хранилище, источник определяет набор СИДД-моделей и для каждой СИДД-модели из набора запрос выполняется через entity_extent типа объекта, определенного в логическом выражении запроса. После запроса результирующий агрегат будет содержать идентификаторы экземпляров тех объектов, для которых вычисленное логическое выражение имеет значение TRUE. Если результирующий список уже содержал идентификаторы каких-либо экземпляров объекта, они остаются в этом списке, а новые результаты запроса добавляют в конец этого списка. В случае, когда синтаксис логического выражения неверен, должны выдаваться ошибки VA_NVLD, OP_NVLD или AT_NVLD, определяющие соответствующие ошибки в значении, операторе или атрибуте. Если комбинации атрибута, значения и оператора не обеспечиваются, должна выдаваться ошибка VT_NVLD.

Логическое выражение, определяющее критерий, по которому формируется результат, должно быть строкой вида VALUE OPERATOR entity{.attr_spec}.attr_spec, где:

- attr_spec является определением имени атрибута в виде attribute.name или entity_definition.name, соединенным с attribute.name с разделением через точку (.) в случае, когда атрибуты с тем же именем унаследованы из многих супертипов;

- {.attr_spec} является пустым или содержащим несколько ссылок на объекты, значениям которых присвоены имена соответствующих атрибутов;

- OPERATOR - это =, <=, >=, <, >, <>, :=:, :<>:, IN, или LIKE;

- VALUE может быть ключевым словом UNSET или принимать значение, определенное в таблице 1, где UNSET проверяет наличие или отсутствие значения атрибута.

Таблица 1 - Представления атрибутов, содержащихся в запросе

Простые виды могут комбинироваться с помощью NOT, AND, OR и круглых скобок для создания более сложных видов. Вычисление выражений в скобках определено в разделе 12 ГОСТ Р ИСО 10303-11. Логические операторы AND, OR и NOT определены соответственно в 12.4.2, 12.4.3 и 12.4.1 ГОСТ Р ИСО 10303-11.

Значения операторов сравнения =, <=, >=, <, > и <> определены в 12.2.1 ГОСТ Р ИСО 10303-11 с ограничением, что они не могут применяться к значениям типов данных агрегат или объект. Операторы сравнения экземпляров :=: и :<>: определены в 12.2.2 ГОСТ Р ИСО 10303-11 с ограничением, что они могут применяться только к значениям типов данных объекта.

Функция оператора LIKE, алгоритм сопоставления и символы сопоставления определены в 12.2.5 ГОСТ Р ИСО 10303-11, за исключением того, что левый операнд должен быть сопоставляемой строкой, а правый - контрольной строкой.

Функция оператора IN определена в 12.2.3 ГОСТ Р ИСО 10303-11.

В случае, когда VALUE в логическом выражении является литералом, формат этого литерала определен в 7.5 ГОСТ Р ИСО 10303-11.

Влияние на среду СИДД

Элементы источника (source), удовлетворившие заданному критерию, вносятся в качестве элементов в результат (result).

10.5 Команды хранилища

10.5.1 Создание СИДД-модели

Данная команда создает новую СИДД-модель, внутри которой могут создаваться и быть доступными экземпляры объектов. Вновь созданная модель не имеет связанного с ней режима доступа.

Влияние на среду СИДД

Должны быть созданы новые экземпляры sdai_model и sdai_model_contents.

Для ИмениМодели (ModelName) должен быть установлен атрибут Model.name.

Для Схемы (Schema) должен быть установлен атрибут Model.underlying_schema.

Атрибут Model.mode не будет установлен.

Для Хранилища (Repository) должен быть установлен атрибут Model.repository.

Для текущей даты должен быть установлен атрибут Model.change_date.

Для идентификатора вновь созданного экземпляра sdai_model_contents должен быть установлен атрибут Model.contents.

Атрибуты Model.contents.instances и Model.contents.populated_folders будут инициализированы экземплярами набора, не содержащего элементов.

Атрибут Model.contents.folders должен содержать единственный экземпляр entity_extent для каждого entity_definition в Schema.entities, у которого атрибут entity_extent.definition установлен соответствующим entity_definition, а атрибут entity_extent.instances будет инициализирован экземпляром набора, не содержащего элементов.

Для включения Модели (Model) должен быть обновлен атрибут Repository.contents.models.

10.5.2 Создание экземпляра схемы

Данная команда устанавливает новый экземпляр схемы.

Влияние на среду СИДД

Экземпляр (Instance), создается допустимый schema_instance.

Для Имени (Name) должен быть установлен атрибут Instance.name.

Атрибут Instance.associated_models инициализирован для экземпляра набора без элементов.

Для Схемы (Schema) должен быть установлен атрибут Instance.native_schema.

Для Хранилища (Repository) должен быть установлен атрибут Instance.repository.

Для текущей даты должны быть установлены атрибуты Instance.change_date и Instance.validation_date.

Атрибуту Instance.validation_result должно быть установлено значение FALSE.

Атрибуту Instance.validation_level будет установлено то же значение, что и атрибуту sdai_session.sdai_implementation.expression_level для экземпляра sdai_session, где Хранилище (Repository) находится в active_servers.

Для включения Экземпляра (Instance) должен быть обновлен атрибут Repository.contents.schemas.

10.5.3 Закрытие хранилища

Данная команда закрывает ранее открытое хранилище. Экземпляры схем и СИДД-модели внутри этого хранилища больше не доступны для работы.

Реализация, обеспечивающая транзакции уровней 1 и 2 (см. 13.1.1), должна вести себя так, как будто команда завершения доступа в режиме "только чтение" применена для всех ранее открытых СИДД-моделей с доступом в данном режиме. Реализация, обеспечивающая транзакцию уровня 1, должна вести себя так, как будто команда завершения доступа в режиме "чтение-запись" ко всем СИДД-моделям с режимом "чтение-запись" применена для всех активных СИДД-моделей внутри хранилища. Реализация, обеспечивающая транзакцию уровня 2, должна вести себя так, как будто команды отмены изменений и завершения доступа в режиме "чтение-запись" ко всем СИДД-моделям с режимом "чтение-запись" применены для всех активных СИДД-моделей внутри хранилища.

В реализации, обеспечивающей транзакцию уровня 3, если транзакция с доступом "чтение-запись" активна в сеансе, имеют место два обстоятельства, при которых данная команда должна в результате привести к ошибке TR_RW. Во-первых, если какая-нибудь СИДД-модель внутри хранилища была создана, изменена или удалена после последнего применения команды фиксация или аварийное прерывание. Во-вторых, если какой-нибудь экземпляр схемы внутри хранилища был создан, изменен или удален после последнего применения команды фиксация или аварийное прерывание. В остальных случаях реализация, обеспечивающая транзакцию уровня 3, должна вести себя так, как будто команда завершения доступа в режиме "только чтение" применена ко всем активным СИДД-моделям, доступным в режиме "только чтение", а команда завершения доступа в режиме "чтение-запись" - ко всем СИДД-моделям, доступным в режиме "чтение-запись", внутри хранилища до его закрытия.

Влияние на среду СИДД

В текущем сеансе Хранилище (Repository) удаляется из sdai_session.active_servers.

В текущем сеансе все элементы Repository.contents.models удаляются из sdai_session.active_models.

10.6 Команды экземпляра схемы

10.6.1 Удаление экземпляра схемы

Данная команда удаляет экземпляр схемы. Если существуют ссылки между двумя СИДД-моделями, связанные с этим экземпляром схемы, и нет другого экземпляра схемы, с которым были бы связаны обе модели, тогда ссылки между экземплярами объектов в этих двух моделях являются неверными (см. 10.10.7).

Влияние на среду СИДД

Экземпляр (Instance) удаляется.

Экземпляр (Instance) должен быть удален из Instance.repository.contents.schemas.

10.6.2 Переименование экземпляра схемы

Данная команда присваивает новое имя экземпляру схемы.

Влияние на среду СИДД

Для Имени (Name) должен быть установлен атрибут Instance.name.

10.6.3 Добавление СИДД-модели

Данная команда добавляет СИДД-модель к набору СИДД-моделей, связанных с экземпляром схемы. Это позволяет экземплярам объектов в данной СИДД-модели ссылаться на экземпляры объектов в других моделях, связанных с данным экземпляром схемы, и одновременно быть ссылками для них. При этом также добавляются экземпляры объектов из данной СИДД-модели к области значений для проверки глобальных правил и правил уникальности, определенных экземпляром схемы. Если СИДД-модель не основана на той же схеме, что и данный экземпляр схемы, но базируется на внешней схеме, тогда экземпляр объекта в этой модели должен считаться связанным с данным экземпляром схемы, только если их типы объектов определены как эквивалентные по области значений с типом объекта из собственной схемы, на которой основан данный экземпляр схемы (см. А.2). Если эквивалентная область значений не обеспечивается, а добавляемая СИДД-модель основана на внешней схеме, должна выдаваться ошибка FN_NAVL.

Влияние на среду СИДД

Атрибут Instance.associated_models должен быть изменен для включения Модели (Model).

10.6.4 Удаление СИДД-модели

Данная команда удаляет СИДД-модель из набора СИДД-моделей, связанных с экземпляром схемы. Если данная СИДД-модель больше не имеет общего экземпляра схемы с другой СИДД-моделью в данном экземпляре схемы, все ссылки между двумя этими моделями станут неверными (см. 10.10.7).

Влияние на среду СИДД

Модель (Model) должна быть удалена из Instance.associated_models.

10.6.5 Проверка глобального правила

Данная команда определяет, удовлетворяет ли совокупность, связанная с экземпляром схемы, глобальному правилу, установленному в схеме. Экземплярами объектов, охватываемыми проверкой, являются все экземпляры типов объектов, к которым во всех СИДД-моделях, связанных с экземпляром схемы, применяется глобальное правило. Экземпляры объектов внутри СИДД-моделей, основанных на внешней схеме, включаются в проверку, если они являются экземплярами типов объектов, определенных экземпляром external_schema эквивалентными по области значений с типами объектов в собственной схеме. Включенные таким образом экземпляры объектов должны быть обработаны подобно экземплярам собственного типа, как определено в domain_equivalent_type. Если во внешнем типе сущности отсутствуют свойства, необходимые для удовлетворения правила, выдается ошибка ED_NVLD. Ссылки на экземпляры объектов в СИДД-моделях, которые не связаны с данным экземпляром схемы, должны обрабатываться так, как если бы они не были установлены.

10.6.6 Проверка правила уникальности (однозначности)

Эта операция определяет, удовлетворяет ли совокупность, связанная с экземпляром схемы, правилу уникальности (однозначности), установленному в схеме. Экземплярами объектов, охваченными проверкой, являются все экземпляры типов объектов, для которых объявлено данное правило, во всех СИДД-моделях, связанных с данным экземпляром схемы. Экземпляры объектов внутри СИДД-моделей, основанных на внешней схеме, включают в проверку, если они являются экземплярами типов объектов, определенных экземпляром external_schema эквивалентными по области значений с типами объектов в собственной схеме. Включенные таким образом экземпляры объектов должны быть обработаны как экземпляры собственного типа, что определено в domain_equivalent_type. Если во внешнем типе сущности отсутствуют свойства, необходимые для удовлетворения правила, выдается ошибка ED_NVLD. Ссылки на экземпляры объектов в СИДД-моделях, которые не связаны с данным экземпляром схемы, должны обрабатываться так, как если бы они не были установлены.

10.6.7 Проверка области значений ссылки на экземпляр

Данная команда определяет, все ли атрибуты в заданном прикладном экземпляре со ссылкой на экземпляр объекта имеют соответствующие значения, ссылающиеся на экземпляры объектов внутри СИДД-моделей, связанных с заданным экземпляром схемы.

10.6.8 Проверка экземпляра схемы

Данная команда определяет, удовлетворяет ли совокупность, связанная с экземпляром схемы, всем ограничениям, заданным внутри схемы, на которой основан данный экземпляр схемы. Данная команда обновляет информацию проверки, проводимой внутри данного экземпляра схемы.

Влияние на среду СИДД

Для текущей даты должен быть установлен атрибут Instance.validation_date.

Для объекта implementation.expression_level текущей реализации должен быть установлен атрибут Instance.validation_level.

Для объекта Результат (Result) должен быть установлен атрибут Instance.validation_result.

10.6.9 Определение актуальности проверки

Данная команда определяет, нужна ли полная проверка правильности экземпляра схемы после выполнения последней команды проверки экземпляра схемы, исходя из того, задано ли значение атрибута schema_instance.validation_result или внесено какое-либо изменение в экземпляры схемы или СИДД-модели, связанные с этим экземпляром схемы. При не установленном результате проверки или наличии любого изменения, данная команда определяет, что проверка не актуальна.

10.7 Команды СИДД-модели

10.7.1 Удаление СИДД-модели

Данная команда удаляет СИДД-модель (sdai_model) вместе со всеми содержащимися в ней экземплярами объектов (entity_instances), агрегатов (aggregate_instances) и областями действия (scopes). Любая последующая команда, использующая ссылку на данную модель или ее составную часть, должна вести себя так, как если бы эти ссылки отсутствовали.

Влияние на среду СИДД

Model и Model.contents должны быть удалены.

Каждый entity_instance из множества Model.contents.instances должны быть удалены так, как если бы к ним была применена команда удаления прикладного экземпляра (см. 10.11.2).

Должна быть удалена Model из множества sdai_session.active_models для текущего сеанса.

Должна быть удалена Model из множества sdai_repository_contents.models для хранилища, в котором была создана Model.

Должна быть удалена Model из множества schema_instance.associated_models для экземпляра схемы, с которыми была связана Model.

Должна быть удалена каждая scope, созданная внутри Model.

10.7.2 Переименование СИДД-модели

Данная команда присваивает новое имя sdai_model.

Влияние на среду СИДД

Для объекта ModelName должен быть установлен атрибут Model.name.

10.7.3 Начало доступа "только чтение"

Данная команда делает доступными экземпляры внутри СИДД-модели, но ограничивает доступ к ним режимом "только чтение". В результате любой последующей команды СИДД, пытающейся изменить экземпляры внутри sdai_model, должна быть выдана ошибка.

Влияние на среду СИДД

Для объекта read_only должен быть установлен атрибут Model.mode.

Объект Model должен быть добавлен к множеству sdai_session.active_models для текущего сеанса.

10.7.4 Перевод СИДД-модели в режим "чтение-запись"

Данная команда разрешает доступ в режиме "чтение-запись" к экземплярам СИДД-модели (sdai_model), к которой была применена команда начала доступа "только чтение" или которая была автоматически начата (открыта) с доступом "только чтение" в результате ссылки (обращения) к экземпляру объекта внутри этой модели.

Влияние на среду СИДД

Для объекта read_write должен быть установлен атрибут Model.mode.

10.7.5 Завершение доступа "только чтение"

Данная команда завершает доступ к СИДД-модели (sdai_model) в режиме "только чтение". Последующие команды над экземплярами, содержащимися внутри данной модели, не будут выполняться, пока не начнется доступ к этой модели при помощи команды начала доступа "только чтение" или "чтение-запись", или после автоматического начала доступа к этой модели в режиме "только чтение" в результате использования ссылки на экземпляр объекта внутри данной модели.

Влияние на среду СИДД

Атрибут Model.mode должен стать неопределенным.

Объект Model должен быть удален из множества sdai_session.active_models для текущего сеанса.

10.7.6 Начало доступа "чтение-запись"

Данная команда делает доступными экземпляры внутри СИДД-модели и разрешает доступ к ним в режиме "чтение-запись".

Влияние на среду СИДД

Для объекта read_write должен быть установлен атрибут Model.mode.

Объект Model должен быть добавлен к множеству sdai_session.active_models для текущего сеанса.

10.7.7 Завершение доступа "чтение-запись"

Данная команда завершает доступ к СИДД-модели (sdai_model) в режиме "чтение-запись". Последующие команды над экземплярами, содержащимися внутри данной модели, не будут выполняться, пока не начнется доступ к этой модели при помощи команды начала доступа "только чтение" или "чтение-запись", или после автоматического начала доступа к этой модели в режиме "только чтение" в результате использования ссылки на экземпляр объекта внутри данной модели. Реализация, обеспечивающая транзакцию уровня 2, должна вести себя так, как будто к данной СИДД-модели была применена команда отмены изменений. В реализации, обеспечивающей транзакцию уровня 3, если какой-либо прикладной экземпляр (application_instance) или область действия (scope) внутри данной СИДД-модели были созданы, изменены или удалены после выполнения последней команды фиксации, прерывания или начала транзакции с доступом "чтение-запись", описываемая команда должна выдать ошибку TR_RW.

Влияние на среду СИДД

Атрибут Model.mode должен быть возвращен в неустановленное значение.

Объект Model должен быть удален из множества sdai_session.active_models для текущего сеанса.

10.7.8 Получение определения объекта

Данная команда возвращает идентификатор entity_definition из словаря данных, основываясь на имени объекта из схемы, на которой базируется заданная СИДД-модель.