Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинар ПОИС: Проверка соответствия между моделью и логом с использованием структур событий

11 дкабря в рамках семинара лаборатории выступил Кирилл Артамонов, студент магистратуры ПИ, с докладом на тему «Проверка соответствия между моделью и логом с использованием структур событий».

В докладе будет представлен метод, который позволяет выявлять несоответствия между логом событий и исследуемым процессом, основанный на структурах событий. Проблема проверки соответствия решается путем конвертирования исходного лога событий в структуру событий, преобразования исходного процесса также в структуру событий, после чего полученные две полученные структуры событий сравниваются для получения информации о несоответствиях между логом и моделью. Сравнение основано на методе синхронного произведения с исправлением ошибок (error-correcting synchronized product).