Conformance checking based on multi-perspective declarative process models · Study