On Enabling Data-Aware Compliance Checking of Business Process Models · Study