Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
A fault-tolerant directory service for mobile agents based on forwarding pointers
Proceedings of the 2002 ACM symposium on Applied computing
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Birrell's distributed reference listing revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
E-SCIENCE '06 Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)
Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)
Recording and using provenance in a protein compressibility experiment
HPDC '05 Proceedings of the High Performance Distributed Computing, 2005. HPDC-14. Proceedings. 14th IEEE International Symposium
Provenance and Annotation of Data and Processes
A protocol for recording provenance in service-oriented grids
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Provenance collection support in the kepler scientific workflow system
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Performance evaluation of the karma provenance framework for scientific workflows
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
| Hi-index | 0.00 |
Scientific and business communities present unprecedented requirements on provenance , where the provenance of some data item is the process that led to that data item. Previous work has conceived a computer-based representation of past executions for determining provenance, termed process documentation , and has developed a protocol, PReP, to record process documentation in service oriented architectures. However, PReP assumes a failure free environment. Failures lead to process documentation unable to be recorded, losing the evidence that a process occurred. This is not acceptable in the applications relying on process documentation and would cause disastrous consequences. This paper describes our solution, F_PReP, a protocol for recording process documentation in the presence of failures. A complete formalisation of the protocol using Abstract State Machines is also presented.