Projects per year
In this paper we show that the automated reasoning technique of deductive synthesis can be applied to address the problem of machine-assisted composition of e-Science workflows according to users' specifications. We encode formal specifications of e-Science data, services and workflows, constructed from their descriptions, in the generic theorem prover Isabelle. Workflows meeting this specification are then synthesised as a side-effect of proving that these specifications can be met.
|Title of host publication||IEEE International Symposium on Cluster Computing and the Grid, 2005|
|Pages||168 - 175 Vol. 1|
|Publication status||Published - May 2005|
FingerprintDive into the research topics of 'Deductive Synthesis of Workflows for E-Science'. Together they form a unique fingerprint.
- 1 Finished
1/01/03 → 28/02/06