Prov-template evaluation dataset

PROV-TEMPLATE is a declarative approach that allows designers and programmers to design and generate provenance compatible with the PROV standard. Designers specify the topology of the provenance to be generated by composing templates, which are provenance graphs containing variables, acting as placeholders for values. Programmers write programs that log values and package them up in sets of bindings, a datastructure associating variables and values. An expansion algorithm takes care of generating instantiated provenance from templates and sets of bindings in any of the serialisation format supported by PROV. Our quantitative evaluation shows that sets of bindings have a size typically 40% of expanded provenance and that the expansion algorithm is suitably tractable, operating in fractions of milliseconds for the type of templates surveyed in the paper. Furthermore, the approach shows four significant software engineering benefits in terms of distributed developement, provenance maintenance, potential runtime and static checks, and provenance consumption. The paper gathers quantitative data and qualitative benefits descriptions from four different applications making use of PROVTEMPLATE. The system is implemented and released in the open-source library ProvToolbox for provenance processing.

This data is related to the publication Moreau, Luc, Batlajery, Belfrit Victor, Huynh, Dong, Michaelides, Danius and Packer, Heather (2017) A Templating System to Generate Provenance. IEEE Transactions on Software Engineering