A formal model of dataflow repositories

Authors:
Jan Hidders;Natalia Kwasnikowska;Jacek Sroka;Jerzy Tyszkiewicz;Jan Van den Bussche
Affiliations:
University of Antwerp, Belgium;Hasselt University and Transnational University of Limburg, Belgium;Warsaw University, Poland;Warsaw University, Poland;Hasselt University and Transnational University of Limburg, Belgium
Venue:
DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences
Year:
2007

Citing 14
Cited 10

An overview of the object protocol model (OPM) and the OPM data management tools

Information Systems - Special issue: databases: their creation, management and utilization
Principles of programming with complex objects and collection types

ICDT '92 Selected papers of the fourth international conference on Database theory
Types and programming languages

Types and programming languages
Scientific Workflow Management by Database Management

SSDBM '98 Proceedings of the 10th International Conference on Scientific and Statistical Database Management
A Language for Comprehensively Supporting the In Vitro Experimental Process In Silico

BIBE '04 Proceedings of the 4th IEEE Symposium on Bioinformatics and Bioengineering
Lineage retrieval for scientific data processing: a survey

ACM Computing Surveys (CSUR)
Integrating databases and workflow systems

ACM SIGMOD Record
WOODSS and the Web: annotating and reusing scientific workflows

ACM SIGMOD Record
A notation and system for expressing and executing cleanly typed workflows on messy scientific data

ACM SIGMOD Record
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Provenance-based validation of e-science experiments

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Collection-Oriented scientific workflows for integrating and analyzing biological data

DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Towards a model of provenance and user views in scientific workflows

DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences

Report on the Principles of Provenance Workshop

ACM SIGMOD Record
Annotated XML: queries and provenance

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Mapping the NRC Dataflow Model to the Open Provenance Model

Provenance and Annotation of Data and Processes
Data Lineage Model for Taverna Workflows with Lightweight Annotation Requirements

Provenance and Annotation of Data and Processes
Parallelizing XML data-streaming workflows via MapReduce

Journal of Computer and System Sciences
A graph model of data and workflow provenance

TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Provenance as dependency analysis

Mathematical Structures in Computer Science - Programming Language Interference and Dependence
A core calculus for provenance

POST'12 Proceedings of the First international conference on Principles of Security and Trust
Functional programs that explain their work

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A core calculus for provenance

Journal of Computer Security - Security and Trust Principles

Quantified Score

Hi-index	0.01

Visualization

Abstract

Dataflow repositories are databases containing dataflows and their different runs. We propose a formal conceptual data model for such repositories. Our model includes careful formalisations of such features as complex data manipulation, external service calls, subdataflows, and the provenance of output values.