On the relevance of a business constraint to an event log

作者：

Highlights：

• An approach for the automated discrimination of relevant satisfactions from vacuous satisfactions of constraints in discovered declarative process models is proposed.

• The solution to the problem is based upon the semantics of the constraints.

• The checking of constraint satisfactions is based on the replay of the log on annotated finite state automata.

• The implemented tool is integrated with a process discovery algorithm and available online.

摘要

•An approach for the automated discrimination of relevant satisfactions from vacuous satisfactions of constraints in discovered declarative process models is proposed.•The solution to the problem is based upon the semantics of the constraints.•The checking of constraint satisfactions is based on the replay of the log on annotated finite state automata.•The implemented tool is integrated with a process discovery algorithm and available online.

论文关键词：Vacuity detection,Declarative process mining,Constraint activation,Linear temporal logic,Finite-state automata

论文评审过程：Received 22 December 2016, Revised 28 August 2017, Accepted 25 January 2018, Available online 21 March 2018, Version of Record 13 September 2018.

论文官网地址：https://doi.org/10.1016/j.is.2018.01.011