Proceedings of ISP RAS


Using Interface Patterns for Compositional Discovery of Distributed System Models

R.A. Nesterov (HSE, Moscow, Russia)
I.A. Lomazova (HSE, Moscow, Russia)

Abstract

Process mining offers various tools for studying process-aware information systems. They mainly involve several participants (or agents) managing and executing operations on the basis of process models. To reveal the actual behavior of agents, we can use process discovery. However, for large-scale processes, it does not yield models, which help understand how agents interact since they are independent and their concurrent implementation can lead to a very sophisticated behavior. To overcome this problem, we propose interface patterns, which allow getting models of multi-agent processes with a clearly identified agent behavior and interaction scheme as well. The correctness of patterns is provided via morphisms. We also conduct a preliminary experiment, results of which are highly competitive compared to the process discovery without interface patterns.

Keywords

Petri nets; interface patterns; synchronization; composition; morphisms; process discovery; multi-agent systems; distributed systems

Edition

Proceedings of the Institute for System Programming, vol. 29, issue 4, 2017, pp. 21-38.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(4)-2

Full text of the paper in pdf Back to the contents of the volume