Deductive Synthesis of Workflows for E-Science

B. Yang, Alan Bundy, A. Smaill, L. Dixon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationIEEE International Symposium on Cluster Computing and the Grid, 2005
Pages168 - 175 Vol. 1
Publication statusPublished - May 2005


Dive into the research topics of 'Deductive Synthesis of Workflows for E-Science'. Together they form a unique fingerprint.

Cite this