Conformance checking and diagnosis for declarative business process models in data-aware scenarios
作者：
Highlights：
• We propose an approach for conformance checking and diagnosis over declarative business process models.
• Unlike related works, our approach deals with the data perspective and is based on constraint programming.
• Different performance measures related to a wide and diversified set of test models of varying complexity are analyzed.
• Results demonstrate both the effectiveness and the efficiency of our approach.
摘要
•We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data perspective and is based on constraint programming.•Different performance measures related to a wide and diversified set of test models of varying complexity are analyzed.•Results demonstrate both the effectiveness and the efficiency of our approach.
论文关键词：Business process management,Process mining,Conformance checking,Diagnosis,Declarative business process models,Constraint programming
论文评审过程：Available online 19 March 2014.
论文官网地址：https://doi.org/10.1016/j.eswa.2014.03.010
