EduardoGoulart1/MINERful

A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints

MINERful

MINERful is a fast process mining tool for discovering declarative process models out of event logs. Event logs can be either real or synthetic, stored as XES, MXML, or text files (a collection of strings, in which every character is considered as an event, every line as a trace). Among the other things, MINERful can also create synthetic logs and export them as XES or MXML files, simplify existing Declare models, and import/export models written in JSON or in the ConDec native language. Simply play around with it!

For updated info on the installation, usage, etc., please refer to the Wiki!

Publications and further material

Selected publications about MINERful and presentation slides:

• The main discovery algorithm:

  Claudio Di Ciccio, Massimo Mecella: On the Discovery of Declarative Control Flows for Artful Processes. ACM Trans. Management Inf. Syst. 5(4): 24:1-24:37 (2015)

  • DOI: 10.1145/2629447
  • Presentation: https://www.slideshare.net/cdc08x/automated-discovery-of-declarative-process-models

• Discovery of target-branched (read: more complex) declarative models:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling: Efficient discovery of Target-Branched Declare constraints. Inf. Syst. 56: 258-283 (2016)

  • DOI: 10.1016/j.is.2015.06.009

• Getting rid of redundancies and inconsistencies:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64: 425-446 (2017)

  • DOI: 10.1016/j.is.2016.09.005
  • Presentation: https://www.slideshare.net/cdc08x/resolving-inconsistencies-and-redundancies-in-declarative-process-models

• Retaining only non-vacuously satisfied (read: relevant) constraints:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling: On the relevance of a business constraint to an event log. Inf. Syst. 78: 144-161 (2018)

  • DOI: 10.1016/j.is.2018.01.011
  • Presentation: https://www.slideshare.net/cdc08x/semantical-vacuity-detection-in-declarative-process-mining

• Simulation of declarative models:

  Claudio Di Ciccio, Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi: Generating Event Logs Through the Simulation of Declare Models. EOMAS@CAiSE 2015: 20-36

  • DOI: 10.1007/978-3-319-24626-0_2

License

Please read the LICENSE file.

Contact

Please contact the developer, Claudio Di Ciccio, for any information, comment or bug reporting: dc.claudio@gmail.com.