1. A method for detecting and assisting in the correction of a race condition in a workflow representation, comprising: retrieving a first contract for a first analytic of a workflow representation, wherein the first contract specifies an input type and an output type of the first analytic, and wherein the first contract includes information required to execute the first analytic by a workflow executor; retrieving a second contract for a second analytic of the workflow representation, wherein the second contract specifies an input type and an output type of the second analytic, and wherein the second contract includes information required to execute the second analytic by the workflow executor; determining that the output type of the first analytic matches the input type of the second analytic, based on a comparison of the first contract and the second contract; and determining that the workflow representation does not include a directed edge connecting the first analytic to the second analytic, wherein the inclusion of a directed edge in the workflow representation connecting the first analytic to the second analytic will correct a race condition in the workflow representation.