Abstrakt. Provenance grafer fånga flöde och beroende information registreras under vetenskapliga arbetsflöden körs, som kan användas därefter för att tolka, validera och felsökning arbetsflöde resultat. I detta dokument föreslår vi ett nytt koncept, kallat abstrakt härkomstdiagram (APG). APG skapas genom statisk analys av ett konfigurerat arbetsflöde W och indataschema τ, dvs. innan arbetsflödet faktiskt utförs. De sammanfattar alla möjliga härstamning grafer arbetsflödet W kan skapa med indata av typ τ, det vill säga, för varje indata v  och τ det finns en graf homomorfism H v mellan betong och abstrakt härkomst graf. APG är till hjälp under arbetsflödeskonstruktionen eftersom (1) de gör vissa arbetsflöden design-buggar (t.ex. att välja ingen eller fel indata för aktörerna) lätt att upptäcka; och (2) visar utvecklingen av den övergripande dataorganisationen av ett arbetsflöde. Efter att arbetsflöden har körts kan dessutom APG användas för att validera grafer med konkret härkomst.
På samma sätt, "abstrakt härkomst graf" REF härleds av statisk analys av arbetsflöden.
Abstract Provenance Graphs: Anticipating and Exploiting Schema-Level Data Provenance
{'venue': 'IPAW', 'journal': None, 'mag_field_of_study': ['Computer Science']}