Algorithmic Testing – Smart Society Project http://www.smart-society-project.eu "Hybrid and Diversity-Aware Collective Adaptive Systems: When People Meet Machines to Build a Smarter Society" Fri, 10 Feb 2017 14:56:03 +0000 en-US hourly 1 https://wordpress.org/?v=4.5.2 http://www.smart-society-project.eu/wp-content/uploads/2014/01/favicon1.png Algorithmic Testing – Smart Society Project http://www.smart-society-project.eu 32 32 An Online Validator for Provenance: Algorithmic Design, Testing, and API http://www.smart-society-project.eu/an-online-validator-for-provenance/ http://www.smart-society-project.eu/an-online-validator-for-provenance/#respond Tue, 14 Jan 2014 12:02:50 +0000 http://www.smart-society-project.eu/?p=1087 http://eprints.soton.ac.uk/361113/ 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. Continue reading ]]>

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

]]>
http://www.smart-society-project.eu/an-online-validator-for-provenance/feed/ 0