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

M. Westergaard, C. Stahl

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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).
Originele taal-2Engels
TitelBPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)
RedacteurenM.C. Fauvet, B.F. Dongen, van
Plaats van productieAachen
StatusGepubliceerd - 2013

Publicatie series

NaamCEUR Workshop Proceedings
ISSN van geprinte versie1613-0073


Duik in de onderzoeksthema's van 'Leveraging super-scalarity and parallelism to provide fast Declare mining without restrictions'. Samen vormen ze een unieke vingerafdruk.

Citeer dit