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

Уровень приложение (автомат): приложение имеет каналы каналы appIn, appOut. В состояние приложения включается список работающих панелей.

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

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

Уровень формы (состояние автомата): каналы panIn, panOut. Формы приложения делятся на две большие группы:

-табличные панели - используются для просмотра списка сущностей (немодальные).

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

Данные, описывающие сущность отображаются на панели через одно или несколько окон данных - record window.

К этому уровню относятся

-команды, изменяющие множество сущностей: Все формы приложения имеют кнопки (этими кнопками выполняются одноименные команды) из следующего множества Panlnput = {Add, Delete, Edit, Refresh, Filter, Order, Export, Exit, Cancel} Табличные панели имеет все перечисленные кнопки, а панели редактирования

Add, Delete, Edit, Exit.

-команды выбора окна данных: выбрать следующее окно данных, выбрать предыдущее окно данных.

??????????? команды изменяющие множество данных, проходящие через каналы, влияют на изменение состояния автомата, то есть, приводят к появлению/открытию или исчезновению/закрытию нанели или изменение состояния панели (к состоянию относятся данные, которые на панели, точнее изменение множества id-й записей, если id не поменялось, то запись считается тойже самой).

через этот канал от пользователя идут команды из множества Panlnput.

через этот канал к пользователю идет список допустимых команд из множества Panlnput. Заметим, если текущая панель была окном редактирования сущности, то список команд будет ( Exit, Cancel, Edit, Delete). Если, текущая панель - окно просмотра таблицы - то список команд будет равен Panlnput.

Уровень множества данных : каналы setIn, setOut. изменение вида множества записей. К набору команд относятся команды изменения вида множества:

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

-команды сортировки окна данных;

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

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

not ready

not ready

Кроме того, приложение на этом уровне обмениватся данными с базой данных (или с устройством долговременной памяти).

Уровень записи:

not ready

not ready not ready

•Уровень поля: not ready

•Уровень байта: not ready

Все приложения и панели рассматриваются как паралельно работающие процессы, которые читают и пишут из/в свои каналы. Под словом "работающий процесс"понимается, что процесс вывел в свой канал вывода свои данные (например, для операционной системы - это команды выбора приложения) и ждет одной из команд пользователя.

2.1 Operational system level

Этот уровень абстракции как очевидный и простой рассматривается только в качестве иллюстрации.

2.1.1 Operational system

Работа операционной системы заключается в том, что при любом списке приложения aps, она ждет команду пользователя. Напомним, что пользователь может выбрать предыдущее/следующее приложение из списка, принудительно остановить текущее или запустить новое, путь к которому задан в AppPath. Функция fg преобразует введенную команду и старый список приложений aps в вывод операционной системы - o, вывод приложения -a и измененный список приложений - aps1. Выводит o и a пользователю и продолжает свою работу для измененного списка os(aps1). Если пользователь запускал на выполнение новое приложение, то список приложений стал длиннее.

-- Start of Scheme rsl/T0, rsl/L0 APP

scheme L0 OS = with T0 in

extend L0 APP with

OSInput =

Pointer - - activate next of prev application, or close - - current application AppPath,