Empowering conformance checking using Big Data through horizontal decomposition · Study