Text this: Web Services and Formal Methods