Describir: Web Services and Formal Methods