Requirements-Driven Verification of Web Services