Provenance Challenge

1. Introduction
2. Basics
3. Overlapping and Hierarchichal Descriptions
4. Provenance Graph Definition
5. Timeless Formal Model
6. Inferences
7. Formal Model and Time Annotations
8. Time Constraints and Inferences
9. Support for Collections
10. Example of Representation
11. Conclusion
12. Best Practice on the Use of Agensts
13. References

References

1. Raj Bose, Ian Foster, and Luc Moreau. Report on the International Provenance and Annotation Workshop (IPAW06). Sigmod Records, 35(3):51–53, September 2006.
2. Ewa Deelman and Yolanda Gil (Eds.). Workshop on the challenges of scientific workflows. Technical report, Information Sciences Institute, University of Southern California, May 2006.
3. Open provenance model workshop: Towards provenance challenge 3. http://twiki.ipaw.info/bin/view/Challenge/OpenProvenanceModelWorkshop, June 2008.
4. Paul Groth. First opm workshop minutes. http://twiki.ipaw.info/bin/view/challenge/firstopmworkshopminutes, Information Science Institute, USC, July 2008.
5. PREMIS Working Group. Data dictionary for preservation metadata — final report of the premis working group. Technical report, Preservation Metadata: Implementation Strategies (PREMIS), 2005.
6. G. Huet, Gilles Kahn, and Christine Paulin-Mohring. The Coq Proof Assistant — Tutorial. Technical report, INRIA, 1999. Available from coq.inria.fr.
7. Simon Miles. Technical summary of the second provenance challenge workshop. http://twiki.ipaw.info/bin/view/challenge/secondworkshopminutes, King’s College, July 2007.
8. Luc Moreau and Ian Foster, editors. Provenance and Annotation of Data — International Provenance and Annotation Workshop, IPAW 2006, volume 4145 of Lecture Notes in Computer Science. Springer-Verlag, May 2006.
9. Luc Moreau, Juliana Freire, Joe Futrelle, Robert E. McGrath^?, Jim Myers, and Patrick Paulson. The open provenance model (v1.00). Technical report, University of Southampton, December 2007.
10. Luc Moreau and Bertram Ludaescher, editors. Special Issue on the First Provenance Challenge, volume 20. Wiley, April 2007.
11. David A. Schmidt. Denotational Semantics. A Methodology for Language Development. Brown Publishers, 1986.
12. Second challenge team contributions. http://twiki.ipaw.info/bin/view/Challenge/ParticipatingTeams, June 2007. 34
13. Y. Simmhan, B. Plale, and D. Gannon. A survey of data provenance in e-science. SIGMOD Record, 34(3):31–36, September 2005.