?
Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
P. 62-73.
Process models discovered from event logs of multi-agent systems may be complicated and unreadable. To overcome this problem, we suggest using a compositional approach. A system model is composed from agent models w.r.t. an interface. Morphisms guarantee that composition of correct models is correct. This study contributes to the practical implementation of the morphism-based compositional approach. We use interaction patterns to model typical interfaces. Experimental evaluation justifies the practical value of the compositional approach.
Ключевые слова: Petri netsmulti-agent systemscompositionprocess discoveryevent logsmorphismsinteraction patterns
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 2478: CEUR Workshop Proceedings. , CEUR-WS.org, 2019
Bernardinello L., Irina Lomazova, Roman Nesterov и др., , in : Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018. Vol. 2115: CEUR Workshop Proceedings.: CEUR-WS.org, 2018. P. 23-38.
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general ...
Добавлено: 21 июня 2018 г.
R.A. Nesterov, I.A. Lomazova, Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 21-38
Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных информационных систем. Как правило, в рамках таких систем несколько исполнителей (агентов) взаимодействуют друг с другом. Поведение агентов, а также механизмы их взаимодействия описываются с помощью моделей процессов. Для моделирования процессов мы применяем обыкновенные сети Петри. Алгоритмы process discovery позволяют восстановить модели реального поведения агентов из ...
Добавлено: 6 сентября 2017 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351-375
Добавлено: 5 мая 2022 г.
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11-32
Добавлено: 31 октября 2023 г.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.
Begicheva A.K., Lomazova I.A., Modeling and Analysis of Information Systems 2017 Vol. 24 No. 2 P. 125-140
Добавлено: 6 мая 2017 г.
Каленкова А. А., Ломазова И. А., ван дер Аалст В., , in : Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings. Vol. 8489: Lecture Notes in Computer Science.: Berlin : Springer, 2014. P. 71-90.
Добавлено: 3 июля 2014 г.
Каленкова А. А., TU/e Eindhoven, 2018
Добавлено: 14 июня 2018 г.
Бегичева А. К., Ломазова И. А., Нестеров Р. А., / Cornell University. Series Computer Science "arxiv.org". 2023.
Добавлено: 31 марта 2023 г.
Kirill Artamonov, Irina Lomazova, , in : Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers. Communications in Computer and Information Science. Vol. 1086.: Springer, 2020.
Добавлено: 24 октября 2019 г.
ван дер Аалст В., , in : Proceedings of the 2013 Federated Conference on Computer Science and Information Systems. Vol. 1: Annals of Computer Science and Information Systems.: Warsz. : Polskie Towarzystwo Informatyczne, 2013. P. 1-10.
Operational processes leave trails in the information systems supporting them. Such event data are the starting point for process mining – an emerging scientific discipline relating modeled and observed behavior. The relevance of process mining is increasing as more and more event data become available. The increasing volume of such data (“Big Data”) provides both opportunities and challenges for process mining. ...
Добавлено: 14 ноября 2013 г.
N. S. Zubkova, S. A. Shershakov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 139-150
Добавлено: 28 октября 2019 г.
Бегичева А. К., Ломазова И. А., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 3 P. 392-403
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, ...
Добавлено: 5 августа 2015 г.
Шугуров И. С., Мицюк А. А., , in : Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). : M. : -, 2014. P. 88-95.
Process mining is a relatively new research area aiming to extract process models from event logs of real systems. A lot of new approaches and algorithms are developed in this field. Researches and developers usually have a need to test end evaluate the newly constructed algorithms. In this paper we propose a new approach for ...
Добавлено: 3 июня 2014 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Bernardinello L., Irina Lomazova, Roman Nesterov и др., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
Добавлено: 8 июня 2023 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
Добавлено: 2 февраля 2013 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Каленкова А. А., ван дер Аалст В., Ломазова И. А. и др., , in : MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. : NY : ACM, 2016. P. 123-123.
Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with ...
Добавлено: 8 октября 2016 г.
Pavel Pertsukhov, Мицюк А. А., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 151-162
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами ...
Добавлено: 14 октября 2019 г.
Roman A. Nesterov, Irina A. Lomazova, , in : Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. Vol. 779: Communications in Computer and Information Science.: Springer, 2018. P. 151-162.
Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the so-called state space explosion problem, when the size of the system reachability set grows exponentially on the number of interacting agents. ...
Добавлено: 7 октября 2017 г.
Julio C. Carrasquel, Ломазова И. А., , in : ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. Ch. 4. P. 1-12.
Добавлено: 28 августа 2019 г.
Müller R., Stahl C., ван дер Аалст В. и др., , in : Service-Oriented Computing. Vol. 8274: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2013. P. 358-373.
Добавлено: 21 марта 2014 г.
R.A. Nesterov, S.Yu. Savelyev, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 155-170
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by ...
Добавлено: 9 августа 2021 г.