Edinburgh Research Explorer

Deductive Synthesis of Workflows for E-Science

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

Related Edinburgh Organisations

Open Access permissions


Original languageEnglish
Title of host publicationIEEE International Symposium on Cluster Computing and the Grid, 2005
Pages168 - 175 Vol. 1
Publication statusPublished - May 2005


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.

Download statistics

No data available

ID: 403754