A Practical Data-Flow Verification Scheme for Business Processes