Resolving inconsistencies and redundancies in declarative process models

详细信息    查看全文

• 作者：Claudio Di Ciccio ; ^a ; ^{claudio.di.ciccio@wu.ac.at} ; Fabrizio Maria Maggi^b ; ^{f.m.maggi@ut.ee} ; Marco Montali^c ; ^{montali@inf.unibz.it} ; Jan Mendling^a ; ^{jan.mendling@wu.ac.at}
• 关键词：Process Mining ; Declarative Process ; Conflict Resolution ; Redundant Constraints
• 刊名：Information Systems
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：64
• 期：Complete
• 页码：425-446
• 全文大小：1928 K
• 卷排序：64

文摘

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.