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.
| Original language | English |
|---|---|
| Pages (from-to) | 1246-1259 |
| Number of pages | 14 |
| Journal | IEEE Transactions on Parallel and Distributed Systems |
| Volume | 20 |
| Issue number | 9 |
| DOIs | |
| State | Published - 2009 |
| Externally published | Yes |
Keywords
- Data protocols
- Distributed systems
- Grids
- Lineage
- Provenance