An Interface Theory Based Approach to Verification of Web Services