A Formal Model of Provenance in Distributed Systems
Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro (2009) A Formal Model of Provenance in Distributed Systems. In, Workshop on the Theory and Practice of Provenance
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
Download (178Kb) |
Description/Abstract
We present a formalism for provenance in distributed systems based on the π-calculus. Its main feature is that all data products are annotated with metadata represent- ing their provenance. The calculus is given a provenance tracking semantics, which ensures that data provenance is updated as the computation proceeds. The calculus also enjoys a pattern-restricted input primitive which al- lows processes to decide what data to receive and what branch of computation to proceed with based on the provenance information of data. We give examples to illustrate the use of the calculus and discuss some of the semantic properties of our provenance notion. We con- clude by reviewing related work and discussing direc- tions for future research.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 268600 |
| Date Deposited: | 12 Mar 2010 12:19 |
| Last Modified: | 10 Mar 2012 11:35 |
| Contributors: | Souilah, Issam (Author) Francalanza, Adrian (Author) Sassone, Vladimiro (Author) Cheney, James (Editor) |
| Date: | 2009 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/268600 |
Actions (login required)
 |
View Item |
