Augmenting Web services composition with transactional requirements