Условие команды может иметь ограниченное состояние ожидания, т.е. могут
быть ограничения на продолжительность состояния ожидания. Если в этот
ограниченный периодпоследнеенеобходимое событиенепроисходит,
допустимое действие не будет выполняться, несмотря на события, которые уже
прошли. Тем не менее новая серия событий может подготовить новое состояние
ожидания для возможного допустимого действия. Если не определено
ограниченное состояние ожидания, состояние ожидания может продолжаться как
угодно долго.
Одна реализация событий может участвовать в запуске только одного
допустимого действия. Если условие команды удовлетворено и запуск
допустимого действия состоялся, то "поступление" новых событий может
подготовить условие команды только для нового запуска допустимого действия.
В контексте условий команд необходимо специальное замечание по поводу
событий. Само событие (реализация) несет информацию, так как оно
удостоверяет, что нечто произошло. Этот факт устанавливается не в общем
смысле, а конкретно. Поэтому событие удостоверяет не то, что имел место
какой-то факт определенного типа, но что имел место конкретный факт
(реализация) с конкретным результатом.
Вследствие этого внутренние события контролируются предписывающими
правилами для данного события. Тип допустимого действия может завершиться
несколькими различными внутренними событиями, в зависимости от результата
допустимогодействия.Такиеразличныесобытиямогутбыть
взаимоисключающими, но это не обязательно.
Во время выполнения допустимого действия (а также до выполнения самого
допустимого действия) информационный процессор использует такие правила и
ограничения:
- распознает уведомление о событии и получение выходного предложения
согласно правилам распознавания;
- вычисляет условие команда и запускает фактическое допустимое действие
или помещает условие команды в состояние ожидания;
- после запуска допустимого действия выполняет само допустимое действие в
соответствии с правилами, сформулированными в описании допустимого
действия, манипулирующего концептуальной схемой и информационной базой;
- контролирует манипулирование концептуальной схемой и информационной
базой согласно соответствующим статическим и динамическим правилам и
ограничениямдляконцептуальнойсхемыиинформационнойбазыи
соответствующим правилам полномочий;
- возбуждает одно или более соответствующих внутренних событий согласно
предписывающим правилам для внутренних событий;
- генерирует выходные сообщения в соответствии с предписывающими
правилами для выходных сообщений.
4 П
ОНЯТИЯ И ПРИНЦИПЫ РЕАЛИЗАЦИИ