name: Синтез моделей процессов для мультиагентных систем по журналам событий
keyword_list: синтез моделей процессов мультиагентные системы журнал событий архитектурно-ориентированные модели
abstract: Объект исследования: распределенные многокомпонентные (мультиагентные) системы и их поведение. Цель работы: разработка подхода к построению архитектурно-ориентированных формальных (исполняемых) моделей поведения мультиагентных информационных систем по журналам событий. Методы исследования: формальные методы, теория графов; аппарат теории структурного и поведенческого анализа сетей Петри, а также операций над сетями Петри. Достигнутые результаты: Предложен подход к построению моделей поведения мультиагентных информационных систем. Структура моделей отражает основные аспекты архитектуры системы с точки зрения поведения отдельных агентов, а также их взаимодействия. Обоснована корректность предложенного подхода в разрезе сохранения свойств поведения отдельных агентов. Проведена комплексная экспериментальная оценка разработанного подхода, результаты которой продемонстрировали потенциал практического применения полученных результатов. Научная новизна работы состоит в подходе к анализу журналов событий мультиагентных информационных систем через выделение независимого поведения компонентов, их взаимодействия, а также использования специальных шаблонов интерфейсов, которые описывают базовые распространенные сценарии асинхронного и синхронного взаимодействия компонентов. Внедрение: полученные в работе теоретические результаты ориентированы на возможность их дальнейшего практического применения для журналов событий реальных мультиагентных информационных систем, которые отвечают предъявляемым ограничениям. Эффективность разработанного подхода определяется формальными утверждениями о его корректности. Корректность (правильная звершаемость и отсутствие тупиков) обуславливается способом построения моделей, а также тем, что дополнительно используется паттерн интерфейса, который определяет заведомо корректное асинхронное и синхронное взаимодействие. Таким образом, нет необходимости проверять корректность поведения всей системы, так как она следует из корректности поведения отдельных агентов. Область применения: разработанный подход применим для мультиагентных информационных систем, поведение компонентов в которых представляется в виде бизнес-процессов с начальным и конечным состояниями, для которых имеют место свойства корректности и правильной завершаемость. Кроме того, необходимо идентифицировать поведение отдельных компонентов и их взаимодействие в журналах событий, которые анализируются в работе.
chairman_dissertation_council.name: Николай
chairman_dissertation_council.surname: Верещагин
chairman_dissertation_council.patronymic: Константинович
chairman_dissertation_council.position: Профессор
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: L-9806-2016
chairman_dissertation_council.scopus_author_id: 7005187259
chairman_dissertation_council.rinc_id: 54
chairman_dissertation_council.url: https://www.hse.ru/staff/vereshchagin
chairman_dissertation_council.orcid: 0000-0002-7386-979X
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Вадим
organization_supervisor.surname: Радаев
organization_supervisor.patronymic: Валерьевич
organization_supervisor.position: Первый проректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.07.03
rubrics.name: Теория и моделирование вычислительных сред, систем, комплексов и сетей
rubrics.code: 28.17.31
rubrics.name: Моделирование процессов управления
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Теоретическая информатика, кибернетика
speciality_codes.code: 1.2.3.
supervisors.fio: Ломазова И.А.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
protection_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
protection_organization.ogrn: 1027739630401
protection_organization.supervisor_name: НИКИТА
protection_organization.supervisor_surname: АНИСИМОВ
protection_organization.supervisor_patronymic: ЮРЬЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
author_organization.ogrn: 1027739630401
author_organization.supervisor_name: НИКИТА
author_organization.supervisor_surname: АНИСИМОВ
author_organization.supervisor_patronymic: ЮРЬЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения