Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step