A key step in workflow design is to determine the activity sequences, which are often driven by the dataflow constraints in a business process. Therefore, the literature has suggested that workflow design can start with dataflow analysis. However, no formalism exists for deriving activity sequences from a set of identified activities and their input and output data. In this paper, we formalize the problem of workflow design on the basis of dataflow analysis. We tackle the problem by using the concept of “activity relations” as an intermediate step for identifying the possible activity execution sequences from dataflow. We investigate how to derive activity relations from dataflow and discuss their implication in workflow design.