Automatic Generation of Workflow Execution Provenance Roger S. Barga Database Group, Microsoft Research (MSR)