Specification and Execution of Transactional Workflows