The University of Southampton
University of Southampton Institutional Repository

Formalising a protocol for recording provenance in grids

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 problemsolving 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
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), United Kingdom.

Record type: Conference or Workshop Item (Paper)

Abstract

Both the scientific and business communities are beginning to rely on Grids as problemsolving 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.

PDF
ahm04-groth.pdf - Accepted Manuscript
Download (434kB)

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), United Kingdom, 2004-09-01
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 260216
URI: https://eprints.soton.ac.uk/id/eprint/260216
PURE UUID: 61ffd598-e254-482a-b83d-6fc86d84852a
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 11 Jan 2005
Last modified: 06 Jun 2018 13:03

Export record

Contributors

Author: Paul Groth
Author: Michael Luck
Author: Luc Moreau ORCID iD

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×