What Is Declarative Process Mining

Traditional business process modeling notations, follow an imperative approach where the model defines all allowed steps: Every step that is not specified is disallowed. Recent streams of research suppose an approach which offers more flexibility. Declarative process
modeling notations such as declare have been proposed. These notations define constraints. All flows that do not violate these constraints
are allowed in the model. This approach provides in constrast to the imperative approach more flexibility in the process model.

MINERful is a software engine for declarative process mining out of event logs developed by Claudio di Ciccio. This tool for declarative process mining has been developed to be reasonably fast. More information about MINERful can be found in the research papers.

Infographic: Declarative process mining with MINERful

Source

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