ProvExpander


Template	Templates generic/binaryop Clear
Bindings
Examples	Bindings Examples generic.binaryop.b1 (1 output) generic.binaryop.b2 (2 outputs) generic.binaryop.b3 (1 output, 2 properties) generic.binaryop.b4 (2 outputs, 1 or 2 properties) Clear
	For details about the templating approach, please see: "Luc Moreau, Belfrit Victor Batlajery, Trung Dong Huynh, Danius Michaelides, and Heather Packer. A templating system to generate provenance. IEEE Transactions on Software Engineering, April 2017" (doi:10.1109/TSE.2017.2659745) available in open access.

What do we store?

With this service, you can validate PROV representations or translate them into other representations. This service does not store the PROV representations that you submit, but it stores Collected Data (our generic term for web access logs, provenance metrics, validation reports, provenance digest and anonymous summaries).

Agreement

By pressing the validate/translate buttons, you agree with the terms and conditions of this service (for full details, see ethics application). Specifically, you agree for Collected Data being stored and used for research purpose by University of Sussex; you also agree that no guarantees are provided as to the correctness of the validation/analysis results. The information we capture is anonymous and we will not seek to try and identify users from IP addresses. Given this, we provide no mechanism by which logged information can be erased.