Towards Formal Interfaces for Web Services with TransactionsShare on Twitter Facebook LinkedIn Previous Next