Formalising a protocol for recording provenance in grids
Formalising a protocol for recording provenance in grids
Both the scientific and business communities are beginning to rely on Grids as problem solving mechanisms. These communities also have requirements in terms of provenance. Provenance is the documentation of process and the necessity for it is apparent in fields ranging from medicine to aerospace. To support provenance capture in Grids, we have developed an implementation-independent protocol for the recording of provenance. We describe the protocol in the context of a service-oriented architecture and formalise the entities involved using an abstract state machine or a three-dimensional state transition diagram. Using these techniques we sketch a liveness property for the system.
Groth, Paul
427b9eca-c4dd-45c1-be04-3c91bb327345
Luck, Michael
94f6044f-6353-4730-842a-0334318e6123
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
2004
Groth, Paul
427b9eca-c4dd-45c1-be04-3c91bb327345
Luck, Michael
94f6044f-6353-4730-842a-0334318e6123
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Groth, Paul, Luck, Michael and Moreau, Luc
(2004)
Formalising a protocol for recording provenance in grids.
The UK OST e-Science second All Hands Meeting 2004 (AHM'04), Nottingham, United Kingdom.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Both the scientific and business communities are beginning to rely on Grids as problem solving mechanisms. These communities also have requirements in terms of provenance. Provenance is the documentation of process and the necessity for it is apparent in fields ranging from medicine to aerospace. To support provenance capture in Grids, we have developed an implementation-independent protocol for the recording of provenance. We describe the protocol in the context of a service-oriented architecture and formalise the entities involved using an abstract state machine or a three-dimensional state transition diagram. Using these techniques we sketch a liveness property for the system.
Text
ahm04-groth.pdf
- Accepted Manuscript
More information
Published date: 2004
Additional Information:
Event Dates: September 2004
Venue - Dates:
The UK OST e-Science second All Hands Meeting 2004 (AHM'04), Nottingham, United Kingdom, 2004-09-01
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 260216
URI: http://eprints.soton.ac.uk/id/eprint/260216
PURE UUID: 61ffd598-e254-482a-b83d-6fc86d84852a
Catalogue record
Date deposited: 11 Jan 2005
Last modified: 14 Mar 2024 06:34
Export record
Contributors
Author:
Paul Groth
Author:
Michael Luck
Author:
Luc Moreau
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics