Способы прекращения записи

Часть условия начала записи, состоящая только из критериев состояния системы, используется также для управления прекращением записи. Если это так называемое условие выполнения записи принимает значение false, запись прекращается.

Условием выполнения записи в данном случае будет Окно “<заголовок>” существует. Критерий Сработало контентно-зависимое правило “<имя>” отбрасывается, т.к. это критерий события, а не состояния системы. Подробнее о двух типах критериев запуска см. в разделе Критерии состояния системы и критерии события.

•Параметр Принудительно прекращать запись, согласно которому сервис DeviceLock прекращает запись по истечении заданного времени, независимо от условия выполнения записи.

•Параметр Не запускать правило снова, пока его условие не изменится, согласно которому сервис DeviceLock повторно не запускает запись, прекращенную по истечении заданного времени, пока значение условия начала записи не изменится на false, а затем обратно на true.

•Если не установлен флажок Принудительно прекращать запись, запись будет продолжаться до тех пор, пока значение условия выполнения записи равно true. Пусть, например, в условии начала записи содержится только критерий Пользователь вошел в систему, и не установлен флажок Принудительно прекращать запись. В таком случае запись будет выполняться до тех пор, пока пользователь не выйдет из системы.

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

•Если флажок Принудительно прекращать запись установлен, запись прекращается по истечении времени, заданного этим параметром, даже если значение условия выполнения записи равно true. В этом случае правило с заданным по умолчанию условием начала записи прекратит запись через указанное время, а затем снова начнет запись, пока пользователь остается в системе. Чтобы запись не запускалась повторно, необходимо установить флажок Не запускать правило снова, пока его условие не изменится. Если этот флажок установлен, запись не будет запущена повторно, пока пользователь не выйдет из системы, а затем снова не войдет в систему.

Условие выполнения записи управляет завершением сеанса записи. Запись заканчивается, когда значение этого условия становится равным false. В начале сеанса это значение совпадает со значением условия начала записи. Во время сеанса это значение выражения, представляющего условие начала записи, в котором значения критериев события зафиксированы на момент начала записи. Условие выполнения записи вычисляется путем подстановки в это выражение текущих значений критериев состояния системы, содержащихся в условии начала записи.

Формально значение условия выполнения записи рассчитывается следующим образом. Обозначим логическое выражение условия начала записи через F(e, s), где e и s - это текущие значения критериев события и критериев состояния системы соответственно. Тогда текущим значением условия выполнения записи является значение логического выражения F(e0, s), где e0 - это значение критериев события на момент начала сеанса записи.