Resolving inconsistencies and redundancies in declarative process models

作者：

Highlights：

• An approach for the automated detection of inconsistencies and redundancies in declarative process models is proposed.

• The solution to the problem is based upon the notion of product-automata monoid.

• The detection is made by checking the language emptiness and language inclusion of finite state automata.

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

摘要

•An approach for the automated detection of inconsistencies and redundancies in declarative process models is proposed.•The solution to the problem is based upon the notion of product-automata monoid.•The detection is made by checking the language emptiness and language inclusion of finite state automata.•The implemented tool is integrated with a process discovery algorithm and available online.

论文关键词：Process Mining,Declarative Process,Conflict Resolution,Redundant Constraints

论文评审过程：Received 15 December 2015, Revised 20 September 2016, Accepted 21 September 2016, Available online 30 September 2016, Version of Record 20 December 2016.

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