Formalising a protocol for recording provenance in Grids. Groth, P., Luck, M., & Moreau, L. In Proceedings of the UK OST e-Science Second All Hands Meeting 2004 (AHM'04), 2004.
abstract   bibtex   
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.
@inproceedings{ Groth2004,
  author    = {Paul Groth and Michael Luck and Luc Moreau},
  title     = {Formalising a protocol for recording provenance in Grids}, 
  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.},
  booktitle   = {Proceedings of the UK OST e-Science Second All Hands Meeting 2004 (AHM'04)} ,
  year   = {2004}
}

Downloads: 0