Verifying Business Process Compliance by Reasoning about Actions