предложениями для допустимого действия.
Допустимые действия, выполняемые информационным процессором, могут
осуществлять вставку, выборку, удаление или модификацию предложения в
концептуальной схеме и информационной базе. Однако вводить сами входные
предложениявконцептуальнуюсхемуилиинформационнуюбазу
необязательно, если входные предложения только передают параметры для
допустимого действия. Иногда входные предложения вводятся, в других случаях
они приводят к вставке других выведенных предложений. Входное предложение,
которое фактически не вставляется, не воспроизводимо после окончания
допустимого действия.
Предложения, связанные с допустимым действием, определяют фактический
результат. Вместе они определяют фактическое допустимое действие, т. е.
реализацию типа допустимого действия.
Допустимое действие запускается событием или, более точно, командой,
представленной в виде сообщения, извещающего о событии. Тип события
определяет, какой тип допустимого действия запускается. В этот момент
допустимое действие будет активным. Активное допустимое действие будет
непрерывным до его окончания. Это окончание может вызывать внутреннее
событие в зависимости от результата допустимого действия.
В любое время в информационной системе могут быть активны несколько
допустимых действий. Допустимые действия могут принадлежать к одному и
тому же или к различным типам допустимых действий. Два допустимых действия,
активных в одно и то же время, считаются работающими совершенно
независимо друг от друга.
Между самим событием и уведомлением о нем в информационный процессор
или между уведомлением и реакцией информационного процессора может
возникать определенная задержка. Поэтому возможно, что последовательность,
в которой информационная система уведомляется о событиях, отличается от
последовательности самих событий, происходящих в проблемной области. Если
эта последовательность событий во времени существенна, например из-за
обязательнопредшествующихсостояний,которыедолжныбыть
зарегистрированывконцептуальнойсхеме иинформационной базе,
соответствующие допустимые действия должны быть координированными,
включая, в случае необходимости, синхронизацию допустимых действий.
Условие команды для некоторого допустимого действия состоит из событий
(внешних и внутренних), которые должны произойти для запуска допустимого
действия, а также из правила или множества правил, устанавливающих, каким
образом события формируют необходимое условие для запуска допустимого
действия. Условие команды может быть расширено и сделано более точным при
помощи правил, учитывающих предложения, извещающие о событиях, или уже
присутствующих в концептуальной схеме и информационной базе.
Если в условие команды для допустимого действия включено несколько
событий, тогда последнее по времени событие, независимо от того, каким оно
есть,выполняетусловиекомандыизапускаетдопустимоедействие.
"Поступление" других событий, за исключением последнего, переводит условие
команды в "состояние ожидания".