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. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Maggi, F. M., Bose, R. P. J. C., & Van Der Aalst, W. M. P. (2012). Efficient discovery of understandable declarative process models from event logs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7328 LNCS, pp. 270–285). https://doi.org/10.1007/978-3-642-31095-9_18
Mendeley helps you to discover research relevant for your work.