Empowering conformance checking using Big Data through horizontal decomposition

作者：

Highlights：

• An innovative horizontal process model decomposition is proposed.

• The resolution of the computing alignments in a Big Data environment.

• Tunning the distribution and parallelisation of the computing alignment.

• Supporting the computing alignments with A* and Constraint Programming techniques.

• A practicable Big Data environment is developed to solve complex alignment problems.

• Our approach reduces the resource limitations of the current solutions evaluated.

摘要

•An innovative horizontal process model decomposition is proposed.•The resolution of the computing alignments in a Big Data environment.•Tunning the distribution and parallelisation of the computing alignment.•Supporting the computing alignments with A* and Constraint Programming techniques.•A practicable Big Data environment is developed to solve complex alignment problems.•Our approach reduces the resource limitations of the current solutions evaluated.

论文关键词：Conformance checking,Decompositional techniques,Big Data,MapReduce

论文评审过程：Received 1 March 2020, Revised 17 November 2020, Accepted 24 January 2021, Available online 18 February 2021, Version of Record 23 February 2021.

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