Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23403
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) Bisimulation 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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23403 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
prov (1).pdf | 161.33 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.