Efficient Discovery of Understandable Declarative Process Models from Event Logs


Process mining techniques often reveal that real-life processes are more variable than anticipated. Although declarative process models are more suitable for less structured processes, most discovery techniques generate conventional procedural models. In this paper, we focus on discovering Declare models based on event logs. A Declare model is composed of temporal constraints. Despite the suitability of declarative process models for less structured processes, their discovery is far from trivial. Even for smaller processes there are many potential constraints. Moreover, there may be many constraints that are trivially true and that do not characterize the process well. Naively checking all possible constraints is computationally intractable and may lead to models with an excessive number of constraints. Therefore, we have developed an Apriori algorithm to reduce the search space. Moreover, we use new metrics to prune the model. As a result, we can quickly generate understandable Declare models for real-life event logs.

DOI: 10.1007/978-3-642-31095-9_18

Extracted Key Phrases

12 Figures and Tables

Citations per Year

71 Citations

Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Maggi2012EfficientDO, title={Efficient Discovery of Understandable Declarative Process Models from Event Logs}, author={Fabrizio Maria Maggi and R. P. Jagadeesh Chandra Bose and Wil M. P. van der Aalst}, booktitle={CAiSE}, year={2012} }