The University of Southampton
University of Southampton Institutional Repository

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

An Online Validator for Provenance: Algorithmic Design, Testing, and API
An Online Validator for Provenance: Algorithmic Design, Testing, and API
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.
provenance, prov, validation
978-3-642-54803-1
291-305
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Huynh, Trung Dong
ddea6cf3-5a82-4c99-8883-7c31cf22dd36
Michaelides, Danius
a6df5175-d71a-4cd4-befc-26c48235fb92
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Huynh, Trung Dong
ddea6cf3-5a82-4c99-8883-7c31cf22dd36
Michaelides, Danius
a6df5175-d71a-4cd4-befc-26c48235fb92

Moreau, Luc, Huynh, Trung Dong and Michaelides, Danius (2014) An Online Validator for Provenance: Algorithmic Design, Testing, and API. 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France. 05 - 13 Apr 2014. pp. 291-305 . (doi:10.1007/978-3-642-54804-8_20).

Record type: Conference or Workshop Item (Paper)

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.

Text
validator.pdf - Version of Record
Restricted to Registered users only
Download (283kB)
Request a copy
Text
validator.pdf - Accepted Manuscript
Download (358kB)
Text
Summary2.pdf - Other
Available under License Other.
Download (22kB)

More information

Accepted/In Press date: January 2014
Published date: April 2014
Venue - Dates: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 2014-04-05 - 2014-04-13
Keywords: provenance, prov, validation
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 361113
URI: http://eprints.soton.ac.uk/id/eprint/361113
ISBN: 978-3-642-54803-1
PURE UUID: 5d7fcd9e-18bf-478b-ae9e-39194622e33b
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X
ORCID for Trung Dong Huynh: ORCID iD orcid.org/0000-0003-4937-2473

Catalogue record

Date deposited: 13 Jan 2014 13:38
Last modified: 14 Mar 2024 15:46

Export record

Altmetrics

Contributors

Author: Luc Moreau ORCID iD
Author: Trung Dong Huynh ORCID iD
Author: Danius Michaelides

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×