A Framework for Contract-Based Collaborative Verification and Validation of Web Services