Text this: Formal methods for Web services