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
{"_id":{"_str":"51f6056b59ced8df44000092"},"__v":11,"authorIDs":["5456e50f8b01c81930000038","54571f9c2abc8e9f370000a5"],"author_short":["Groth, P.","Moreau, L"],"bibbaseid":"groth-moreau-recordingprocessdocumentationforprovenance-2009","bibdata":{"bibtype":"article","type":"article","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":[{"firstnames":["P.T."],"propositions":[],"lastnames":["Groth"],"suffixes":[]},{"firstnames":["L"],"propositions":[],"lastnames":["Moreau"],"suffixes":[]}],"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","bibtex":"@article{77eaa2dc56bc4060a03f1a0c683f8ec3,\n title = \"Recording Process Documentation for Provenance\",\n 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.\",\n author = \"P.T. Groth and L Moreau\",\n year = \"2009\",\n doi = \"10.1109/TPDS.2008.215\",\n volume = \"20\",\n pages = \"1246--1259\",\n journal = \"IEEE Transactions on Parallel and Distributed Systems\",\n issn = \"1045-9219\",\n publisher = \"IEEE Computer Society\",\n number = \"9\",\n}\n\n\n","author_short":["Groth, P.","Moreau, L"],"key":"77eaa2dc56bc4060a03f1a0c683f8ec3","id":"77eaa2dc56bc4060a03f1a0c683f8ec3","bibbaseid":"groth-moreau-recordingprocessdocumentationforprovenance-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","downloads":0,"keywords":[],"search_terms":["recording","process","documentation","provenance","groth","moreau"],"title":"Recording Process Documentation for Provenance","title_words":["recording","process","documentation","provenance"],"year":2009,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}