Associating assertions with business processes and monitoring their execution