Recording Process Documentation for Provenance. Groth, P. & Moreau, L IEEE Transactions on Parallel and Distributed Systems, 20(9):1246–1259, IEEE Computer Society, 2009.
doi  abstract   bibtex   
Scientific and business communities are adopting large-scale distributed systems as a means to solve a wide range of resource-intensive tasks. These communities also have requirements in terms of provenance. We define the provenance of a result produced by a distributed system as the process that led to that result. This paper describes a protocol for recording documentation of a distributed system's execution. The distributed protocol guarantees that documentation with characteristics suitable for accurately determining the provenance of results is recorded. These characteristics are confirmed through a number of proofs based on an abstract state machine formalization.
@article{77eaa2dc56bc4060a03f1a0c683f8ec3,
  title     = "Recording Process Documentation for Provenance",
  abstract  = "Scientific and business communities are adopting large-scale distributed systems as a means to solve a wide range of resource-intensive tasks. These communities also have requirements in terms of provenance. We define the provenance of a result produced by a distributed system as the process that led to that result. This paper describes a protocol for recording documentation of a distributed system's execution. The distributed protocol guarantees that documentation with characteristics suitable for accurately determining the provenance of results is recorded. These characteristics are confirmed through a number of proofs based on an abstract state machine formalization.",
  author    = "P.T. Groth and L Moreau",
  year      = "2009",
  doi       = "10.1109/TPDS.2008.215",
  volume    = "20",
  pages     = "1246--1259",
  journal   = "IEEE Transactions on Parallel and Distributed Systems",
  issn      = "1045-9219",
  publisher = "IEEE Computer Society",
  number    = "9",
}

Downloads: 0