Augmenting Web Services Composition with Transactional Requirements | IEEE Conference Publication | IEEE Xplore