Каленкова А.А.  

Использование Системы автоматической верификации и оптимизации потоков работ для анализа процессов обработки информационных ресурсов в электронной библиотеке

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

Широкое распространение имеет теория потоков работ. Потоком работ принято считать формальное описание процедуры передачи данных и управления между участниками процесса в соответствии с определенными правилами его выполнения.

Системы управления потоками работ в свою очередь решают задачи определения и исполнения потоков работ.

Единый управляющий механизм и строгая формализация описания производственного процесса на некотором языке обеспечивают:
* координацию потока управления и потока данных;
* полную автоматизацию отдельных участков процесса (появляется возможность взаимодействия с «программными» исполнителями заданий в рамках некоторого унифицированного интерфейса);
* модульность процесса, повторное использование описаний;
* хорошую управляемость процессом, доступ к данным любого активного этапа;
* четкое ролевое разделение участников процесса;
* возможность сбора статистики выполнения процесса для последующего анализа;
* а также возможность применения унифицированных алгоритмов оптимизации процесса.
Современные системы управления потоками работ позволяют интегрировать как программные, так и человеческие ресурсы, и эффективно решающие указанные задачи.
В настоящее время определенное внимание уделяется алгоритмам автоматического анализа потоков работ – их верификации и оптимизации. Эти алгоритмы особенно необходимы там, где процессы имеют объемную и запутанную структуру. Так, например, процессы обработки информационных ресурсов в электронных библиотеках достаточно сложны, так как в них участвуют несколько организаций, между которыми идет интенсивный обмен данными и возможны ветвления. Нами был предложен новый алгоритм верификации потоков работ, вычислительная сложность которого полиномиальна. В ходе работы этого алгоритма определяются условия выполнения атомарных действий, что позволило также создать алгоритм оптимизации потоков работ по времени выполнения – алгоритм автоматического распараллеливания действий, независящих по данным. В отличие от известных алгоритмов структурной оптимизации потоков работ, базирующихся на применении шаблонных преобразований, предлагаемый алгоритм оптимизации расстреливает поток работ, содержащий произвольные ветвящиеся структуры. Эти алгоритмы были реализованы в Системе автоматической верификации и оптимизации потоков работ. Целью этой работы является формализация процессов обработки информационных ресурсов в рамках ЭБ «Научное наследие России»  и оценка применимости Системы автоматической верификации и оптимизации потоков работ для их анализа.
 

Файл с полным текстом: Каленкова_Статья.pdf
Файл презентации: Каленкова_prez2.pdf


К списку докладов