Conformance checking based on multi-perspective declarative process models

作者：

Highlights：

• We introduce a semantics for Multi Perspective Declare (MP-Declare).

• We introduce an abstract syntax for MP-Declare.

• We provide a set of algorithms for conformance checking based on MP-Declare

• The approach has been implemented in the process mining tool ProM.

• The approach has been demonstrated with real life data.

摘要

•We introduce a semantics for Multi Perspective Declare (MP-Declare).•We introduce an abstract syntax for MP-Declare.•We provide a set of algorithms for conformance checking based on MP-Declare•The approach has been implemented in the process mining tool ProM.•The approach has been demonstrated with real life data.

论文关键词：Process mining,Conformance checking,Linear temporal logic,Business constraints,Declare

论文评审过程：Received 10 December 2015, Revised 9 August 2016, Accepted 10 August 2016, Available online 17 August 2016, Version of Record 22 August 2016.

论文官网地址：https://doi.org/10.1016/j.eswa.2016.08.040