Declarative process discovery with MINERful in ProM

Conference Contribution

Di Ciccio, C., Schouten, M.H.M., de Leoni, M. & Mendling, J. (2015). Declarative process discovery with MINERful in ProM. In F. Daniel & S. Zugal (Eds.), Proceedings of the Demo Session of the 13th International Conference on Business Process Management (BPM 2015, Innsbruck, Austria, August 31-September 3, 2015) (pp. 60-64). (CEUR Workshop Proceedings, No. 1418). s.l.: s.n.. In Scopus Cited 2 times. Read more: Medialink/Full text



Declarative process models consist of a set of constraints exerted over the execution of process activities. DECLARE is a declarative process modelling language that specifies a set of constraint templates along with their graphical notation. The automated discovery of DECLARE models aims at finding those constraints that are verified throughout a given event log. In this paper, we present

a fast scalable tool for mining DECLARE models in ProM. Its usage is described with its application on a use case, based on a publicly available real-life benchmark.

Keywords: Process Mining; Process Discovery; Declarative Processes