Run-Time Monitoring of the Execution of Plans for Web Service Composition