Formal Methods for Web Services