1. OAR@UM
  2. Faculty of Information and Communication Technology
  3. Department of Computer Science
  4. Scholarly Works - FacICTCS
Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/23403
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSouilah, Issam-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorSassone, Vladimiro-
dc.date.accessioned2017-11-06T16:19:19Z-
dc.date.available2017-11-06T16:19:19Z-
dc.date.issued2009-
dc.identifier.citationSouilah, 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.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/23403-
dc.description.abstractWe 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.en_GB
dc.language.isoenen_GB
dc.publisherUSENIX Associationen_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectPi-calculusen_GB
dc.subjectComputer systems -- Verificationen_GB
dc.subjectEnterprise application integration (Computer systems)en_GB
dc.subjectBisimulationen_GB
dc.subjectSoftware engineeringen_GB
dc.titleA formal model of provenance in distributed systemsen_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holderen_GB
dc.bibliographicCitation.conferencenameFirst Workshop on Theory and Practice of Provenanceen_GB
dc.bibliographicCitation.conferenceplaceSan Francisco, USA, 24-27/02/2009en_GB
dc.description.reviewedpeer-revieweden_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
prov (1).pdf161.33 kBAdobe PDFView/Open
Show simple item record Statistics


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