Protocol Compatibility Verification for Web Services Interaction | IEEE Conference Publication | IEEE Xplore