Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach

Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations

“…The execution of a trace in an event log directly corresponds to the execution of a WF-net from its initial to its final place. We will use generalized workflow nets (GWF-nets), as in [6], to model the behavior of agents and multi-agent systems. Here, we define GWF-nets and their behavior.…”

“…Within the experimental evaluation, we used the synthetic event logs of multi-agent systems recording different ways of agent asynchronous interactions provided in [11]. They were also used to test the compositional approach to discovering architecture-aware process model of multi-agent systems [6]. This dataset was constructed with respect to various widespread service interaction patterns described in [12].…”

“…The paper [6] proposed a compositional approach to discovering an architecture-aware process model from an event log of a multi-agent system. The structure of an architecture-aware process model explicitly reflects agent behavior and their interactions similar to Fig.…”

“…They usually deal with typical problem of event data representation, including, for instance, noise (missing or duplicated records) and incompleteness, i.e., a finite event cannot cover all possible process executions. The paper [6] also stressed that an event log of a multi-agent system requires the additional inspection of agent behavior, since the direct discovery from a multiagent system event log produces process models the structure of which does not explicitly reflect agent behavior as sub-models and agent interactions as distinguished nodes. This happens because the concurrent execution of relatively independent agents leads to a wide range of possible traces recorded in an event log of a multi-agent system.…”

“…The perfect precision limits the use of a discovered process model, since any event log of an information system represents only a finite "snapshot" of all possible process executions. An architecture-aware process model discovered from an event log of a multi-agent system using the compositional approach of [6] is guaranteed to possess the perfect fitness. The approach to the analysis of agent interactions using causal event relations in a log, proposed in our study, will also ensure the perfect fitness of the process model of a multi-agent system obtained by connecting individual agent models via asynchronous channels.…”