Научная деятельность

Научные сотрудники Лаборатории ПОИС проводят исследования в следующих областях: управление бизнес-процессами, моделирование и анализ процессов, разработка алгоритмов автоматического синтеза моделей процессов, проектирование и архитектура процессно-ориентированных информационных систем. Для этого применяется широкий спектр формальных методов: моделирование с использованием сетей Петри, сетей потоков работ, конечных автоматов, BPMN-моделей и другие, а также используются методики анализа процессов, основанные на анализе данных (Data/Process mining), методы системной и программной инженерии.

Большинство процессов современного общества функционируют при поддержке процессно-ориентированных информационных систем. Аренда автомобиля, бронирование авиабилета, покупка книги, подача налоговой декларации, перевод денег, получение кредита, запись на прием к врачу — примеры операций, которые выполняются при их поддержке. Исследователи лаборатории ПОИС работают над совершенствованием методов и подходов для анализа и усовершенствования таких систем. При этом большое внимание уделяется как разработке практических методов, так и развитию теоретических оснований разрабатываемых методов.

Многие из исследований проводятся совместно с международными коллегами. Важное место в ряду партнеров лаборатории занимают группа Архитектуры информационных систем Технического университета Эйндховена (Нидерланды) и кафедра Теории программирования Берлинского университета имени Гумбольдта.

Большое значение уделяется участию молодых исследователей и студентов в научной работе по проектам лаборатории ПОИС. Под руководством опытных исследователей они могут набраться опыта и принять участие в решении актуальных и современных задач.

Публикации сотрудников лаборатории можно встретить в высококачественных международных и отечественных журналах: Fundamenta Informaticae, Software & Systems Modeling, Программирование, Моделирование и анализ информационных систем. Сотрудники лаборатории регулярно принимают участие в работе наиболее уважаемых в области исследований международных конференций: International Conference on Business Process Management (BPM), International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets) и других. Молодые сотрудники лаборатории представляют результаты своих исследований в рамках конференции для молодых исследователей Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE).