Model mining: Integrating data analytics, modelling and verification

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Process mining techniques have been developed in the ambit of business process management to extract information from event logs consisting of activities and then produce a graphical representation of the process control flow, detect relations between components involved in the process and infer data dependencies between process activities. These process characterisations allow the analyst to discover an annotated visual representation of the conceptual model or the performance model of the process, check conformance with an a priori model to detect deviations and extend the a priori model with quantitative information such as frequencies and performance data. However, a process model yielded by process mining techniques is more similar to a representation of the process behaviour rather than an actual model of the process: it often consists of a huge number of states and interconnections between them, thus resulting in a spaghetti-like net which is hard to interpret or even read. In this paper we propose a novel technique, which we call model mining, to derive an abstract but concise and functionally structured model from event logs. Such a model is not a representation of the unfolded behaviour, but comprises, instead, a set of formal rules for generating the system behaviour, thus supporting more powerful predictive capabilities. The set of rules can be either inferred directly from the events logs (constructive mining) or refined by sifting a plausible a priori model using the event logs as a sieve until a reasonably concise model is achieved (refinement mining). We use rewriting logic as the formal framework in which to perform model mining and implement our framework using the Maude rewrite system. Once the final formal model is attained, it can be used, within the same rewriting logic framework, to predict future evolutions of the behaviour through simulation, to carry out further validation or to analyse properties through model checking. Finally, we illustrate our approach on two case studies from two different application fields, ecology and collaborative learning.

Original languageEnglish
Pages (from-to)501-532
Number of pages32
JournalJournal of Intelligent Information Systems
Issue number3
Publication statusPublished - Jun 15 2019


  • Application to ecosystem modelling
  • Application to social network analysis
  • Formal methods
  • Model-driven approaches
  • Process mining
  • Rewrite systems

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture
  • Computer Networks and Communications
  • Artificial Intelligence


Dive into the research topics of 'Model mining: Integrating data analytics, modelling and verification'. Together they form a unique fingerprint.

Cite this