Recording Process Documentation for Provenance

Moreau, Luc and Groth, Paul (2009) Recording Process Documentation for Provenance. IEEE Transactions on Parallel and Distributed Systems


[img] PDF - Accepted Version
Download (233Kb)


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 formalisation.

Item Type: Article
ISSNs: 1045-9219
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 267309
Date Deposited: 01 May 2009 07:08
Last Modified: 27 Mar 2014 20:13
Publisher: IEEE
Further Information:Google Scholar
ISI Citation Count:7

Actions (login required)

View Item View Item