Non Atomic Declare Miner Home - processmining/non-atomic-declare-miner GitHub Wiki

Non-atomic-declare-miner is a tool to discover declarative specifications from logs containing information about activity lifecycle (this information is used to identify business rules whose validity strongly depends on the characteristics of the activity lifecycles available in the log). The tool is supported by Declare as declarative process modeling language and is a ProM plug-in. This prototype has been used to validate our technique on [both synthetic logs and a real life log] (https://github.com/processmining/non-atomic-declare-miner/wiki/Experiments).

###Getting started

The distribution folder contains a binary distribution of ProM 6.3 with the Non Atomic Declare Miner Plugin installed. This release allows the following command line switches:

-Duse-console = "true | false" - switches the output between console and file on disk

-Dlog = "path to logfile" - redirects the output to the specified file (the default is log-.txt)

-Dlifecycle = "xes | bpi" - switches the reference lifecycle that the input log must conform to (XES standard or BPI2013)

-Dconfidence=<float> - chooses the confidence threshold that can be used to prune constraints (all rules below the provided confidence will be filtered out)