Quotation van Dongen, Boudewijn F., De Smedt, Johannes, Di Ciccio, Claudio, Mendling, Jan. 2020. Conformance checking of mixed-paradigm process models. Information Systems (IS). 102




Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare. They are specifically interesting for process mining because they allow capturing complex behavior in a compact way. A key research challenge for the proliferation of mixed-paradigm models for process mining is the lack of corresponding conformance checking techniques. In this paper, we address this problem by devising the first approach that works with intertwined state spaces of mixed-paradigm models. More specifically, our approach uses an alignment-based replay to explore the state space and compute trace fitness in a procedural way. In every state, the declarative constraints are separately updated, such that violations disable the corresponding activities. Our technique provides for an efficient replay towards an optimal alignment by respecting all orthogonal Declare constraints. We have implemented our technique in ProM and demonstrate its performance in an evaluation with real-world 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 Conformance checking of mixed-paradigm process models
Volume 102
Year 2020
URL https://www.sciencedirect.com/science/article/pii/S0306437920301344
DOI https://doi.org/10.1016/j.is.2020.101685
Open Access N


De Smedt, Johannes (Former researcher)
Di Ciccio, Claudio (Former researcher)
Mendling, Jan (Details)
van Dongen, Boudewijn F. (Eindhoven University of Technolog, Netherlands)
Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
Google Scholar: Search