Please use this identifier to cite or link to this item:
Title: A formal model of provenance in distributed systems
Authors: Souilah, Issam
Francalanza, Adrian
Sassone, Vladimiro
Keywords: Pi-calculus
Computer systems -- Verification
Enterprise application integration (Computer systems)
Software engineering
Issue Date: 2009
Publisher: USENIX Association
Citation: Souilah, I., Francalanza, A., & Sassone, V. (2009). A formal model of provenance in distributed systems. First Workshop on Theory and Practice of Provenance, San Francisco. 1-11.
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 representing 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 allows 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 conclude by reviewing related work and discussing directions for future research.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
prov (1).pdf161.33 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.