ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification