Следующее объявление на языке 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;