Deriving Transactional Properties of CompositeWeb Services | IEEE Conference Publication | IEEE Xplore