Paper talk (presented by Prof. Ludaescher), WORKS workshop, 2010

[object Object],[object Object],[object Object],Linking Multiple Workflow Provenance Traces for Interoperable Collaborative Science ,[object Object],[object Object],[object Object],[object Object],[object Object],WORKS’10, New Orleans

Context: Data Sharing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Motivation: Virtual Joint Experiments ,[object Object],[object Object],[object Object],[object Object],We can view the composition W C as a new, virtual workflow

Provenance Composition: the Data Tree of Life (DToL) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Test scenario: 1 st Provenance Challenge Workflow ,[object Object],[object Object],[object Object],[object Object]

Common Model of Provenance (approx. OPM) Data provenance for a single workflow run is well understood T A trace instance of W A : h : T A ➔ W A homomorphism h (x 1 ➔ a 1 ) = h (x 2 ➔ a 2 ) = X➔A, h (a 1 ➔ y 1 ) = h (a 2 ➔ y 2 ) = A➔Y ... ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Data and Invocation Dependencies ( ddep , idep ) - read , write are natural observables for a workflow run - possible additional relations (recorded or inferred): “ a 2 depends on a 1 ” because a 1 has written data d , a 2 has read d “ d 2 depends on d 1 ” … because some actor invocation a read d 1 prior to writing d 2 (Note: in some models of computation the rules above are not correct) ,[object Object],[object Object],Explicit or via: Explicit or via:

Provenance queries ,[object Object],[object Object],[object Object],[object Object],[object Object],Easy and not very interesting E.g. answer to (3) is just the set of nodes in h(T) ,[object Object],[object Object],[object Object],[object Object],so that it operates on the composition of T A , T B

Issues in Provenance Composition ,[object Object],[object Object],Closure queries now must span multiple provenance traces ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Part I – Provenance Stitching ,[object Object],- r : data reference in store S - trace-equivalence of data items d in S , d’ in S’ : d ≃ d’ if d’ is obtained by copying d from S to S’ :

Part II - Mapping to a Common Provenance Model ,[object Object],In the result T P each reference r found in T S is replaced with ρ( r ) ,[object Object],[object Object],[object Object],[object Object]

Part III – Data Identifier Reconciliation ,[object Object],[object Object],[object Object],[object Object],added to renaming map from a set of S -specific references to a set of public references

Extended (across-runs) Provenance Queries ,[object Object],as follows: for instance between

Conclusions 1/2 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conclusions 2/2

Paper talk (presented by Prof. Ludaescher), WORKS workshop, 2010

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Ähnlich wie Paper talk (presented by Prof. Ludaescher), WORKS workshop, 2010

Ähnlich wie Paper talk (presented by Prof. Ludaescher), WORKS workshop, 2010 (20)

Mehr von Paolo Missier

Mehr von Paolo Missier (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Paper talk (presented by Prof. Ludaescher), WORKS workshop, 2010

Hinweis der Redaktion