Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
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.