Towards Formal Interfaces for Web Services with Transactions