An Online Validator for Provenance: Algorithmic Design, Testing, and API

Abstract. Provenance is a record that describes the people, institutions, entities, and activities involved in producing, influencing, or delivering a piece of data or a thing. The W3C Provenance Working group has just published the PROV family of specifications, which include a data model for provenance on the Web. The working group introduces a notion of valid PROV document whose intent is to ensure that a PROV document represents a consistent history of objects and their interactions that is safe to use for the purpose of reasoning and other kinds of analysis. Valid PROV documents satisfy certain definitions, inferences, and constraints, specified in PROV-CONSTRAINTS. This paper discusses the design of ProvValidator, an online service for validating provenance documents according to PROV-CONSTRAINTS. It discusses the algorithmic design of the validator, the complexity of the algorithm, how we demonstrated compliance with the standard, and its REST API.

doi: http://eprints.soton.ac.uk/361113/

Citation: Moreau, Luc, Huynh, Trung Dong and Michaelides, Danius (2014) An Online Validator for Provenance: Algorithmic Design, Testing, and API. In, 17th International Conference on Fundamental Approaches to Software Engineering (FASE’14), Springer-Verlag.

Download: http://bit.ly/2itj1eI

About P. Andreadis

Pre-Doctoral Research Assistant in AI and Social Computation @ University of Edinburgh.

Leave a Reply