Automated Workflow Synthesis