Экземпляр семейства flow

Экземпляр семейства flow – реализация конечного автомата, описание которого задается в конфигурации экземпляра семейства.

Конфигурация экземпляра семейства

Конфигурация может быть задана в виде JSON-объекта или в виде строки, содержащей путь к файлу с JSON-объектом.

При конфигурировании парсер семейства принимает следующие элементы:

• states – множество внутренних состояний. Указывается в виде JSON-массива.
• initial – начальное состояние, представленное строкой.
• transitions – таблица переходов между состояниями. Указывается в виде JSON-объекта, где ключ – текущее состояние, значение – JSON-массив состояний, в которые можно перейти.

Все параметры конфигурации обязательны при создании экземпляра семейства политик.

Пример

security.cfg

...

#include "kss/server/flow.cfg"

/* service_flow – пример реализации абстрактного сервиса

с конфигурацией из четырех состояний.

Дальнейшие примеры использования политики flow основаны на этом примере. */

use family service_flow = flow {

states : [sleep, started, stopped, finished],

initial : sleep,

transitions : {

sleep : [started],

started : [stopped, finished],

stopped : [started, finished]

}

};

...

Пример конечного автомата, используемый в этом разделе

В начало