Web Services and Formal Methods