The University of Southampton
University of Southampton Institutional Repository

A Formal Model of Provenance in Distributed Systems

Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro, (2009) A Formal Model of Provenance in Distributed Systems Cheney, James (ed.) At Workshop on the Theory and Practice of Provenance.

Record type: Conference or Workshop Item (Paper)


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.

PDF prov.pdf - Version of Record
Download (182kB)

More information

Published date: 2009
Venue - Dates: Workshop on the Theory and Practice of Provenance, 2009-01-01
Organisations: Web & Internet Science


Local EPrints ID: 268600
PURE UUID: c03b5e7d-16cf-4e65-9e6b-3558a99c4803

Catalogue record

Date deposited: 12 Mar 2010 12:19
Last modified: 18 Jul 2017 06:52

Export record


Author: Issam Souilah
Author: Adrian Francalanza
Author: Vladimiro Sassone
Editor: James Cheney

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.