Associating Assertions with Business Processes and Monitoring their Execution