Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Query capabilities of the Karma provenance framework
Concurrency and Computation: Practice & Experience - The First Provenance Challenge
Mining Taverna's semantic web of provenance
Concurrency and Computation: Practice & Experience - The First Provenance Challenge
Efficient lineage tracking for scientific workflows
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A model of process documentation to determine provenance in mash-ups
ACM Transactions on Internet Technology (TOIT)
The case of the fake Picasso: preventing history forgery with secure provenance
FAST '09 Proccedings of the 7th conference on File and storage technologies
A formal model of provenance in distributed systems
TAPP'09 First workshop on on Theory and practice of provenance
Recording Process Documentation for Provenance
IEEE Transactions on Parallel and Distributed Systems
The Foundations for Provenance on the Web
Foundations and Trends in Web Science
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Future Generation Computer Systems
Provenance collection support in the kepler scientific workflow system
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Security issues in a SOA-Based provenance system
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Provenance-Based model for verifying trust-properties
TRUST'12 Proceedings of the 5th international conference on Trust and Trustworthy Computing
SPADE: support for provenance auditing in distributed environments
Proceedings of the 13th International Middleware Conference
| Hi-index | 0.00 |
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking provenance within these systems is crucial for determining the trustworthiness of data they produce, troubleshooting problems, assigning responsibility for decisions, and improving performance. To facilitate such tracking, the Open Provenance Model (OPM) has been created to enable the interchange of provenance between a distributed system's components. However, to date, the ability of OPM to represent distributed systems has not been verified. In this work, we show how OPM can be used to represent a set of distributed systems' patterns. We present a profile that shows that these patterns are a specialisation of OPM. Finally, we define a contract that enables participants in a distributed system to ensure that their provenance can be integrated cohesively.