Verification of Communication Protocols in Web Services