Rouvellou: Transactional attitudes: Reliable composition of autonomous Web services