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

  • Luc Moreau
  • Trung Dong Huynh
  • Danius Michaelides
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8411)


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 


  1. 1.
    Moreau, L., Missier, P., Belhajjame, K., B’Far, R., Cheney, J., Coppens, S., Cresswell, S., Gil, Y., Groth, P., Klyne, G., Lebo, T., McCusker, J., Miles, S., Myers, J., Sahoo, S., Tilmes, C. (eds.): PROV-DM: The PROV Data Model. W3C Recommendation REC-prov-dm-20130430, World Wide Web Consortium (October 2013)Google Scholar
  2. 2.
    Cheney, J., Missier, P., Moreau, L., Nies, T.D. (eds.): Constraints of the PROV Data Model. W3C Recommendation REC-prov-constraints-20130430, World Wide Web Consortium (October 2013)Google Scholar
  3. 3.
    Groth, P., Moreau, L. (eds.): PROV-Overview. An Overview of the PROV Family of Documents. W3C Working Group Note NOTE-prov-overview-20130430, World Wide Web Consortium (April 2013)Google Scholar
  4. 4.
    Norvig, P.: Correcting a widespread error in unification algorithms. Softw. Pract. Exper. 21(2), 231–233 (1991)CrossRefGoogle Scholar
  5. 5.
    Cormen, T.H., Stein, C., Rivest, R.L., Leiserson, C.E.: Introduction to Algorithms, 2nd edn. McGraw-Hill Higher Education (2001)Google Scholar
  6. 6.
    Huynh, T.D., Groth, P., Zednik, S. (eds.): PROV Implementation Report. W3C Working Group Note NOTE-prov-implementations-20130430, World Wide Web Consortium (April 2013)Google Scholar
  7. 7.
    Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Berners-Lee, T.: Hypertext transfer protocol – http/1.1. Rfc2068, World Wide Web Consortium (January 1997),
  8. 8.
    Jacobs, I., Walsh, N.: Architecture of the world wide web, volume one. Technical report, World Wide Web Consortium (2004)Google Scholar
  9. 9.
    Kwasnikowska, N., Moreau, L., Van den Bussche, J.: A formal account of the open provenance model (December 2010) (under review)Google Scholar
  10. 10.
    Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., Van den Bussche, J.: The open provenance model core specification (v1.1). Future Generation Computer Systems 27(6), 743–756 (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Luc Moreau
    • 1
  • Trung Dong Huynh
    • 1
  • Danius Michaelides
    • 1
  1. 1.Electronics and Computer ScienceUniversity of SouthamptonUK

Personalised recommendations