Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing