Quotation Maggi, Fabrizio Maria, Di Ciccio, Claudio, Di Francescomarino, Chiara, Kala, Taavi. 2018. Parallel Algorithms for the Automated Discovery of Declarative Process Models. Information Systems (IS), 74 (Part2), 135-152.




The aim of process discovery is to build a process model from an event log without prior information about the process. The discovery of declarative process models is useful when a process works in an unpredictable and unstable environment since several allowed paths can be represented as a compact set of rules. One of the tools available in the literature for discovering declarative models from logs is the Declare Miner, a plug-in of the process mining tool ProM. Using this plug-in, the discovered models are represented using Declare, a declarative process modeling language based on ltl for finite traces. However, the high execution times of the Declare Miner when processing large sets of data hampers the applicability of the tool to real-life settings. Therefore, in this paper, we propose a new approach for the discovery of Declare models based on the combination of an Apriori algorithm and a group of algorithms for Sequence Analysis to enhance the time performance of the plug-in. The approach has been developed in a way that it is easy to be parallelized using two different partitioning methods: the search space partitioning, in which different groups of candidate constraints are processed in parallel, and the database partitioning, in which different chunks of the log are processed at the same time. The approach has been implemented in ProM in its sequential version and in two multi-threading implementations leveraging these two partitioning methods. All the new variants of the plug-in have been evaluated using a large set of synthetic and real-life event logs.


Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Journal article
Journal Information Systems (IS)
Citation Index SCI
WU Journalrating 2009 A
WU-Journal-Rating new INF-A, STRAT-B, WH-B
Language English
Title Parallel Algorithms for the Automated Discovery of Declarative Process Models
Volume 74
Number Part2
Year 2018
Page from 135
Page to 152
Reviewed? Y
DOI https://doi.org/10.1016/j.is.2017.12.002
Open Access N


Cyber-Physical Social Systems for City-wide Infrastructures
Di Ciccio, Claudio (Former researcher)
Di Francescomarino, Chiara (FBK-IRST, Italy)
Kala, Taavi (University of Tartu, Estonia)
Maggi, Fabrizio Maria (University of Tartu, Estonia)
Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
Research areas (Ă–STAT Classification 'Statistik Austria')
1105 Computer software (Details)
1108 Informatics (Details)
1109 Information and data processing (Details)
5306 Business data processing (Details)
5367 Management information systems (Details)
Google Scholar: Search