Leveraging super-scalarity and parallelism to provide fast Declare mining without restrictions

M. Westergaard, C. Stahl

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)


UnconstrainedMiner is a tool for fast and accurate mining Declare constraints from models without imposing any assumptions about the model. Declare models impose constraints instead of explicitly stating event orders. Constraints can impose various choices and ordering of events; constraints typically have understandable names, but for details, refer to [5]. Current state-of-the-art mining tends to fail due to a computational explosion, and employ ¿ltering to reduce this. Our tool is not intended to provide user-readable models, but instead to provide all constraints satis¿ed by a model. This allows post-processing to weed out uninteresting constraints, potentially obtaining better resulting models than making ¿ltering beforehand out of necessity. Any post-processing (and complexity-reducing ¿ltering) possible with existing miners is also possible with the UnconstrainedMiner; our miner just allows more intelligent post-processing due to having more information available, such as interactive ¿ltering of models. In our demonstration, we show how the new miner can handle large event logs in short time, and how the resulting output can be imported into Excel for further processing. Our intended audience is researchers interested in Declare mining and users interested in abstract characterization of relationships between events. We explicitly do not target end-users who wish to see a Declare model for a particular log (but we are happy to demonstrate the miner on other concrete data).
Original languageEnglish
Title of host publicationBPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)
EditorsM.C. Fauvet, B.F. Dongen, van
Place of PublicationAachen
Publication statusPublished - 2013

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


Dive into the research topics of 'Leveraging super-scalarity and parallelism to provide fast Declare mining without restrictions'. Together they form a unique fingerprint.

Cite this