UP & DOWN: Improving provenance precision by combining workflow- And trace-level information

Saumen Dey; Khalid Belhajjame; David Koop; Tianhong Song; Paolo Missier; Bertram Ludäscher

UP & DOWN: Improving provenance precision by combining workflow- And trace-level information

Saumen Dey, Khalid Belhajjame, David Koop, Tianhong Song, Paolo Missier, Bertram Ludäscher

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

Abstract

Workflow-level provenance declarations can improve the precision of coarse provenance traces by reducing the number of “false” dependencies (not every output of a step depends on every input). Conversely, fine-grained execution provenance can be used to improve the precision of input-output dependencies of workflow actors. We present a new logic-based approach for improving provenance precision by combining downward and upward inference, i.e., from workflows to traces and vice versa.

Original language	English
Publication status	Published - 2014
Event	6th Workshop on the Theory and Practice of Provenance, TaPP 2014 - Cologne, Germany Duration: 12 Jun 2014 → 13 Jun 2014

Conference

Conference	6th Workshop on the Theory and Practice of Provenance, TaPP 2014
Country/Territory	Germany
City	Cologne
Period	12/06/14 → 13/06/14

Bibliographical note

Funding Information:
Acknowledgments. Supported in part by NSF ACI-0830944 and IIS-1118088.

Publisher Copyright:
© 6th Workshop on the Theory and Practice of Provenance, TaPP 2014. All rights reserved.

ASJC Scopus subject areas

General Computer Science

Cite this

@conference{24467b0bf8d5405d8a723a853964e828,

title = "UP & DOWN: Improving provenance precision by combining workflow- And trace-level information",

abstract = "Workflow-level provenance declarations can improve the precision of coarse provenance traces by reducing the number of “false” dependencies (not every output of a step depends on every input). Conversely, fine-grained execution provenance can be used to improve the precision of input-output dependencies of workflow actors. We present a new logic-based approach for improving provenance precision by combining downward and upward inference, i.e., from workflows to traces and vice versa.",

author = "Saumen Dey and Khalid Belhajjame and David Koop and Tianhong Song and Paolo Missier and Bertram Lud{\"a}scher",

note = "Funding Information: Acknowledgments. Supported in part by NSF ACI-0830944 and IIS-1118088. Publisher Copyright: {\textcopyright} 6th Workshop on the Theory and Practice of Provenance, TaPP 2014. All rights reserved.; 6th Workshop on the Theory and Practice of Provenance, TaPP 2014 ; Conference date: 12-06-2014 Through 13-06-2014",

year = "2014",

language = "English",

}

TY - CONF

T1 - UP & DOWN

T2 - 6th Workshop on the Theory and Practice of Provenance, TaPP 2014

AU - Dey, Saumen

AU - Belhajjame, Khalid

AU - Koop, David

AU - Song, Tianhong

AU - Missier, Paolo

AU - Ludäscher, Bertram

N1 - Funding Information: Acknowledgments. Supported in part by NSF ACI-0830944 and IIS-1118088. Publisher Copyright: © 6th Workshop on the Theory and Practice of Provenance, TaPP 2014. All rights reserved.

PY - 2014

Y1 - 2014

N2 - Workflow-level provenance declarations can improve the precision of coarse provenance traces by reducing the number of “false” dependencies (not every output of a step depends on every input). Conversely, fine-grained execution provenance can be used to improve the precision of input-output dependencies of workflow actors. We present a new logic-based approach for improving provenance precision by combining downward and upward inference, i.e., from workflows to traces and vice versa.

AB - Workflow-level provenance declarations can improve the precision of coarse provenance traces by reducing the number of “false” dependencies (not every output of a step depends on every input). Conversely, fine-grained execution provenance can be used to improve the precision of input-output dependencies of workflow actors. We present a new logic-based approach for improving provenance precision by combining downward and upward inference, i.e., from workflows to traces and vice versa.

UR - http://www.scopus.com/inward/record.url?scp=85042293024&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:85042293024

Y2 - 12 June 2014 through 13 June 2014

ER -