A formal model for dataflows , runs of dataflows , and provenance within runs

Modern scientific research is characterized by extensive computerized data processing of laboratory results and other scientific data. Such processes are often complex, consisting of several data manipulating steps. We refer to such processes as dataflows, to distinguish them from more general workflows. General workflows also emphasize the control flow aspect of a process, whereas our focus is mainly on data manipulation and data management. Important data management aspects of scientific dataflows include, among others: