Стажер-исследователь НУЛ ПОИС Николай Суворов выступит на семинаре ACM Sigmod

Николай Суворов выступит с докладом "Process Models with Data: Soundness Verification and Repair" на 244-ом заседании семинара Московской секции ACM SIGMOD

Мероприятие состоится в четверг, 23 октября 2025 г., в 16:30 на платформе Яндекс Телемост

Аннотация доклада: Традиционный подход к моделированию процессов, ориентированный на поток управления, всё чаще дополняется перспективой данных для обеспечения более точного и глубокого анализа поведения процесса. В докладе рассматриваются возможности формального представления интегрированных моделей, включающих в себя как поток управления, так и поток данных, а также возможности проверки свойства бездефектности для таких моделей. Модель процесса называется бездефектной, если она всегда корректно завершается и каждое действие модели присутствует хотя бы в одном в экземпляре процесса. Верификация данного свойства сразу после проектирования процесса позволяет выявить и устранить ошибки проектирования до его реализации. В докладе демонстрируются как методы верификации бездефектности, так и методы автоматического исправления некорректных моделей с данными, позволяющие исключить исполнения процесса, ведущие к точкам отказа. В качестве формализма используются сети Петри с данными — расширение сетей Петри, где каждый переход сопровождается ограничением, определяющим входные и выходные условия назначения переменных.