Mapping the NRC Dataflow Model to the Open Provenance Model

Authors:
Natalia Kwasnikowska;Jan Bussche
Affiliations:
Hasselt University and Transnational University of Limburg, Belgium;Hasselt University and Transnational University of Limburg, Belgium
Venue:
Provenance and Annotation of Data and Processes
Year:
2008

Citing 2
Cited 4

Principles of programming with complex objects and collection types

ICDT '92 Selected papers of the fourth international conference on Database theory
A formal model of dataflow repositories

DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences

e-BioFlow: improving practical use of workflow systems in bioinformatics

ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Storing, reasoning, and querying OPM-compliant scientific workflow provenance using relational databases

Future Generation Computer Systems
Provenance for aggregate queries

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Putting lipstick on pig: enabling database-style workflow provenance

Proceedings of the VLDB Endowment

Quantified Score

Hi-index	0.01

Visualization

Abstract

The Open Provenance Model (OPM) has recently been proposed as an exchange framework for workflow provenance information. In this paper we show how the NRC data model for workflow repositories can be mapped to the OPM . Our mapping includes such features as complex data flow in an execution of a workflow; different workflows in the repository that call each other; and the tracking of subvalues of complex data structures in the provenance information. Because the NRC dataflow model has been formally specified, also our mapping can be formally specified; in particular, it can be automated. To facilitate this specification, we present an adapted set-theoretic formalization of the basic OPM .