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

Синтез моделей процессов для мультиагентных систем по журналам событийDiscovering process models for multi-agent systems from event logs

Члены комитета:
Петренко Александр Константинович (Институт системного программирования РАН, доктор физико-математических наук, председатель комитета), Лисица Алексей Петрович (Университет Ливерпуля, кандидат физико-математических наук, член комитета), Монтали Марко (Свободный университет Боцен-Больцано (Италия), PhD, член комитета), Соколов Валерий Анатольевич (Ярославский государственный университет им. П. Г. Демидова, доктор физико-математических наук, член комитета), Стелла Фабио Антонио (Миланский университет-Бикокка, PhD, член комитета)
Диссертация принята к предварительному рассмотрению:
6/23/2022
Диссертация принята к защите:
7/8/2022 (Протокол №11)
Дисс. совет:
Совет по компьютерным наукам
Дата защиты:
9/29/2022
В работе предлагается подход к синтезу архитектурно-ориентированных моделей процессов по журналам событий мультиагентных информационных систем. Структура архитектурно-ориентированной модели явно отражает как поведение отдельных агентов, так и их взаимодействие. Разработанный подход основан на операции композиции моделей поведения отдельных агентов в соответствии с интерфейсом, который описывает их синхронное и асинхронное взаимодействие. Выделен набор абстрактных шаблонов интерфейсов, представляющих типичные способы взаимодействия агентов при условии сохранения корректности их поведения. Доказано, что если существуют отображения моделей поведения агентов на соответствующие части абстрактного шаблона интерфейса, то результат композиции моделей поведения агентов на детальном уровне также сохраняет их корректность. Экспериментальная оценка предложенного подхода подтверждает улучшение качества моделей, синтезируемых с помощью композиции, в сравнении с моделями, синтезируемыми напрямую по журналам событий мультиагентных систем
Диссертация [*.pdf, 4.56 Мб] (дата размещения 6/24/2022)
Резюме [*.pdf, 1.58 Мб] (дата размещения 6/24/2022)
Summary [*.pdf, 1.59 Мб] (дата размещения 6/24/2022)

Отзывы
Отзыв научного руководителя
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить ученую степень кандидата компьютерных наук (протокол № 2 от 29.09.2022). Решением диссертационного совета (протокол № 18 от 12.10.2022) присуждена ученая степень кандидата компьютерных наук.