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

Описание:

Координация поведения компонентов (агентов) распределенных мультиагентных систем сопряжена с возникновением ошибок, поскольку их взаимодействие может порождать весьма сложное и запутанное поведение. В связи с этим возникает проблема полной верификации таких систем, так как имеет место взрывной рост числа достижимых состояний. Для решения этой проблемы предложено несколько подходов для композиционного синтеза моделей мультиагентных систем. Они предполагают определение дополнительных условий композиции для обеспечения корректного взаимодействия агентов. Проверка условий может быть также связаны с решением дополнительных трудоемких задач.

В нашем исследовании мы предлагаем паттерны для корректной композиции моделей взаимодействующих агентов. Моделирование и анализ поведения производится с помощью сетей Петри. Для обеспечения корректности применения паттернов мы применяем морфизмы. В работе показана общая схема композицонного синтеза модели мультиагентной системы по журналам событий с применением известных алгоритмов process discovery. Композиционные модели мультиагентных систем позволяют явно определить поведение каждого агента, а также схему их взаимодействия, что значительно упрощает их анализ. Практическое применение паттернов не предполагает глубокого знания теоретических основ предлагаемого подхода.