From Theory to Practice in Transactional Composition of Web Services